Languages
Vos, Alexis de.
Overview
Works: | 1 works in 2 publications in 1 languages |
---|
Titles
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)
(Language materials, printed)
Subjects
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.