| Titel | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Computing and Software Science: State of the Art and Perspectives | | 978-3-319-91907-2 | 2019 | Gerhard Woeginger |
| Correct System Design: Recent Insights and Advances | | 978-3-540-66624-0 | 2008 | Ernst-R??diger Olderog |
| Grundlagen der höheren Informatik: Induktives Vorgehen | | 978-3-642-40145-9 | 2013 | Oliver Rüthing · Malte Isberner |
| Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... Notes in Computer Science , Band 6415) | | 978-3-642-16557-3 | 2010 | Tiziana Margaria |
| Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... Notes in Computer Science, Band 6416) | | 978-3-642-16560-3 | 2010 | " |
| Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October ... Notes in Computer Science, Band 7610) | | 978-3-642-34031-4 | 2012 | " |
| Leveraging Applications of Formal Methods, Verification, and Validation | | 978-3-642-34780-1 | 2012 | Reiner Hähnle · Jens Knoop · Tiziana Margaria · Dietmar Schreiner |
| Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II | | 978-3-319-47170-9 | 2017 | Tiziana Margaria |
| Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA ... Notes in Computer Science , Band 9953) | | 978-3-319-47168-6 | 2016 | " |
| Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, ... Notes in Computer Science, Band 11246) | | 978-3-030-03423-8 | 2018 | " |
| Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I | | 978-3-319-47167-9 | 2017 | " |
| Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, ... Notes in Computer Science, Band 9952) | | 978-3-319-47165-5 | 2016 | " |
| Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, ... Notes in Computer Science, Band 11247) | | 978-3-030-03426-9 | 2018 | " |
| Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November ... in Computer Science , Band 11244) | | 978-3-030-03417-7 | 2018 | " |
| Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA ... Notes in Computer Science, Band 8803) | | 978-3-662-45230-1 | 2014 | " |
| Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, ... Notes in Computer Science, Band 8802) | | 978-3-662-45233-2 | 2014 | " |
| Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, ... and Information Science , Band 17) | | 978-3-540-88478-1 | 2008 | " |
| Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, ... Notes in Computer Science, Band 11245) | | 978-3-030-03420-7 | 2018 | " |
| Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches | | 978-3-319-68396-6 | 2018 | Oliver Rüthing · Michael Huth |
| Services and Visualization: Towards User-Friendly Design: ACos'98, VISUAL'98, AIN'97, Selected Papers | | 978-3-540-64367-8 | 2008 | Roland R¿¿ckert · Tiziana Margaria · Joachim Posegga |
| SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, ... Notes in Computer Science, Band 10139) | | 978-3-319-51962-3 | 2017 | Christel Baier · Mark van den Brand · Johann Eder · Mike Hinchey · Tiziana Margaria |
| Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98, Held as Part of the Joint European ... Notes in Computer Science , Band 1384) | | 978-3-540-64356-2 | 2008 |
| Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, ... Notes in Computer Science, Band 11429) | | 978-3-030-17501-6 | 2019 | Dirk Beyer · Marieke Huisman · Fabrice Kordon |
| Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. ... Notes in Computer Science , Band 1019) | | 978-3-540-60630-7 | 2008 | Kim G. Larsen · Tiziana Margaria · W. Rance Cleaveland · Ed Brinksma |
| Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, ... Notes in Computer Science , Band 1055) | | 978-3-540-61042-7 | 2008 | Tiziana Margaria |
| Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, Tacas '96, Passau, Germany, March 1996: Proceedings | | 978-0-387-61042-9 | 1996 | Germany) Tacas '9 1996 Passau · Tiziana Margaria |
| Transactions on Foundations for Mastering Change I | | 978-3-319-46507-4 | 2016 |
| Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings: ... Notes in Computer Science , Band 2937) | | 978-3-540-20803-7 | 2009 | Giorgio Levi |