Limit this search to....

  (9 items found)
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, AshutoshPaperback3642407072 /
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, JacquesPaperback3540749144 /
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.Paperback3540426736 /
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, KrishnenduPaperback3642152961 /
9783642152962
08/2010$52.24
Handbook of Model Checking Softcover Repri Edition Clarke, Edmund M.Paperback3030132331 /
9783030132330
11/2020$151.99
Handbook of Model Checking 2018 Edition Clarke, Edmund M.Hardcover3319105744 /
9783319105741
06/2018$151.99
Hybrid Systems III: Verification and Control 1996 Edition (Lecture Notes in Computer Science)Alur, RajeevPaperback354061155X /
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.Paperback3540643583 /
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, AntoninPaperback3642360440 /
9783642360442
01/2013$52.24
  (9 items found)