Hartmut Ehrig - Böcker

Kategorien und Automate

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)

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)

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987

Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP)

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 Programming (CAAP '87)

Graph-Grammars and Their Application to Computer Science

3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986

Petri Net Technology for Communication-Based Systems

Advances in Petri Nets

Integration of Software Specification Techniques for Applications in Engineering

Priority Program SoftSpez of the German Research Foundation (DFG) Final Report

Graph Transformations

Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings

Fundamentals of Algebraic Graph Transformation

Graph Transformations

Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings

Mathematisch-strukturelle Grundlagen der Informatik

Unifying Petri Nets

Advances in Petri Nets

Formal and Natural Computing

Essays Dedicated to Grzegorz Rozenberg

Graph Transformation

First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings

Categorical Methods in Computer Science

With Aspects from Topology

Fundamentals of Algebraic Specification 2

Module Specifications and Constraints

Graph Grammars and Their Application to Computer Science

4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceedings

Recent Trends in Data Type Specification

7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings

Graph Transformations in Computer Science

International Workshop, Dagstuhl Castle, Germany, January 4 - 8, 1993. Proceedings

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

Graph Grammars and Their Application to Computer Science

5th International Workshop, Williamsburg, VA, USA, November (13-18), 1995. Selected Papers.

Theory and Application of Graph Transformations

6th International Workshop, TAGT'98 Paderborn, Germany, November 16-20, 1998 Selected Papers

Graph Transformations

4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008, Proceedings

Fundamentals of Algebraic Graph Transformation

Graph Transformations

5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings

Graph Transformation

6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings

Fundamentals of Algebraic Specification 2

Module Specifications and Constraints

Fundamentals of Algebraic Specification 1

Equations and Initial Semantics