| Titel | Art | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Categorical Methods in Computer Science: With Aspects from Topology | Taschenbuch | | 978-3-540-51722-1 | 2008 | Horst Herrlich · Gerhard Preu?? · Hans-J??rg Kreowski |
| Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg | " | | 978-3-540-43190-9 | 2008 | Juhani Karhumäki · Wilfried Brauer · Arto K. Salomaa |
| Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development , ... Notes in Computer Science , Band 186) | " | | 978-3-540-15199-9 | 2008 | James Thatcher · Maurice Nivat · Christiane Floyd |
| Formal Methods and Software Development (PROC OF INTL JOINT CONF... | Paperback | | 978-0-387-15199-1 | 1985 |
| Fundamentals of Algebraic Graph Transformation | Taschenbuch | | 978-3-642-06831-7 | 2010 |
| Fundamentals of Algebraic Graph Transformation | Gebunden | | 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 1: Equations and Initial Semantics | Gebunden | | 978-3-540-13718-4 | 1985 | " |
| Fundamentals of Algebraic Specification 1: Equations and Initial Semantics | Taschenbuch | | 978-3-642-69964-1 | 1985 |
| Fundamentals of Algebraic Specification 2: Module Specifications and Constraints | " | | 978-3-642-64776-5 | 1990 |
| Fundamentals of Algebraic Specification 2: Module Specifications and Constraints | Gebunden | | 978-3-540-51799-3 | 1989 | Bernd Mahr |
| Fundamentals of Algebraic Specifications 2: Module Specification and Constraints | Hardcover | | 978-0-387-51799-5 | 1990 | " |
| Graph and Model Transformation: General Framework and Applications | Taschenbuch | | 978-3-662-56910-8 | 2019 |
| Graph and Model Transformation: General Framework and Applications | Gebunden | | 978-3-662-47979-7 | 2015 | Claudia Ermel · Ulrike Golas · Frank Hermann |
| Graph-Grammars and Their Application to Computer Science: 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986 | Taschenbuch | | 978-3-540-18771-4 | 2008 | Azriel Rosenfeld · Grzegorz Rozenberg · Manfred Nagl |
| Graph Grammars and Their Application to Computer Science: 3rd International Workshop Warrenton, Virginia, Usa, December 2-6, 1986 | Paperback | | 978-0-387-18771-6 | 1988 | Manfred Nagl · Grzegorz Rozenberg |
| Graph Grammars and Their Application to Computer Science: 4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceedings | Taschenbuch | | 978-3-540-54478-4 | 2008 | Grzegorz Rozenberg · Hans-J??rg Kreowski |
| Graph Grammars and Their Application to Computer Science: 4th International Workshop Bremen, Germany, March 5-9, 1990: Proceedings | Paperback | | 978-0-387-54478-6 | 1991 | H. J. Kreowski |
| Graph Grammars and Their Application to Computer Science: 5th International Workshop, Williamsburg, VA, USA, November , 1995. Selected Papers. ... Notes in Computer Science , Band 1073) | Taschenbuch | | 978-3-540-61228-5 | 2008 | Janice Cuny · Gregor Engels · Grzegorz Rozenberg |
| Graph Transformation: 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings | " | | 978-3-642-33653-9 | 2012 | Gregor Engels · Hans-Jörg Kreowski · Grzegorz Rozenberg |
| 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 | " | | 978-3-540-87404-1 | 2008 |
| Graph Transformations: 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings | " | | 978-3-642-15927-5 | 2010 |
| Graph Transformations in Computer Science: International Workshop, Dagstuhl Castle, Germany, January 4 - 8, 1993. Proceedings | " | | 978-3-540-57787-4 | 2008 | Hans J. Schneider |
| Graph Transformations: Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings | " | | 978-3-540-23207-0 | 2008 | Gregor Engels · Grzegorz Rozenberg · Francesco Parisi-Presicce |
| Graph Transformations: Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings | " | | 978-3-540-38870-8 | 2008 | Ugo Montanari · Grzegorz Rozenberg · Andrea Corradini · Leila Ribeiro |
| Integration of Software Specification Techniques for Applications in Engineering: Priority Program Softspez Of The German Research Foundation ... Notes in Computer Science , Band 3147) | " | | 978-3-540-23135-6 | 2013 |
| Kategorien und Automate | Gebunden | | 978-3-11-003902-3 | 1972 | Michael Pfender |
| Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development ... Notes in Computer Science , Band 185) | Taschenbuch | | 978-3-540-15198-2 | 2008 | James Thatcher · Maurice Nivat · Christiane Floyd |
| Mathematical Foundations of Software Development (PROC OF INTL JOINT CONF... | Paperback | | 978-0-387-15198-4 | 1985 |
| Mathematisch-strukturelle Grundlagen der Informatik | Taschenbuch | | 978-3-540-41923-5 | 2013 |
| 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. ... Notes in Computer Science , Band 534) | " | | 978-3-540-54496-8 | 2008 | Fernando Orejas · Horst Reichel · Klaus P. Jantke |
| Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstract Data Types Wusterhausen/Dosse, Germany, April 17-20, 1990 Proceedings | Paperback | | 978-0-387-54496-0 | 1991 | b Workshop on Specification of Abstract Data Types 1990 Wusterhausen · Klaus P. Jantke · Fernando Orejas |
| Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de ... | Taschenbuch | | 978-3-540-57867-3 | 2008 | Fernando Orejas |
| Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types, Joint With the 4th Compass Workshop Caldes De Malave | Paperback | | 978-0-387-57867-5 | 1994 | Workshop on Specification of Abstract Data Types 1992 Caldes De malav · Spain) Compass Workshop 1992 (Caldes De Malavella |
| Tapsoft '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23-27, 1987: Advanc | " | | 978-0-387-17611-6 | 1987 | Robert Kowalski · Giorgio Levi |
| Tapsoft '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23-27, 1987: Advance | " | | 978-0-387-17660-4 | 1987 | Robert Kowalski · Giorgio Levi |
| TAPSOFT '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987: Volume ... | Taschenbuch | | 978-3-540-17611-4 | 2008 | Ugo Montanari · Robert A. Kowalski · Giorgio Levi |
| TAPSOFT '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987: Volume 1: ... Notes in Computer Science , Band 249) | " | | 978-3-540-17660-2 | 2008 | Ugo Montanari · Robert Kowalski · Giorgio Levi |
| Theory and Application of Graph Transformations: 6th International Workshop, Tagt'98 Paderborn, Germany, November 1998 Selected Papers | " | | 978-3-540-67203-6 | 2000 |
| Unifying Petri Nets: Advances in Petri Nets | " | | 978-3-540-43067-4 | 2008 | Gabriel Juhas · Grzegorz Rozenberg · Julia Padberg |