Languages
Ehrig, Hartmut.
Overview
Works: | 1 works in 2 publications in 1 languages |
---|
Titles
Graph transformations = second international conference, ICGT 2004, Rome, Italy, September 28-October 2, 2004 : proceedings /
by:
Ehrig, Hartmut.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service)
(Language materials, printed)
Petri net technology for communication-based systems = advances in Petri nets /
by:
SpringerLink (Online service); Ehrig, Hartmut.
(Language materials, printed)
Graph and Model Transformation = General Framework and Applications /
by:
Ehrig, Hartmut.; Golas, Ulrike.; Hermann, Frank.; Ermel, Claudia.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Integration of software specification techniques for applications in engineering = Priority Program SoftSpez of the German Research Foundation (DFG) : final report /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Ehrig, Hartmut.; SpringerLink (Online service)
(Language materials, printed)
Graph transformations = 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008 ; proceedings /
by:
SpringerLink (Online service); ICGT 2008 ((2008 :); Ehrig, Hartmut.
(Language materials, printed)
Graph transformations = 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Ehrig, Hartmut.; SpringerLink (Online service)
(Language materials, printed)
Graph and model transformation = general framework and applications /
by:
Ehrig, Hartmut.; SpringerLink (Online service)
(Language materials, printed)
Subjects
Software engineering.
Theory of Computation.
Category theory (Mathematics).
Petri nets.
Computer science
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Transformations (Mathematics)
Graph theory.
Homological algebra.
Computers.
Computer networks.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Algorithm Analysis and Problem Complexity.
Data Structures.
Computer Science.
Graph theory
Discrete Mathematics in Computer Science.
Category Theory, Homological Algebra.
Graph grammars
Computation by Abstract Devices.
Computer software