You are here: › › › Hartmut Ehrig
Hartmut Ehrig

Hartmut Ehrig

40 books

Mathematisch-strukturelle Grundlagen der Informatik (Springer-Lehrbuch)

Mathematisch-strukturelle Grundlagen der Informatik (Springer-Lehrbuch)

by Hartmut Ehrig

3.50 of 2

Fundamentals of Algebraic Specification 2: Module Specifications and Constraints (Monographs in Theoretical Computer Science. An EATCS Series)

Fundamentals of Algebraic Specification 2: Module Specifications and Constraints (Monographs in Theoretical Computer Science. An EATCS Series)

by Hartmut Ehrig

4.00 of 1

Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg (Lecture Notes in Computer Science (2300))

Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg (Lecture Notes in Computer Science (2300))

by Hartmut Ehrig

3.00 of 1

HANDBOOK OF GRAPH GRAMMARS AND COMPUTING BY GRAPH TRANSFORMATION - VOLUME 3: CONCURRENCY, PARALLELISM, AND DISTRIBUTION

HANDBOOK OF GRAPH GRAMMARS AND COMPUTING BY GRAPH TRANSFORMATION - VOLUME 3: CONCURRENCY, PARALLELISM, AND DISTRIBUTION

by Hartmut Ehrig

2.00 of 1

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987: Volume ... (Lecture Notes in Computer Science, 250)

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987: Volume ... (Lecture Notes in Computer Science, 250)

by Hartmut Ehrig

0.0 of 0

Graph Transformations: 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings (Lecture Notes in Computer Science, 6372)

Graph Transformations: 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings (Lecture Notes in Computer Science, 6372)

by Hartmut Ehrig

0.0 of 0

Graph Transformations: Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings (Lecture Notes in Computer Science Book 3256)

Graph Transformations: Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings (Lecture Notes in Computer Science Book 3256)

by Hartmut Ehrig

0.0 of 0

Petri Net Technology for Communication-Based Systems: Advances in Petri Nets (Lecture Notes in Computer Science (2472))

Petri Net Technology for Communication-Based Systems: Advances in Petri Nets (Lecture Notes in Computer Science (2472))

by Hartmut Ehrig

0.0 of 0

Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (Monographs in Theoretical Computer Science. An EATCS Series)

Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (Monographs in Theoretical Computer Science. An EATCS Series)

by Hartmut Ehrig

0.0 of 0

Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development ... (Lecture Notes in Computer Science, 185)

Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development ... (Lecture Notes in Computer Science, 185)

by Hartmut Ehrig

0.0 of 0

Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)

Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)

by Hartmut Ehrig

0.0 of 0

Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG) ... (Lecture Notes in Computer Science, 3147)

Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG) ... (Lecture Notes in Computer Science, 3147)

by Hartmut Ehrig

0.0 of 0

Graph Transformations: 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008, Proceedings (Lecture Notes in Computer Science, 5214)

Graph Transformations: 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008, Proceedings (Lecture Notes in Computer Science, 5214)

by Hartmut Ehrig

0.0 of 0

Tapsoft '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23-27, 1987 : Advance (Lecture Notes in Computer Science)

Tapsoft '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23-27, 1987 : Advance (Lecture Notes in Computer Science)

by Hartmut Ehrig

0.0 of 0

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), ... (Lecture Notes in Computer Science, 186)

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), ... (Lecture Notes in Computer Science, 186)

by Hartmut Ehrig

0.0 of 0

Recent Trends in Data Type Specification

Recent Trends in Data Type Specification

by Hartmut Ehrig

0.0 of 0

Categorical Methods in Computer Science: With Aspects from Topology (Lecture Notes in Computer Science, 393)

Categorical Methods in Computer Science: With Aspects from Topology (Lecture Notes in Computer Science, 393)

by Hartmut Ehrig

0.0 of 0

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987: Volume 1: ... '87) (Lecture Notes in Computer Science, 249)

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987: Volume 1: ... '87) (Lecture Notes in Computer Science, 249)

by Hartmut Ehrig

0.0 of 0