Inge Schäfer · Ingo Seehafer · Ingo Sparr
Huber, Mannheim · Klett-Cotta · Natur und Tier-Verlag · dissertation.de
| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Abstraktionsverfahren zur Eigenschaftsprüfung mit Bounded Model Checking | 978-3-86624-279-1 | 2007 | |
| Hotrod Empire Inc: Photography by Dirk » Pixeleye « Behlau | 978-3-927896-25-3 | 2008 | Katharina Klimpke · Dirk Mangartz · Dirk Behlau |
| Trauma und Sucht. Konzepte - Diagnostik - Behandlung | 978-3-608-89005-1 | 2006 | Michael Krausz |
| Zacken-Erdschildkröten | 978-3-937285-50-4 | 2005 | |