| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Algebraic Foundations of Systems Specification | 978-3-540-63772-1 (3-540-63772-9) | 1999 | Egidio Astesiano · Hans-Jörg Kreowski |
| Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System | 978-3-540-56733-2 (3-540-56733-X) | 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 (3-540-25048-4) | 2005 | Christian Freksa · Markus Knauff · Bernhard Nebel · Thomas Barkowsky |