| Titel | Art | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Categorical Methods in Computer Science: With Aspects from Topology | Taschenbuch | | 978-3-540-51722-1 | 1989 | Horst Herrlich · Hans-Jörg Kreowski · Gerhard Preuß |
| Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg: v. 2300 | " | | 978-3-540-43190-9 | 2008 | Wilfried Brauer · Arto K. Salomaa · Juhani Karhumäki |
| Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), ... | " | | 978-3-540-15199-9 | 1985 | Christiane Floyd · Maurice Nivat · James Thatcher |
| Fundamentals of Algebraic Graph Transformation | " | | 978-3-642-06831-7 | 2010 | Karsten Ehrig · Ulrike Prange · Gabriele Taentzer |
| Fundamentals of Algebraic Graph Transformation | Gebundene Ausgabe | | 978-3-540-31187-4 | 2006 | Karsten Ehrig · Ulrike Prange · Gabriele Taentzer |
| Fundamentals of Algebraic Specification 1: Equations and Initial Semantics | Hardcover | | 978-0-387-13718-6 | 1985 | Bernd Mahr |
| Fundamentals of Algebraic Specification 2: Module Specifications and Constraints: v. 2 | Gebundene Ausgabe | | 978-3-540-51799-3 | 1989 | " |
| Fundamentals of Algebraic Specification I. Equations and Initial Semantics | " | | 978-3-540-13718-4 | 1985 | " |
| Fundamentals of Algebraic Specifications 2: Module Specification and Constraints | Hardcover | | 978-0-387-51799-5 | 1990 | " |
| Graph-Grammars and Their Application to Computer Science: 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986 | Taschenbuch | | 978-3-540-18771-4 | 1987 | Manfred Nagl · Grzegorz Rozenberg · Azriel Rosenfeld |
| Graph Grammars and Their Application to Computer Science: 4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceedings: International ... 4th, 1990 | " | | 978-3-540-54478-4 | 1991 | Grzegorz Rozenberg · Hans-J¿rg Kreowski |
| Graph Grammars and Their Application to Computer Science: 5th International Workshop, Williamsburg, VA, USA, November , 1995. Selected Papers: ... Papers | " | | 978-3-540-61228-5 | 1996 | Janice Cuny · Grzegorz Rozenberg · Gregor Engels |
| Graph Transformation: First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings | " | | 978-3-540-44310-0 | 2009 | Andrea Corradini · Grzegorz Rozenberg · Hans-Jörg Kreowski |
| Graph Transformations: 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008, Proceedings: 5214 | " | | 978-3-540-87404-1 | 2008 | Reiko Heckel |
| Graph Transformations: 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings | " | | 978-3-642-15927-5 | 2010 | Arend Rensink · Grzegorz Rozenberg · Andy Schürr |
| Graph Transformations in Computer Science: International Workshop, Dagstuhl Castle, Germany, January 4 - 8, 1993. Proceedings | " | | 978-3-540-57787-4 | 1994 | Hans J. Schneider |
| Graph Transformations: Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings | " | | 978-3-540-23207-0 | 2004 | Gregor Engels · Francesco Parisi-Presicce · Grzegorz Rozenberg |
| Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation . Final Report | " | | 978-3-540-23135-6 | 2004 |
| Kategorien und Automaten | Gebundene Ausgabe | | 978-3-11-003902-3 | 1984 | Michael Pfender |
| Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development ... | Taschenbuch | | 978-3-540-15198-2 | 1985 | Christiane Floyd · Maurice Nivat · James Thatcher |
| Mathematisch-strukturelle Grundlagen der Informatik | " | | 978-3-540-41923-5 | 2001 | Bernd Mahr · F. Cornelius |
| Petri Net Technology for Communication-Based Systems: Advances in Petri Nets | " | | 978-3-540-20538-8 | 2008 | Herbert Weber · Grzegorz Rozenberg · Wolfgang Reisig |
| Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. ... | " | | 978-3-540-54496-8 | 1991 | Klaus P. Jantke · Fernando Orejas · Horst Reichel |
| Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de ... Papers | " | | 978-3-540-57867-3 | 1994 | Fernando Orejas |
| TAPSOFT '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987: Volume ... | " | | 978-3-540-17611-4 | 1987 | Robert A. Kowalski · Giorgio Levi · Ugo Montanari |
| TAPSOFT '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987: Volume 1: ... '87) | " | | 978-3-540-17660-2 | 1987 | Robert Kowalski · Giorgio Levi · Ugo Montanari |
| Theory and Application of Graph Transformations: 6th International Workshop, TAGT'98 Paderborn, Germany, November 16-20, 1998 Selected Papers | " | | 978-3-540-67203-6 | 2000 | Gregor Engels · Hans-Jörg Kreowski |
| Unifying Petri Nets: Advances in Petri Nets | " | | 978-3-540-43067-4 | 2001 | Gabriel Juhas · Julia Padberg · Grzegorz Rozenberg |