語系
Nagl, Manfred.
概要
作品: | 3 作品在 1 項出版品 1 種語言 |
---|
書目資訊
Applications of graph transformations with industrial relevanceInternational Workshop, AGTIVE'99, Kerkrade, The Netherlands, September 1-3, 1999 : proceedings /
by:
(1998 :); Munch, Manfred.; Nagl, Manfred.; Schurr, Andreas.; SpringerLink (Online service)
(書目-電子資源)
Graph-theoretic concepts in computer science22nd International Workshop, WG '96, Cadenabbia, Italy, June 12-14, 1996 : proceedings /
by:
(1998 :); D'Amore, Fabrizio.; Franciosa, Paolo G.; Marchetti-Spaccamela, Alberto.; Nagl, Manfred.; SpringerLink (Online service)
(書目-電子資源)
Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process SupportResults of the IMPROVE Project /
by:
Marquardt, Wolfgang.; Nagl, Manfred.; SpringerLink (Online service)
(書目-電子資源)
Applications of graph transformations with industrial relevancethird International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007 : revised selected and invited papers /
by:
(1998 :); Nagl, Manfred.; Schurr, Andy.; SpringerLink (Online service); Zundorf, Albert.
(書目-電子資源)
主題
Rewriting systems (Computer science)
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Computer algorithms
Logics and Meanings of Programs.
Industrial Chemistry/Chemical Engineering.
Data Structures.
Algorithm Analysis and Problem Complexity.
Chemical processes
Special Purpose and Application-Based Systems.
Computer-Aided Engineering (CAD, CAD) and Design.
Computer science
Chemical engineering
Computer Science.
Simulation and Modeling.
Graph theory
Discrete Mathematics in Computer Science.
Computer Applications in Chemistry.