Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren |
Computational Methods in Systems Biology: 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings | Taschenbuch | 978-3-642-40707-9 | 2013 | Ashutosh Gupta |
Computer Science Logic: 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, ... Computer Science and General Issues) | " | 978-3-540-74914-1 | | Jacques Duparc |
Embedded Software: First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings | " | 978-3-540-42673-8 | 2008 | Christoph M. Kirsch |
Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings | " | 978-3-642-15296-2 | 2010 | Krishnendu Chatterjee |
Handbook of Model Checking | " | 978-3-030-13233-0 | 2019 | Edmund M. Clarke · Helmut Veith · Roderick Bloem |
Handbook of Model Checking | Hardcover | 978-3-319-10574-1 | 2018 | Edmund M. Clarke · Helmut Veith · Roderick Bloem |
Hybrid Systems: Computation and Control: First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings | Taschenbuch | 978-3-540-64358-6 | 2008 | Shankar Sastry |
Hybrid Systems III: Verification and Control | " | 978-3-540-61155-4 | 2008 | Rajeev Alur · Eduardo D. Sontag |
Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers | Paperback | 978-3-642-36048-0 | 2013 | Antonin Kucera · Jaroslav Nesetril |
Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, ... Notes in Computer Science, Band 7721) | Taschenbuch | 978-3-642-36044-2 | 2013 | Antonin Kucera · Jaroslav Nešetřil · Tomas Vojnar · David Antos |