lutz plümer

Grid   List

  1. Buch
    Bezug 11-15
    Acquiring spatial data for geoinformation systems is still mainly done by human operators who analyze images using classical photogrammetric equipment or digitize maps, possibly assisted by some lo...
    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Taschenbuch
    Bezug 16-20
    Termination proofs constitute a crucial part of program verification. Much research about termination has been done in the context of term rewriting systems. But until now there was little hope tha...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1
<%--for search--%>