語系
Ehrig, Hartmut.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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)
(書目-語言資料,印刷品)
Petri net technology for communication-based systems = advances in Petri nets /
by:
SpringerLink (Online service); Ehrig, Hartmut.
(書目-語言資料,印刷品)
Graph and Model Transformation = General Framework and Applications /
by:
Ehrig, Hartmut.; Golas, Ulrike.; Hermann, Frank.; Ermel, Claudia.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [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)
(書目-語言資料,印刷品)
Graph transformations = 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008 ; proceedings /
by:
SpringerLink (Online service); ICGT 2008 ((2008 :); Ehrig, Hartmut.
(書目-語言資料,印刷品)
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)
(書目-語言資料,印刷品)
Graph and model transformation = general framework and applications /
by:
Ehrig, Hartmut.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
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