Hartmut Ehrigの本 - BookPine

Graph and Model Transformation: General Framework and Applications

Graph and Model Transformation: General Framework and Applications

Hartmut Ehrig

Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG) Final Report

Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG) Final Report

Hartmut Ehrig

Fundamentals of Algebraic Specification 2: Module Specifications and Constraints

Fundamentals of Algebraic Specification 2: Module Specifications and Constraints

Hartmut Ehrig

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

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

Hartmut Ehrig

Fundamentals of Algebraic Specification 1: Equations and Initial Semantics

Fundamentals of Algebraic Specification 1: Equations and Initial Semantics

Hartmut Ehrig

Fundamentals of Algebraic Graph Transformation

Fundamentals of Algebraic Graph Transformation

Hartmut Ehrig

Graph Transformations: Third International Conference on Graph Transformations, ICGT 2006

Graph Transformations: Third International Conference on Graph Transformations, ICGT 2006

Andrea Corradini

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

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

Andrea Corradini

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

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

Hartmut Ehrig

Petri Net Technology for Communication-Based Systems: Advances in Petri Nets

Petri Net Technology for Communication-Based Systems: Advances in Petri Nets

Hartmut Ehrig

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

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

Hartmut Ehrig

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

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

Hartmut Ehrig

Mathematisch-strukturelle Grundlagen der Informatik (Springer-Lehrbuch)

Mathematisch-strukturelle Grundlagen der Informatik (Springer-Lehrbuch)

Hartmut Ehrig

Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de ...

Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de ...

Hartmut Ehrig

Graph Transformations in Computer Science: International Workshop, Dagstuhl Castle, Germany, January 4 - 8, 1993. Proceedings

Graph Transformations in Computer Science: International Workshop, Dagstuhl Castle, Germany, January 4 - 8, 1993. Proceedings

Hans J. Schneider

Graph Grammars and Their Application to Computer Science: 4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceedings

Graph Grammars and Their Application to Computer Science: 4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceedings

Hartmut Ehrig

Graph Grammars and Their Application to Computer Science: 4th International Workshop Bremen, Germany, March 5-9, 1990 : Proceedings

Graph Grammars and Their Application to Computer Science: 4th International Workshop Bremen, Germany, March 5-9, 1990 : Proceedings

Hartmut Ehrig

Macrosocial Determinants of Population Health

Macrosocial Determinants of Population Health

Hartmut Ehrig

もっと見る