oded maler

Grid   List

  1. Computer Aided Verification
    Computer Aided Verification
    Ahmed Bouajjani
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in June July 2009.
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Hybrid Systems Biology
    Hybrid Systems Biology
    Oded Maler
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the thoroughly refereedpost-workshop proceedings of the Second International Workshop on HybridSystems Biology, HSB 2013, held as part of the ECAL 2013 event, in Taormina,It...
    42,79 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Hybrid Systems: Computation and Control
    Hybrid Systems: Computation and Control
    Freek Wiedijk
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Control (HSCC 2003), which was held in Prague, during April 3-5, 2003. The Hybrid Systems workshops att...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Hybrid and Real-Time Systems
    Hybrid and Real-Time Systems
    Oded Maler
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the International Workshop on Hybrid and Real-Time Systems, HART'97, held in Grenoble, France, in March 1997.The volume presents 18 revised ful...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  5. Computer Aided Verification
    Computer Aided Verification
    Oded Maler
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in June July 2009. The 36 revised full papers...
    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  6. Hybrid Systems: Computation and Control
    Hybrid Systems: Computation and Control
    Freek Wiedijk
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Control (HSCC 2003), which was held in Prague, during April 3-5, 2003. The Hybrid Systems workshops att...
    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  7. Hybrid Systems Biology
    Hybrid Systems Biology
    Oded Maler
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 16-20
    This book constitutes the thoroughly refereedpost-workshop proceedings of the Second International Workshop on HybridSystems Biology, HSB 2013, held as part of the ECAL 2013 event, in Taormina,I...
    42,80 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>