語系
Heckel, Reiko.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Algebra and coalgebra in computer science = 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013 : proceedings /
by:
Milius, Stefan.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Heckel, Reiko.
(書目-語言資料,印刷品)
Graph Transformation, Specifications, and Nets = In Memory of Hartmut Ehrig /
by:
SpringerLink (Online service); Taentzer, Gabriele.; Heckel, Reiko.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Web services and formal methods = 4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 ; proceedings /
by:
Heckel, Reiko.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Dumas, Marlon.
(書目-語言資料,印刷品)
Graph Transformation for Software Engineers = With Applications to Model-Based Development and Domain-Specific Language Engineering /
by:
SpringerLink (Online service); Taentzer, Gabriele.; Heckel, Reiko.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
主題
Software Engineering.
Formal methods (Computer science)
Algebra
Algorithm Analysis and Problem Complexity.
Computer Communication Networks.
Symbolic and Algebraic Manipulation.
Web services
System Performance and Evaluation.
Software engineering.
Theory of Computation.
Computer Science.
Computer programming.
Programming Techniques.
Logics and Meanings of Programs.
Computer science
Algorithms.
Management of Computing and Information Systems.
Computer graphics.
Quantum Computing.
Computer Graphics.
Computers.
Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.