語系
Corradini, Andrea.
概要
| 作品: | 0 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Algebra and coalgebra in computer science4th international conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011 : proceedings /
by:
(1998 :); CIrstea, Corina.; Corradini, Andrea.; Klin, Bartek.; SpringerLink (Online service)
(書目-電子資源)
Graph transformationsfirst international conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002 : proceedings /
by:
(1998 :); Corradini, Andrea.; SpringerLink (Online service)
(書目-電子資源)
Recent trends in algebraic development techniques19th international workshop, WADT 2008, Pisa, Italy, June 13-16, 2008 : revised selected papers /
by:
(1998 :); Corradini, Andrea.; Montanari, Ugo.; SpringerLink (Online service)
(書目-電子資源)
Graph TransformationsThird International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings /
by:
(1998 :); Corradini, Andrea.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Foundations.
Theory of Computation.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Mathematics of Computing.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Data Structures.
Computer software
Algebra
Models and Principles.
Computer science
Discrete Mathematics in Computer Science.
Computer Science.
Graph grammars
Symbolic and Algebraic Manipulation.