言語
Devitt, Simon.
概観
| 著作: | 1 作品に 1 出版物中に 1 言語 | |
|---|---|---|
タイトル
Reversible computation[electronic resource] :8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016 : proceedings /
…で:
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.