語系
Vos, Alexis de.
概要
作品: | 1 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Reversible computation = third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011 : revised papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Vos, Alexis de.; Wille, Robert.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Software Engineering.
Computer logic
Thermodynamics.
Algorithm Analysis and Problem Complexity.
Computer Communication Networks.
Solar energy.
Direct energy conversion.
Software engineering
Computer Science.
Programming Languages, Compilers, Interpreters.
Computer science
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.