*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

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 for the analysis of dynamical systems that can be mo...

    149,79 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Hybrid Systems: Computation and Control
    Hybrid Systems: Computation and Control
    Thomas A. Henzinger
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This book constitutes the refereed proceedings of the First International Workshop on Hybrid Syst...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Mathematical and Engineering Methods in Computer Science
    Mathematical and Engineering Methods in Computer Science
    Antonin Kucera
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This volume contains the post-proceedings of the 8th Doctoral Workshop on Mathematical and Engine...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Computational Methods in Systems Biology
    Computational Methods in Systems Biology
    Ashutosh Gupta
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This book constitutes the proceedings of the 11th International Conference on Computational Metho...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Computer Science Logic
    Computer Science Logic
    Jacques Duparc
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    Invited Lectures.- Full Completeness: Interactive and Geometric Characterizations of the Space of...

    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Hybrid Systems III
    Hybrid Systems III
    Rajeev Alur
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This reference book documents the scientific outcome of the DIMACS SYCON Workshop on Verification...

    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Computer Aided Verification
    Computer Aided Verification
    Rajeev Alur
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This book constitutes the refereed proceedings of the 8th International Conference on Computer Ai...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Embedded Software
    Embedded Software
    Thomas A. Henzinger
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    Heterogeneous Modeling Support for Embedded Systems Design.- Hierarchical Hybrid Modeling of Embe...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1