|
Search | About | Preferences | Interact | Help |
| 150 million books. 1 search engine. | |
Hartmut Ehrig (Ehrig, Hartmut)
English
- Act: Algebraic Specification Techniques & Tools for Software Development
by Hartmut Ehrig
Hardcover, World Scientific Pub Co Inc, ISBN 9810212275 (981-02-1227-5) - Categorical Methods in Computer Science : With Aspects from Topology
by Hartmut Ehrig, Horst Herrlich, Hans-Jorg Kreowski
Softcover, Springer, ISBN 3540517227 (3-540-51722-7) - 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)
by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher
Softcover, Springer London, Limited, ISBN 3540151990 (3-540-15199-0) - Fundamentals of Algebraic Graph Transformation
by Hartmut Ehrig, K. Ehrig, U. Prange, G. Taentzer
Hardcover, Springer-Verlag New York Inc, ISBN 3540311874 (3-540-31187-4) - Fundamentals of Algebraic Specification
by Hartmut Ehrig, Bernd Mahr
Hardcover, Springer, ISBN 3540517995 (3-540-51799-5) - Fundamentals of Algebraic Specifications 2: Module Specification and Constraints
by Hartmut Ehrig, Bernd Mahr
Hardcover, Springer Verlag, ISBN 0387517995 (0-387-51799-5) - Graph Grammars and Their Application to Computer Science: 5th International Workshop, Williamsburg, Va, Usa, November 13-18, 1995 Selected Papers
by J. Cuny
Softcover, Springer Verlag, ISBN 3540612289 (3-540-61228-9) - Graph Transformations: Third International Conference, ICGT 2006, Rio Grande Do Norte, Brazil, September 17-23, 2006 Proceedings
by Grzegorz Rozenberg, Hartmut Ehrig, Ugo Montanari, Andrea Corradini, Leila Ribeiro
Softcover, Springer-Verlag New York Inc, ISBN 3540388702 (3-540-38870-2) - Graph Transformations: First International Conference, Icgt 2002, Barcelona, Spain, October 7-12, 2002 Proceedings
by ICGT 200 (2004 ROME, ITALY), Grzegorz Rozenberg, Hartmut Ehrig, Gregor Engels, Francesco Parisi-Presicce
Softcover, Springer-Verlag New York Inc, ISBN 3540232079 (3-540-23207-9)More editions of Graph Transformations: First International Conference, Icgt 2002, Barcelona, Spain, October 7-12, 2002 Proceedings:
- Graph Transformations in Computer Science: International Workshop Dagstuhl Castle, Germany, January 4-8, 1993 Proceedings
by Hans Jurgen Schneider, Hartmut Ehrig
Softcover, Springer Verlag, ISBN 0387577874 (0-387-57787-4) - Graph-Grammars and Their Application to Computer Science : 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986
by Hartmut Ehrig, Manfred Nagl, Grzegorz Rozenberg
Softcover, Springer, ISBN 3540187715 (3-540-18771-5) - Graph-Grammars and Their Application to Computer Science: 2nd International Workshop, Haus Ohrbeck, Germany, October 4-8, 1982
by Grzegorz Rozenberg, Hartmut Ehrig, Manfred Nagl, European Association for Theoretical Computer Science
Softcover, Springer-Verlag, ISBN 0387123105 (0-387-12310-5) - Graph-Grammars and Their Application to Computer Science and Biology: International Workshop, Bad Honnef, October 30-November 3, 1978
by Grzegorz Rozenberg, Hartmut Ehrig, Volker Claus
Hardcover, Springer-Verlag, ISBN 038709525X (0-387-09525-X) - Handbook of Graph Grammars and Computing by Graph Transformations : Applications, Languages and Theory
by Hartmut Ehrig
Hardcover, World Scientific Publishing Company, Incorporated, ISBN 9810240201 (981-02-4020-1) - Handbook of Graph Grammars and Computing by Graph Transformations: Concurrency, Parallelism, and Distribution
by Grzegorz Rozenberg, H. Ehrig, U. Montanari, H.J. Kreowski
Hardcover, World Scientific Pub Co Inc, ISBN 981024021X (981-02-4021-X) - Integration Of Software Specification Techniques For Applications In Engineering: Third International Workshop, Int 2004, Barcelona, Spain, March 28, 2004, Revised Selected Papers
by Hartmut Ehrig, Jorg Desel, Werner Damm, Wolfgang Reif, Martin Gro»e-Rhode
Softcover, Springer-Verlag New York Inc, ISBN 3540231358 (3-540-23135-8) - Mathematical Foundations of Software Development
by Hartmut Ehrig
Softcover, Springer Verlag, ISBN 0387151982 (0-387-15198-2) - 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)
by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher
Softcover, Springer London, Limited, ISBN 3540151982 (3-540-15198-2) - Petri Net Technology for Communication-Based Systems: Advances in Petri Nets
by Grzegorz Rozenberg, Hartmut Ehrig, Wolfgang Reisig, Herbert Weber
Softcover, Springer Verlag, ISBN 3540205381 (3-540-20538-1) - Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types, Joint With the 4th Compass Workshop Caldes De Malave
by Hartmut Ehrig, Fernando Orejas, Workshop on Specification of Abstract Data Types 1992 Caldes De Malav, Compass Workshop 1992 Caldes De Malavella, Spain)
Softcover, Springer Verlag, ISBN 0387578676 (0-387-57867-6)More editions of Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types, Joint With the 4th Compass Workshop Caldes De Malave:
- 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
by F. Orejas, Hartmut Ehrig
Hardcover, Springer-Verlag, ISBN 3540578676 (3-540-57867-6) - Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstract Data Types Wusterhausen/Dosse, Germany, April 17-20, 1990 Proceedings
by Klaus P. Jantke, Hartmut Ehrig, Fernando Orejas, B Workshop on Specification of Abstract Data Types 1990 Wusterhausen, H. Reichel
Softcover, Springer Verlag, ISBN 0387544968 (0-387-54496-8) - Tapsoft '87 : Proceedings of the International Joint Conference on Theory
by Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi
Softcover, Springer London, Limited, ISBN 354017611X (3-540-17611-X)More editions of Tapsoft '87 : Proceedings of the International Joint Conference on Theory:
- Tapsoft '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23-27, 1987 Advanc
by Giorgio Levi, Hartmut Ehrig, Robert Kowalski, Ugo Montanari
Softcover, Springer Verlag, ISBN 038717611X (0-387-17611-X)More editions of Tapsoft '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23-27, 1987 Advanc:
- Theory and Application of Graph Transformations: 6th International Workshop, Tagt'98 Paderborn, Germany, November 16-20, 1998 Selected Papers
by International Workshop on Theory and Applications of Graph Transformat, Hartmut Ehrig, Gregor Engles, Hans-Jorg Kreowski Grzegorz Rozenberg
Softcover, Springer Verlag, ISBN 3540672036 (3-540-67203-6) - Unifying Petri Nets: Advances in Petri Nets
by Grzegorz Rozenberg, Hartmut Ehrig, Gabriel Juhas, Julia Padberg
Softcover, Springer-Verlag New York Inc, ISBN 3540430679 (3-540-43067-9) - Universal Theory of Automata: A Categorical Approach
by Hartmut Ehrig
Hardcover, Teubner, ISBN 3519020548 (3-519-02054-8)
![[powered by Muze Inc.]](http://i.bookfinder.com/images/site/muze/powered_by_muze.gif){kind=small}