8 results
Type of media (2)
Availability (2)
Classification (5)
Year
Persons
Publishers
Sort by
Results per page
Filter
8 results

Your search for Oded Maler

  1. Cover: Hybrid Systems Biology - Springer
    Oded Maler | Ádám Halász | Thao Dang
    Hybrid Systems Biology
    Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers
    12/2015
    Springer
    9783319276564 (ISBN)
    E-Book
    PDF
    Other editions
    €42.79
    Available for download
  2. Cover: Hybrid Systems: Computation and Control - Springer
    Freek Wiedijk | Oded Maler | Amir Pnueli
    Hybrid Systems: Computation and Control
    6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings
    07/2003
    Springer
    9783540365808 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  3. Cover: Hybrid and Real-Time Systems - Springer
    Oded Maler
    Hybrid and Real-Time Systems
    International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings
    03/1997
    Springer
    9783540626008 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  4. Cover: Computer Aided Verification - Springer
    Ahmed Bouajjani | Oded Maler
    Computer Aided Verification
    21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings
    06/2009
    Springer
    9783642026577 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 7-9 days
  5. Cover: Hybrid Systems Biology - Springer
    Oded Maler | Ádám Halász | Thao Dang
    Hybrid Systems Biology
    Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers
    12/2015
    Springer
    9783319276557 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €42.80
    Shipment within 10-15 days
  6. Cover: Hybrid Systems: Computation and Control - Springer
    Freek Wiedijk | Oded Maler | Amir Pnueli
    Hybrid Systems: Computation and Control
    6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings
    03/2003
    Springer
    9783540009139 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 10-15 days
  7. This image is currently not available.
    Ahmed Bouajjani | Oded Maler
    Computer Aided Verification
    07/2009
    Springer
    9783642026591 (ISBN)
    Book
    Paperback/Softback
    €22.99
    Not available
  8. This image is currently not available.
    Eugine Asarin | Oded Maler | Thao Dang
    Verification and Synthesis of Hybrid Systems
    06/2006
    Birkhauser
    9780817642969 (ISBN)
    Book
    Hardback
    €68.00
    Exhausted, reprint undefined