| Titel | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report | 978-3-540-57499-6 | 1993 | Helmut Partsch · Steve Schuman |
| Mathematics of Program Construction: 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings | 978-3-540-43857-1 | 2002 | Eerke A. Boiten |
| Mathematics of Program Construction: Third International Conference, MPC '95, Kloster Irsee, Germany, July 17 - 21, 1995. Proceedings | 978-3-540-60117-3 | 2008 |
| Prospects for Hardware Foundations: ESPRIT Working Group 8533 NADA - New Hardware Design Methods Survey Chapters: v. 1546 | 978-3-540-65461-2 | 1998 | John V. Tucker |
| Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International ... Papers | 978-3-540-22145-6 | 2004 | R. Berghammer · Georg Struth |
| Relations and Kleene Algebra in Computer Science: 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th ... Computer Science and General Issues) | 978-3-642-04638-4 | 2009 | Rudolf Berghammer · Ali Mohamed Jaoua |
| Thüringer Pfarrerbuch, Band 2: Fürstentum Schwarzburg-Sondershausen | 978-3-7686-4148-7 | 1997 |
| Thüringer Pfarrerbuch: Grossherzogtum Sachsen - Landsteil Eisenach: BD 3 | 978-3-7686-4205-7 | 2000 | Gesellschaft f. Thüringische Kirchengeschichte |