thomas henzinger

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 modeled by state-transition systems. Drawing from research traditions in mathematical logic, progra...
    149,79 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  2. Handbook of Model Checking
    Handbook of Model Checking
    Edmund M. Clarke
    Springer International Publishing
    Ebook
    Sofort lieferbar
    Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programmi...
    149,79 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. 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 presented at the 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2010), held September 8-10, 2010, at IST (Institute...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. 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 11th International Conference on Computational Methods in Systems Biology, CMSB 2013, held in Klosterneuburg, Austria, in September 2013. The 15 regular...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Computer Science Logic
    Computer Science Logic
    Jacques Duparc
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 21st International Workshop on Computer Science Logic, CSL 2007, held as the 16th Annual Conference of the EACSL in Lausanne, Switzerland. The ...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. 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 the 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2012, held in Znojmo, Czech Republic, in October, 2012.The...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. Embedded Software
    Embedded Software
    Thomas A. Henzinger
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    With the omnipresence of micro devices in our daily lifes embedded software has gained tremendous importance in both science and industry.This volume contains 34 invited papers from the First Inter...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  8. Computer Aided Verification
    Computer Aided Verification
    Thomas Henzinger
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided Verification, CAV '96, held in New Brunswick, NJ, USA, in July August 1996 as part of the FLoC '...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  9. Hybrid Systems: Computation and Control
    Hybrid Systems: Computation and Control
    Shankar Sastry
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the First International Workshop on Hybrid Systems: Computation and Control, held in Berkeley, California, USA, in April 1998.The volume presen...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. Hybrid Systems III
    Hybrid Systems III
    Rajeev Alur
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This reference book documents the scientific outcome of the DIMACS SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in New Brunswick, NJ, in October 1995. br...
    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  11. Mathematical and Engineering Methods in Computer Science
    Mathematical and Engineering Methods in Computer Science
    Antonin Kucera
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This volume contains the post-proceedings of the 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2012, held in Znojmo, Czech Republic, in October, 2012.The...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  12. Computational Methods in Systems Biology
    Computational Methods in Systems Biology
    Thomas A. Henzinger
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This book constitutes the proceedings of the 11th International Conference on Computational Methods in Systems Biology, CMSB 2013, held in Klosterneuburg, Austria, in September 2013. The 15 r...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
<%--for search--%>