| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Algebraic Foundations of Systems Specification | 978-3-540-63772-1 | 1999 | Egidio Astesiano · Hans-Jörg Kreowski |
| ANNA A Language for Annotating Ada Programs: Reference Manual | 978-3-540-17980-1 | 2008 | Olaf Owe · David C. Luckham · Friedrich W. von Henke · Bernd Krieg-Brueckner |
| ESOP '92: 4th European Symposium on Programming, Rennes, France, February 26-28, 1992. Proceedings | 978-3-540-55253-6 | 1992 | |
| Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System | 978-3-540-56733-2 | 1993 | Berthold Hoffmann |
| Spatial Cognition IV, Reasoning, Action, Interaction: International Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, Revised ... Computer Science / Lecture Notes in Artific) | 978-3-540-25048-7 | 2008 | Christian Freksa · Markus Knauff · Thomas Barkowsky · Bernhard Nebel |
B. B. · B. KRIEG · B. Krieg- Brückner · Bernd Brückner · K. B. · K. Brückner