| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| 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 | 1995 | |
| 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 / Theoretical Computer Sci) | 978-3-642-04638-4 | 2009 | Rudolf Berghammer · Ali Mohamed Jaoua |