語系
Ehrig, Hartmut.
概要
作品: | 3 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Graph and model transformation = general framework and applications /
by:
Ehrig, Hartmut.; SpringerLink (Online service)
(書目-電子資源)
Unifying Petri nets = advances in Petri nets /
by:
Ehrig, Hartmut.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Petri net technology for communication-based systems = advances in Petri nets /
by:
Ehrig, Hartmut.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Integration of software specification techniques for applications in engineering = Priority Program SoftSpez of the German Research Foundation (DFG) : final report /
by:
Ehrig, Hartmut.; Deutsche Forschungsgemeinschaft.; NetLibrary, Inc.; INT 2004 ((2004 :)
(書目-語言資料,印刷品)
Theory and application of graph transformations = 6th international workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998 : selected papers /
by:
Ehrig, Hartmut.; SpringerLink (Online service); International Workshop on Theory and Applications of GraphTransformation (1998 :)
(書目-語言資料,印刷品)
Graph transformations = 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012 : proceedings /
by:
Ehrig, Hartmut.; SpringerLink (Online service)
(書目-電子資源)
Integration of software specification techniques for applications in engineering = Priority Program SoftSpez of the German Research Foundation (DFG) : final report /
by:
SpringerLink (Online service); INT 2004 ((2004 :); Ehrig, Hartmut.
(書目-電子資源)
Graph transformations = second international conference, ICGT 2004, Rome, Italy, September 28-October 2, 2004 : proceedings /
by:
Ehrig, Hartmut.; SpringerLink (Online service); ICGT 2004 ((2004 :)
(書目-語言資料,印刷品)
Graph transformations = 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008 ; proceedings /
by:
Ehrig, Hartmut.; SpringerLink (Online service); ICGT 2008 ((2008 :)
(書目-語言資料,印刷品)
Graph transformations = 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27 - October 2, 2010, proceedings /
by:
Ehrig, Hartmut.; SpringerLink (Online service)
(書目-語言資料,印刷品)
更多
較少的
主題
Data structures (Computer science)
Software Engineering.
Mathematical Logic and Formal Languages.
Graph theory.
Theory of Computation.
Algebra.
Production engineering- Technological innovations- Germany.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Data Structures.
Computer software- Development- Germany.
Petri nets.
Computer software- Development.- Germany
Traffic engineering- Technological innovations- Germany.
Category Theory, Homological Algebra.
Computer software- Specifications- Germany.
Computer science
Computer Science.
Discrete Mathematics in Computer Science.
Computer networks.
Graph theory- Data processing
Transformations (Mathematics)
Graph grammars