Ehrig, Hartmut.
Overview
Works: | 1 works in 2 publications in 1 languages |
---|
Titles
Graph transformations6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012 : proceedings /
by:
(1998 :); Ehrig, Hartmut.; SpringerLink (Online service)
(Electronic resources)
Graph transformations5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27 - October 2, 2010, proceedings /
by:
(1998 :); Ehrig, Hartmut.; SpringerLink (Online service)
(Electronic resources)
Integration of software specification techniques for applications in engineeringPriority Program SoftSpez of the German Research Foundation (DFG) : final report /
by:
(1998 :); Ehrig, Hartmut.; SpringerLink (Online service)
(Electronic resources)
Unifying Petri netsadvances in Petri nets /
by:
Ehrig, Hartmut.; SpringerLink (Online service)
(Electronic resources)
Petri net technology for communication-based systemsadvances in Petri nets /
by:
Ehrig, Hartmut.; SpringerLink (Online service)
(Electronic resources)
Graph transformations4th international conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008 ; proceedings /
by:
(1998 :); Ehrig, Hartmut.; SpringerLink (Online service)
(Language materials, printed)
Theory and application of graph transformations6th international workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998 : selected papers /
by:
(1998 :); Ehrig, Hartmut.; SpringerLink (Online service)
(Electronic resources)
Graph and model transformationgeneral framework and applications /
by:
Ehrig, Hartmut.; SpringerLink (Online service)
(Electronic resources)
Graph transformationssecond international conference, ICGT 2004, Rome, Italy, September 28-October 2, 2004 : proceedings /
by:
(1998 :); Ehrig, Hartmut.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Graph theory.
Theory of Computation.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Data Structures.
Computer software
Computer Science
Petri nets.
Software Engineering/Programming and Operating Systems
Programming Languages, Compilers, Interpreters
Category Theory, Homological Algebra.
Computer science
Computer Science.
Discrete Mathematics in Computer Science.
Computer networks.
Graph theory
Transformations (Mathematics)
Software Engineering
Graph grammars