Detailsuche

Grid  List

  1. Mögliche Maßnahmen, Instrumente und Wirkungen einer Steuerung der Verkehrs- und Siedlungsflächennutzung
    0 %
    Mögliche Maßnahmen, Instrumente und Wirkungen einer Steuerung der Verkehrs- und Siedlungsflächennutzung
    Eckhard Bergmann
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    Die Enquete-Kommission 'Schutz des Menschen und der Umwelt' hat mit den ehrgeizigen Zielen, die F...

    Unser bisheriger Preis:ORGPRICE: 29,99 €

    Jetzt 29,98 €Ebook
    Alle Preise inkl. MwSt
  2. Mechanizing Mathematical Reasoning
    0 %
    Mechanizing Mathematical Reasoning
    Dieter Hutter
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    By presenting state-of-the-art results in logical reasoning and formal methods in the context of ...

    Unser bisheriger Preis:ORGPRICE: 113,79 €

    Jetzt 113,78 €Ebook
    Alle Preise inkl. MwSt
  3. Rippling: Meta-Level Guidance for Mathematical Reasoning
    0 %
    Rippling: Meta-Level Guidance for Mathematical Reasoning
    David Basin
    Cambridge University Press
    Ebook
    Sofort lieferbar

    Rippling is a radically new technique for the automation of mathematical reasoning. It is widely ...

    Unser bisheriger Preis:ORGPRICE: 137,53 €

    Jetzt 137,52 €Ebook
    Alle Preise inkl. MwSt
  4. Security in Pervasive Computing
    0 %
    Security in Pervasive Computing
    Dieter Hutter
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    Unser bisheriger Preis:ORGPRICE: 56,49 €

    Jetzt 56,48 €Ebook
    Alle Preise inkl. MwSt
  5. Security in Pervasive Computing
    0 %
    Security in Pervasive Computing
    Dieter Hutter
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    Unser bisheriger Preis:ORGPRICE: 57,20 €

    Jetzt 57,19 €Ebook
    Alle Preise inkl. MwSt
  6. Applied Formal Methods - FM-Trends 98
    0 %
    Applied Formal Methods - FM-Trends 98
    Dieter Hutter
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This volume contains the contributions presented at the International Workshop on Current Trends ...

    Unser bisheriger Preis:ORGPRICE: 56,25 €

    Jetzt 56,24 €Ebook
    Alle Preise inkl. MwSt
  7. Mögliche Maßnahmen, Instrumente und Wirkungen einer Steuerung der Verkehrs- und Siedlungsflächennutzung
    Mögliche Maßnahmen, Instrumente und Wirkungen einer Steuerung der Verkehrs- und Siedlungsflächennutzung
    Kilian Bizer
    Springer, Berlin
    Taschenbuch
    Print on Demand

    Die Enquete-Kommission 'Schutz des Menschen und der Umwelt' hat mit den ehrgeizigen Zielen, die F...

    39,99 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Security in Pervasive Computing
    0 %
    Security in Pervasive Computing
    Dieter Hutter
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This volume contains the papers presented at the 2nd International Conference on Se- rityinPervas...

    Unser bisheriger Preis:ORGPRICE: 53,49 €

    Jetzt 53,48 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Security in Pervasive Computing
    0 %
    Security in Pervasive Computing
    Dieter Hutter
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    The ongoing compression of computing facilities into small and mobile devices like handhelds, por...

    Unser bisheriger Preis:ORGPRICE: 53,49 €

    Jetzt 53,48 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. Applied Formal Methods - FM-Trends 98
    0 %
    Applied Formal Methods - FM-Trends 98
    Dieter Hutter
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This volume contains the contributions presented at the International Workshop on Current Trends ...

    Unser bisheriger Preis:ORGPRICE: 53,49 €

    Jetzt 53,48 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1