語系
Corradini, Andrea.
概要
| 作品: | 2 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Algebra and coalgebra in computer science = 4th international conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011 : proceedings /
by:
Klin, Bartek.; Workshop on the Preservation of Stability under Discretization ((2001 :); CIrstea, Corina.; Corradini, Andrea.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Recent trends in algebraic development techniques = 19th international workshop, WADT 2008, Pisa, Italy, June 13-16, 2008 : revised selected papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Corradini, Andrea.; Montanari, Ugo.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Algebra
Symbolic and Algebraic Manipulation.
Theory of Computation.
Mathematics of Computing.
Discrete Mathematics in Computer Science.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Computer science
Models and Principles.
Computation by Abstract Devices.
Computer software