Title: Petri Net Technology for Communication-Based Systems: Advances in Petri Nets / Edition 1, Author: Hartmut Ehrig
Title: TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987: Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and P, Author: Hartmut Ehrig
Title: Kategorien und Automate, Author: Hartmut Ehrig
Title: Graph Transformations: 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings / Edition 1, Author: Hartmut Ehrig
Title: Graph-Grammars and Their Application to Computer Science: 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986, Author: Hartmut Ehrig
Title: Graph and Model Transformation: General Framework and Applications, Author: Hartmut Ehrig
Title: Fundamentals of Algebraic Specification 2: Module Specifications and Constraints, Author: Hartmut Ehrig
Title: Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26 - 30, 1992. Selected Papers / Edition 1, Author: Hartmut Ehrig
Title: Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings, Author: Hartmut Ehrig
Title: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, Author: Hartmut Ehrig
Title: Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985: Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85), Author: Hartmut Ehrig
Title: Fundamentals of Algebraic Graph Transformation / Edition 1, Author: Hartmut Ehrig
Title: Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985: Volume 2: Colloquium on Software Engineering (CSE), Author: Hartmut Ehrig
Title: Graph Transformations: Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings / Edition 1, Author: Hartmut Ehrig
Title: Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG) Final Report / Edition 1, Author: Hartmut Ehrig
Title: Theory and Application of Graph Transformations: 6th International Workshop, TAGT'98 Paderborn, Germany, November 16-20, 1998 Selected Papers / Edition 1, Author: Hartmut Ehrig
Title: Graph Transformations: 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008, Proceedings / Edition 1, Author: Hartmut Ehrig
Title: Mathematisch-strukturelle Grundlagen der Informatik / Edition 2, Author: Hartmut Ehrig
Title: Graph Grammars and Their Application to Computer Science: 4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceedings, Author: Hartmut Ehrig
Title: Categorical Methods in Computer Science: With Aspects from Topology, Author: Hartmut Ehrig

Pagination Links