Grid   List

  1. Handbook of Model Checking

    Handbook of Model Checking

    Roderick Bloem
    Springer-Verlag GmbH
    Buch
    Sofort lieferbar

    Model checking is a computer-assisted method fo...

    139,09 €
    Alle Preise inkl. MwSt | zzgl. Versand
    Zum Merkzettel
  2. Computational Methods in Systems Biology

    Computational Methods in Systems Biology

    Ashutosh Gupta
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the proceedings of the 11...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  3. Mathematical and Engineering Methods in Computer Science

    Mathematical and Engineering Methods in Computer Science

    Antonin Kucera
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This volume contains the post-proceedings of th...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  4. Handbook of Model Checking

    Handbook of Model Checking

    Edmund M. Clarke
    Springer International Publishing
    Ebook
    Sofort lieferbar

    Model checking is a computer-assisted method fo...

    139,09 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  5. Computer Science Logic

    Computer Science Logic

    Jacques Duparc
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    96,29 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  6. Bindung und Autonomie in der frühen Kindheit

    Bindung und Autonomie in der frühen Kindheit

    Ursula Henzinger
    Psychosozial-Verlag
    Ebook
    Sofort lieferbar

    Ursula Henzinger untersucht in diesem Buch das ...

    49,99 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  7. Formal Modeling and Analysis of Timed Systems

    Formal Modeling and Analysis of Timed Systems

    Krishnendu Chatterjee
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This volume contains the papers that were prese...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  8. Bindung: Entstehung - Bedeutung - Belastung

    Bindung: Entstehung - Bedeutung - Belastung

    Petra Rechenberg-Winter
    Vandenhoeck & Ruprecht
    Ebook
    Sofort lieferbar

    Der Mensch ist von Haus aus ein soziales, auf a...

    23,00 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  9. Embedded Software

    Embedded Software

    Thomas A. Henzinger
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    With the omnipresence of micro devices in our d...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  10. Hybrid Systems: Computation and Control

    Hybrid Systems: Computation and Control

    Shankar Sastry
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings ...

    93,08 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  11. Computer Aided Verification

    Computer Aided Verification

    Thomas Henzinger
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  12. Computer Science Logic

    Computer Science Logic

    Thomas A. Henzinger
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings ...

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