Ehrig, Hartmut books & textbook
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
Ehrig, Hartmut Ehrig, Karsten Prange, Ulrike Taentzer, Gabriele
Springer /2006-02-10 Hardcover / 403 Pages
isbn-10: 3540311874 / isbn-13: 9783540311874
Categorical Methods in Computer Science: With Aspects from Topology (Lecture Notes in Computer Science, 393)
Ehrig, Hartmut Herrlich, Horst Kreowski, Hans-Jörg Preuß, Gerhard
Springer /1989-10-11 Paperback / 360 Pages
isbn-10: 3540517227 / isbn-13: 9783540517221
Graph Transformation: 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings (Theoretical Computer Science and General Issues)
Ehrig, Hartmut Engels, Gregor Kreowski, Hans-Jörg Rozenberg, Grzegorz
Springer /2012-08-23 Paperback / 439 Pages
isbn-10: 3642336531 / isbn-13: 9783642336539
Graph Grammars and Their Application to Computer Science: 5th International Workshop, Williamsburg, VA, USA, November (13-18), 1995. Selected Papers. (Lecture Notes in Computer Science, 1073)
Cuny, Janice Ehrig, Hartmut Engels, Gregor Rozenberg, Grzegorz
Springer /1996-05-08 Paperback / 584 Pages
isbn-10: 3540612289 / isbn-13: 9783540612285
Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG) ... (Lecture Notes in Computer Science, 3147)
Ehrig, Hartmut Damm, Werner Desel, Jörg Große-Rhode, Martin Reif, Wolfgang Schnieder, Eckehard Westkämper, Engelbert
Springer /2004-09-22 Paperback / 640 Pages
isbn-10: 3540231358 / isbn-13: 9783540231356
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (Monographs in Theoretical Computer Science. An EATCS Series)
Springer /2011-11-23 Paperback / 332 Pages
isbn-10: 3642699642 / isbn-13: 9783642699641
Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings (Lecture Notes in Computer Science, 534)
Ehrig, Hartmut Jantke, Klaus P. Orejas, Fernando Reichel, Horst
Springer /1991-09-11 Paperback / 392 Pages
isbn-10: 3540544968 / isbn-13: 9783540544968
Graph Transformation: First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings (Lecture Notes in Computer Science, 2505)
Corradini, Andrea Ehrig, Hartmut Kreowski, Hans-Jörg Rozenberg, Grzegorz
Springer /2002-09-27 Paperback / 476 Pages
isbn-10: 354044310X / isbn-13: 9783540443100
Petri Net Technology for Communication-Based Systems: Advances in Petri Nets (Lecture Notes in Computer Science, 2472)
Ehrig, Hartmut Reisig, Wolfgang Rozenberg, Grzegorz Weber, Herbert
Springer /2003-11-25 Paperback / 476 Pages
isbn-10: 3540205381 / isbn-13: 9783540205388
Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development ... (Lecture Notes in Computer Science, 185)
Ehrig, Hartmut Floyd, Christiane Nivat, Maurice Thatcher, James
Springer /1985-03-01 Paperback / 440 Pages
isbn-10: 3540151982 / isbn-13: 9783540151982
