| Titel | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings | 978-3-540-47237-7 | 2008 | Wenhui Zhang |
| Automated technology for verification and analysis 4th international symposium, ATVA 2006, Beijing, China, October 23-26, 2006: proceedings | 978-3-540-47238-4 | 2006 | Wenhui Zhang (eds.) |
| Der Bildermacher: Kriminalroman | 978-3-453-43438-7 | 2009 |
| Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures ... Notes in Computer Science , Band 4111) | 978-3-540-36749-9 | 2008 | Frank S. de Boer · Marcello M. Bonsangue · Willem-Paul de Roever |
| Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures ... / Programming and Software Engineering) | 978-3-540-74791-8 | 2007 | Frank S. de Boer · Marcello M. Bonsangue · Willem-Paul de Roever |
| Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures ... / Programming and Software Engineering) | 978-3-540-92187-5 | 2008 | Marcello M. Bonsangue · Willem-Paul de Roever |
| Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures | 978-3-540-20303-2 | 2008 | Marcello Bonsangue · Frank S.de Boer · Willem-Paul de Roever |
| Formal Methods for Components and Objects: Second International Symposium, FMCO 2003 Leiden, The Netherlands, November 4-7, 2003 Revised Lectures | 978-3-540-22942-1 | 2009 | Frank S. de Boer · Marcello M. Bonsangue · Willem-Paul de Roever |
| Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures | 978-3-540-29131-2 | 2008 | Frank S. de Boer · Marcello M. Bonsangue · Willem-Paul de Roever |
| Formal Techniques for Distributed Objects, Components, and Systems | 978-3-319-19194-2 | 2015 | Mahesh Viswanathan |
| Lebendköder: Kriminalroman | 978-3-453-43439-4 | 2011 |
| Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings | 978-3-540-21314-7 | 2008 | Laurent Mounier |
| Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday | 978-3-030-22347-2 | 2019 | Tiziana Margaria · Kim G. Larsen |
| Robin vs. Camus - Ein Vergleich der Mordszenen der Romane "Accusé lève toi" und "L'étranger" | 978-3-638-92906-6 | 2008 | Ramona Dannhauer |
| Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European ... Notes in Computer Science , Band 1785) | 978-3-540-67282-1 | 2008 | Michael Schwartzbach |
| Verdachts- und ereignisunabhängige Personenkontrollen.: Polizeirechtliche und verfassungsrechtliche Aspekte der Schleierfahndung. | 978-3-428-11822-9 | 2006 |
| Wir vom Jahrgang 1978 - Kindheit und Jugend | 978-3-8313-3078-2 | 2017 |
| Wir vom Jahrgang 1978 - Kindheit und Jugend | 978-3-8313-1578-9 | 2006 |