|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Computational Methods in Systems Biology: 11th International Conference, Cmsb 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings 2013 Edition | Gupta, Ashutosh | Paperback | 3642407072 /
9783642407079 | 08/2013 | $52.24 |
|  | Computer Science Logic: 21 International Workshop, CSL 2007, 16th Annual Conference of the Eacsl, Lausanne, Switzerland, September 11-15, 2007 2007 Edition (Lecture Notes in Computer Science) | Duparc, Jacques | Paperback | 3540749144 /
9783540749141 | 08/2007 | $104.49 |
|  | Embedded Software: First International Workshop, Emsoft 2001, Tahoe City, Ca, Usa, October 8-10, 2001. Proceedings 2001 Edition (Lecture Notes in Computer Science) | Henzinger, Thomas A. | Paperback | 3540426736 /
9783540426738 | 09/2001 | $52.24 |
|  | Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings (Lecture Notes in Computer Science) | Chatterjee, Krishnendu | Paperback | 3642152961 /
9783642152962 | 08/2010 | $52.24 |
|  | Handbook of Model Checking Softcover Repri Edition | Clarke, Edmund M. | Paperback | 3030132331 /
9783030132330 | 11/2020 | $151.99 |
|  | Handbook of Model Checking 2018 Edition | Clarke, Edmund M. | Hardcover | 3319105744 /
9783319105741 | 06/2018 | $151.99 |
|  | Hybrid Systems III: Verification and Control 1996 Edition (Lecture Notes in Computer Science) | Alur, Rajeev | Paperback | 354061155X /
9783540611554 | 04/1996 | $104.49 |
|  | Hybrid Systems: Computation and Control: First International Workshop, Hscc'98, Berkeley, California, Usa, April 13 - 15, 1998, Proceedings 1998 Edition (Lecture Notes in Computer Science) | Henzinger, Thomas A. | Paperback | 3540643583 /
9783540643586 | 03/1998 | $52.24 |
|  | Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, Memics 2012, Znojmo, Czech Republic, October 25-28, 201 2013 Edition (Lecture Notes in Computer Science / Programming and Software) | Kucera, Antonin | Paperback | 3642360440 /
9783642360442 | 01/2013 | $52.24 |
|
|
|