語系
Devitt, Simon.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Reversible computation8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016 : proceedings /
by:
(1998 :); Devitt, Simon.; Lanese, Ivan.; SpringerLink (Online service)
(書目-電子資源)
主題
Computer logic.
Quantum computers.
Logics and Meanings of Programs.
Computers.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Computer logic
Logic design.
Programming languages (Electronic computers)
Algorithms.
Programming Languages, Compilers, Interpreters.
Reversible computing
Computer science.