Ehrig, Hartmut.
概要
作品: | 1 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Graph transformations6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012 : proceedings /
by:
(1998 :); Ehrig, Hartmut.; SpringerLink (Online service)
(書目-電子資源)
Graph transformations5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27 - October 2, 2010, proceedings /
by:
(1998 :); Ehrig, Hartmut.; SpringerLink (Online service)
(書目-電子資源)
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)
(書目-電子資源)
Unifying Petri netsadvances in Petri nets /
by:
Ehrig, Hartmut.; SpringerLink (Online service)
(書目-電子資源)
Petri net technology for communication-based systemsadvances in Petri nets /
by:
Ehrig, Hartmut.; SpringerLink (Online service)
(書目-電子資源)
Graph transformations4th international conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008 ; proceedings /
by:
(1998 :); Ehrig, Hartmut.; SpringerLink (Online service)
(書目-語言資料,印刷品)
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)
(書目-電子資源)
Graph and model transformationgeneral framework and applications /
by:
Ehrig, Hartmut.; SpringerLink (Online service)
(書目-電子資源)
Graph transformationssecond international conference, ICGT 2004, Rome, Italy, September 28-October 2, 2004 : proceedings /
by:
(1998 :); Ehrig, Hartmut.; SpringerLink (Online service)
(書目-電子資源)
主題
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