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