| Titel | Art | | ISBN-13 | Erschei- nungsjahr | andere Autoren |
| Automated Construction of XSL-Templates: An Inductive Programming Approach | Taschenbuch | | 978-3-639-00194-5 | 2008 |
| Automatentheorie und Logik | " | | 978-3-642-18089-7 | 2011 |
| Dokumentation zum Kirchenkampf in Hessen und Nassau ; mit einem Geleitwort von Oberkirchenrat Spengler, | Broschiert | | 978-3-87076-004-5 | 1974 | Hans Friedrich Lenz · Paul Gerhard Schäfer · Johannes Stoll |
| Extensional Constructs in Intensional Type Theory | Paperback | | 978-1-4471-1243-3 | 1997 |
| Extensional Constructs in Intensional Type Theory | Gebunden | | 978-3-540-76121-1 | 1997 |
| Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European ... Germany, March 26--April 3, | Paperback | | 978-3-642-19806-9 | 2011 |
| Foundations of Software Science and Computational Structures | Taschenbuch | | 978-3-642-19804-5 | 2011 |
| Internet-Sicherheit aktuell | " | | 978-3-8125-0662-5 | 2005 |
| Kaufmann /Kauffrau in der Grundstücks- und Wohnungswirtschaft: Arbeitsmappe zur Zwischenprüfung | Broschiert | | 978-3-88234-560-5 | 2006 | Michael Gehling · Rüdiger Grebe · Ullrich Karl · Stephan Schneck |
| Konzeption eines Prozeßinformations- und -managementsystems | Taschenbuch | | 978-3-8244-6161-5 | 1995 |
| Mehr Spaß mit ASURO, Band 2 | Pappbilderbuch | | 978-90-809392-3-3 | 2007 | Robin Gruber |
| Siegfried Kracauer - Fragmente einer Archäologie der Moderne | Taschenbuch | | 978-3-932490-16-3 | 1997 | Tobias Korta |
| Trustworthy Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers | " | | 978-3-642-15639-7 | 2010 | Martin Wirsing · Axel Rauschmayer |
| Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings | " | | 978-3-540-40332-6 | 2008 |
| Warum ich nicht mehr glaube: Wenn junge Erwachsene den Glauben verlieren | Gebunden | | 978-3-417-26583-5 | 2019 | Tobias Faix · Tobias Künkler |