语系
Devitt, Simon.
概要
| 作品: | 1 作品在 1 项出版品 1 种语言 | |
|---|---|---|
书目信息
Reversible computation[electronic resource] :8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016 : proceedings /
by:
Clark Conference ((2005 :); 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.