Fundamentals of Algebraic Specification 1 Equations and Initial Semantics Ehrig Hartmut Heftet / 2011 / Engelsk
Fundamentals of Algebraic Specification 2 Module Specifications and Constraints Ehrig Hartmut Innbundet / 1989 / Engelsk
Fundamentals of Algebraic Specification 2 Module Specifications and Constraints Ehrig Hartmut Heftet / 2011 / Engelsk
Graph and Model Transformation General Framework and Applications Ehrig Hartmut Innbundet / 2015 / Engelsk
Graph and Model Transformation General Framework and Applications Ehrig Hartmut Heftet / 2019 / Engelsk
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 Ehrig Hartmut Heftet / 1994 / Engelsk
Graph Transformations in Computer Science International Workshop, Dagstuhl Castle, Germany, January 4 - 8, 1993. Proceedings Schneider, Hans J. Heftet / 1994 / Engelsk
Graph Grammars and Their Application to Computer Science 4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceedings Ehrig Hartmut Heftet / 1991 / Engelsk
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) Ehrig Hartmut Heftet / 1985 / Engelsk
Graph Transformations 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings Ehrig Hartmut Heftet / 2010 / Engelsk
Graph Grammars and Their Application to Computer Science 5th International Workshop, Williamsburg, VA, USA, November (13-18), 1995. Selected Papers. Cuny Janice Heftet / 1996 / Engelsk
Graph Transformations 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008, Proceedings Ehrig Hartmut Heftet / 2008 / Engelsk
Graph-Grammars and Their Application to Computer Science 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986 Ehrig Hartmut Heftet / 1987 / Engelsk
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) Ehrig Hartmut Heftet / 1985 / Engelsk
Petri Net Technology for Communication-Based Systems Advances in Petri Nets Ehrig Hartmut Heftet / 2003 / Engelsk
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) Ehrig Hartmut Heftet / 1987 / Engelsk
Categorical Methods in Computer Science With Aspects from Topology Ehrig Hartmut Heftet / 1989 / Engelsk
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) Ehrig Hartmut Heftet / 1987 / Engelsk
Formal and Natural Computing Essays Dedicated to Grzegorz Rozenberg Brauer Wilfried Heftet / 2002 / Engelsk
Graph Transformations Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings Ehrig Hartmut Heftet / 2004 / Engelsk
Recent Trends in Data Type Specification 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings Ehrig Hartmut Heftet / 1991 / Engelsk
Graph Transformation 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings Ehrig Hartmut Heftet / 2012 / Engelsk
Theory and Application of Graph Transformations 6th International Workshop, TAGT'98 Paderborn, Germany, November 16-20, 1998 Selected Papers Ehrig Hartmut Heftet / 2000 / Engelsk
Graph Transformation First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings Corradini Andrea Heftet / 2002 / Engelsk
Graph Transformations Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings Corradini Andrea Heftet / 2006 / Engelsk
