語系
Devitt, Simon.
概要
| 作品: | 2 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Reversible computation = 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Lanese, Ivan.; Devitt, Simon.
(書目-語言資料,印刷品)
Reversible Computation = 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings /
by:
Devitt, Simon.; SpringerLink (Online service); Lanese, Ivan.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Computer logic
Computer logic.
Algorithm Analysis and Problem Complexity.
Quantum Computing.
Computer science.
Logic design.
Computers.
Logic Design.
Programming languages (Electronic computers)
Reversible computing
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Algorithms.
Quantum computers.
Logics and Meanings of Programs.
Computation by Abstract Devices.