Grid   List

  1. Vorlesungen über Informatik

    Vorlesungen über Informatik

    Wolf Zimmermann
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    Dieses Lehrbuch bietet eine fundierte Einführun...

    24,99 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  2. Automated Reasoning

    Automated Reasoning

    Didier Galmiche
    Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings ...

    60,90 €
    Alle Preise inkl. MwSt | zzgl. Versand
    Zum Merkzettel
  3. Formal Methods

    Formal Methods

    Klaus Havelund
    Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings ...

    104,73 €
    Alle Preise inkl. MwSt | zzgl. Versand
    Zum Merkzettel
  4. Verified Software. Theories, Tools, and Experiments

    Verified Software. Theories, Tools, and Experiments

    Thomas Wies
    Springer International Publishing
    Taschenbuch
    Print on Demand

    This volume constitutes the thoroughly refereed...

    60,10 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  5. Symposium on Real-Time and Hybrid Systems

    Symposium on Real-Time and Hybrid Systems

    Cliff Jones
    Springer International Publishing
    Taschenbuch
    Print on Demand

    This volume is published in honor of Professor ...

    60,10 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  6. Conceptual Modeling

    Conceptual Modeling

    Heinrich C. Mayr
    Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings ...

    60,10 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  7. Logic-Based Program Synthesis and Transformation

    Logic-Based Program Synthesis and Transformation

    Peter J. Stuckey
    Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the thoroughly refereed p...

    60,10 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  8. Interactive Theorem Proving

    Interactive Theorem Proving

    Assia Mahboubi
    Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings ...

    103,93 €
    Alle Preise inkl. MwSt | zzgl. Versand
    Zum Merkzettel
  9. Hardware and Software: Verification and Testing

    Hardware and Software: Verification and Testing

    Rachel Tzoref-Brill
    Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings ...

    60,10 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  10. Integrated Formal Methods

    Integrated Formal Methods

    Kirsten Winter
    Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings ...

    60,10 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  11. Logic, Language, Information, and Computation

    Logic, Language, Information, and Computation

    Lawrence S. Moss
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    Edited in collaboration with FoLLI, the Associa...

    77,63 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  12. Logic for Programming, Artificial Intelligence, and Reasoning

    Logic for Programming, Artificial Intelligence, and Reasoning

    Andrei Voronkov
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book constitutes the thoroughly refereed p...

    60,10 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  1. 1
  2. 2
Google Plus
Powered by Inooga