Bok Inbunden Bok Pocketbok
Visa slutsålda utgivelser

Releases med Hartmut Ehrig

Cover for Hartmut Ehrig · Graph and Model Transformation: General Framework and Applications - Monographs in Theoretical Computer Science. An EATCS Series (Pocketbok) [Softcover reprint of the original 1st ed. 2015 edition] (2019)

Softcover reprint of the original 1st ed. 2015 edition

Graph and Model Transformation: ... (2019)

Cover for Hartmut Ehrig · Graph and Model Transformation: General Framework and Applications - Monographs in Theoretical Computer Science. An EATCS Series (Inbunden Bok) [1st ed. 2015 edition] (2015)

1st ed. 2015 edition

Graph and Model Transformation: ... (2015)

Cover for Hartmut Ehrig · Graph Transformation: 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings - Lecture Notes in Computer Science (Pocketbok) [2012 edition] (2012)

Graph Transformation: 6th Intern... (2012)

Cover for Hartmut Ehrig · Fundamentals of Algebraic Specification 1: Equations and Initial Semantics - Monographs in Theoretical Computer Science. An EATCS Series (Pocketbok) [Softcover reprint of the original 1st ed. 1985 edition] (2011)

Softcover reprint of the original 1st ed. 1985 edition

Fundamentals of Algebraic Specif... (2011)

Cover for Hartmut Ehrig · Fundamentals of Algebraic Specification 2: Module Specifications and Constraints - Monographs in Theoretical Computer Science. An EATCS Series (Pocketbok) [Softcover reprint of the original 1st ed. 1990 edition] (2011)

Softcover reprint of the original 1st ed. 1990 edition

Fundamentals of Algebraic Specif... (2011)

Cover for Hartmut Ehrig · Fundamentals of Algebraic Graph Transformation - Monographs in Theoretical Computer Science : an Eatcs Series (Pocketbok) [1st Ed. Softcover of Orig. Ed. 2006 edition] (2010)

1st Ed. Softcover of Orig. Ed. 2006 edition

Fundamentals of Algebraic Graph ... (2010)

Cover for Hartmut Ehrig · Graph Transformations: 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings - Lecture Notes in Computer Science (Pocketbok) (2010)

Graph Transformations: 5th Inter... (2010)

Cover for Hartmut Ehrig · Graph Transformations: 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008, Proceedings - Lecture Notes in Computer Science (Pocketbok) [2008 edition] (2008)

Graph Transformations: 4th Inter... (2008)

Cover for Hartmut Ehrig · Fundamentals of Algebraic Graph Transformation - Monographs in Theoretical Computer Science : an Eatcs Series (Inbunden Bok) (2006)

Fundamentals of Algebraic Graph ... (2006)

Cover for Hartmut Ehrig · Graph Transformations: Second International Conference, Icgt 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings - Lecture Notes in Computer Science (Pocketbok) (2004)

Graph Transformations: Second In... (2004)

Cover for Hartmut Ehrig · Petri Net Technology for Communication-Based Systems: Advances in Petri Nets - Lecture Notes in Computer Science (Pocketbok) [2003 edition] (2003)

Petri Net Technology for Communi... (2003)

Cover for Hartmut Ehrig · Mathematisch-strukturelle Grundlagen Der Informatik (Pocketbok) [German, 2. Aufl. 2001 edition] (2001)

German, 2. Aufl. 2001 edition

Mathematisch-strukturelle Grundl... (2001)

Cover for Hartmut Ehrig · Recent Types 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 - Lecture Notes in Computer Science (Pocketbok) (1994)

Recent Types in Data Type Specif... (1994)

Cover for Hartmut Ehrig · Graph Grammars and Their Application to Computer Science: 4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceedings (International Workshop Proceedings.h.ehrig, Etc) - Lecture Notes in Computer Science (Pocketbok) (1991)

Graph Grammars and Their Applica... (1991)

Cover for Hartmut Ehrig · Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstract Data Types, Wusterhausen / Dosse, Germany, April 17-20, 1990. Proceedings (Workshop Proceedings) - Lecture Notes in Computer Science (Pocketbok) (1991)

Recent Trends in Data Type Speci... (1991)

Cover for Hartmut Ehrig · Fundamentals of Algebraic Specification 2: Module Specifications and Constraints - Monographs in Theoretical Computer Science. An EATCS Series (Inbunden Bok) [1990 edition] (1989)

Fundamentals of Algebraic Specif... (1989)

Cover for Hartmut Ehrig · Categorical Methods in Computer Science: With Aspects from Topology - Lecture Notes in Computer Science (Pocketbok) [1989 edition] (1989)

Categorical Methods in Computer ... (1989)

Cover for Hartmut Ehrig · Graph-grammars and Their Application to Computer Science: 3rd International Workshop, Warrenton, Virginia, Usa, December 2-6, 1986 - Lecture Notes in Computer Science (Pocketbok) (1987)

Graph-grammars and Their Applica... (1987)

Cover for Hartmut Ehrig · Tapsoft '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987 (Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (Pocketbok) (1987)

Tapsoft '87: Proceedings of the ... (1987)

Cover for Hartmut Ehrig · Tapsoft '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987 (Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Pr (Pocketbok) (1987)

Tapsoft '87. Proceedings of the ... (1987)

Cover for Hartmut Ehrig · 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) - L (Pocketbok) [1985 edition] (1985)

Mathematical Foundations of Soft... (1985)

Cover for Hartmut Ehrig · 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) - Lecture Notes in Computer (Pocketbok) [1985 edition] (1985)

Formal Methods and Software Deve... (1985)

Cover for Hartmut Ehrig · Kategorien und Automaten. (Bok) (1972)

Kategorien und Automaten. (1972)