Clear Search

Books+ Search Results

Author/Creator: Is
Is Is Not
Ehrig, Hartmut

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

Show Online Results Only
Online Results (7)
1.
Graph and Model Transformation General Framework and Applications
Author
Ehrig, Hartmut
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
2.
Graph Transformation 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
3.
Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings
Author
Ehrig, Hartmut
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
4.
Fundamentals of algebraic graph transformation
Published
Berlin ; New York : Springer, c2006.
Location
Library Shelving Facility (LSF) >> QA276.3 .F86 2006 (LC)
Format
Books
5.
Fundamentals of Algebraic Graph Transformation
Author
Ehrig, Hartmut
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
6.
Graph Transformations Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
7.
Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
Published
Berlin ; New York : Springer, c2005.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3393 (LC)
Format
Books
8.
Graph transformations : second international conference, ICGT 2004, Rome, Italy, September 28-October 2, 2004 : proceedings
Author
ICGT 2004 (2004 : Rome, Italy)
Published
Berlin : Springer, c2004.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3256 (LC)
Format
Books
9.
Integration of software specification techniques for applications in engineering : Priority Program SoftSpez of the German Research Foundation (DFG) : final report
Published
Berlin ; New York, N.Y. : Springer, 2004.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3147 (LC)
Format
Books
10.
Petri net technology for communication-based systems : advances in Petri nets
Published
Berlin ; New York : Springer, c2003.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2472
Format
Books
11.
Unifying petri nets : advances in petri nets
Published
Berlin : Springer, 2001.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2128 (LC)
Format
Books
12.
Theory and application of graph tran[s]formations : 6th international workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998 : selected papers
Published
Berlin ; New York : Springer, c2000.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1764 (LC)
Format
Books
13.
Graph transformations in computer science : international workshop, Dagstuhl Castle, Germany, January 4-8, 1993 : proceedings
Published
Berlin ; New York : Springer-Verlag, c1994.
Location
Library Shelving Facility (LSF) >> QA76.A1 L43 776 (LC)
Format
Books
14.
Graph transformations in computer science : international workshop, Dagstuhl Castle, Germany, January 4-8, 1993 : proceedings
Published
Berlin ; New York : Springer-Verlag, c1994.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books
15.
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
Author
Workshop on Specification of Abstract Data Types (9th : 1992 : Caldes de Malavella, Spain)
Published
Berlin ; New York : Springer-Verlag, c1994.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 785 (LC)
Format
Books
16.
Algebraic specification techniques and tools for software development : the ACT approach
Author
Classen, Ingo
Published
Singapore ; River Edge, N.J. : World Scientific, c1993.
Location
Library Shelving Facility (LSF) >> QA76.76 D47 C57X 1993 (LC)
Format
Books
17.
Graph grammars and their application to computer science :/ 4th international workshop, Bremen, Germany, March 5-9, 1990 : proceedings
Published
Berlin ; New York : Springer-Verlag, c1991.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 532 (LC)
Format
Books
18.
Recent trends in data type specification : 7th Workshop on Specification of Abstract Data Types : Wusterhausen/Dosse, Germany, April 17-20, 1990 : proceedings
Author
Workshop on Specification of Abstract Data Types (7th : 1990 : Wusterhausen/Dosse, Germany)
Published
Berlin ; New York : Springer-Verlag, c1991.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 534 (LC)
Format
Books
19.
Fundamentals of Algebraic Specification 2 Module Specifications and Constraints
Author
Ehrig, Hartmut
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 1990.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-3-642-61284-8
Location
Yale Internet Resource >> None
Format
Books / Online
20.
Categorical methods in computer science : with aspects from topology
Published
Berlin ; New York : Springer-Verlag, c1989.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 393 (LC)
Format
Books
21.
Categorical methods in computer science : with aspects from topology
Published
Berlin ; New York : Springer-Verlag, c1989.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books
22.
Graph-grammars and their application to computer science : 3rd international workshop, Warrenton, Virginia, USA, December 2-6, 1986 : proceedings
Published
Berlin ; New York : Springer-Verlag, c1987.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 291 (LC)
Format
Books
23.
TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987
Author
International Joint Conference on Theory and Practice of Software Development (2nd : 1987 : Pisa, Italy)
Published
Berlin ; New York : Springer-Verlag, c1987.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 249 (LC)
Library Shelving Facility (LSF) >> QA76 A1 L43 250 (LC)
Format
Books
24.
TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987
Author
International Joint Conference on Theory and Practice of Software Development (2nd : 1987 : Pisa, Italy)
Published
Berlin ; New York : Springer-Verlag, c1987.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books
25.
Fundamentals of Algebraic Specification 1 Equations and Initial Semantics
Author
Ehrig, Hartmut
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 1985.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-3-642-69962-7
Location
Yale Internet Resource >> None
Format
Books / Online