|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26-July 2, 2009, Proceedings 2009 Edition (Lecture Notes in Computer Science) | Bouajjani, Ahmed | Paperback | 3642026575 / 9783642026577 | 06/2009 | $104.49 |
| | Hybrid and Real-Time Systems: International Workshop, Hart'97, Grenoble, France, March 26-28, 1997, Proceedings 1997 Edition (Lecture Notes in Computer Science) | Maler, Oded | Paperback | 354062600X / 9783540626008 | 03/1997 | $52.24 |
| | Hybrid Systems Biology: Second International Workshop, Hsb 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, Hsb 2014 2015 Edition (Lecture Notes in Computer Science) | Maler, Oded | Paperback | 3319276557 / 9783319276557 | 12/2015 | $42.74 |
| | Hybrid Systems: Computation and Control: 6th International Workshop, Hscc 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings 2003 Edition (Lecture Notes in Computer Science) | Wiedijk, Freek | Paperback | 3540009132 / 9783540009139 | 03/2003 | $104.49 |
| | Verification and Synthesis of Hybrid Systems (Control Engineering) | Asarin, Eugine | Hardcover | 081764296X / 9780817642969 | 06/2006 | $66.45 |
|
|
|