語系
Cooper, S. Barry.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Theory and applications of models of computation9th annual conference, TAMC 2012, Beijing, China, May 16-21, 2012 : proceedings /
by:
(1998 :); Agrawal, Manindra.; Cooper, S. Barry.; Li, Angsheng.; SpringerLink (Online service)
(書目-電子資源)
New Computational Paradigms :Changing Conceptions of What is Computable /
by:
Cooper, S. Barry.; Lowe, Benedikt.; Sorbi, Andrea.; SpringerLink (Online service)
(書目-電子資源)
How the world computesTuring Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings /
by:
(1998 :); Cooper, S. Barry.; Dawar, Anuj.; Lowe, Benedikt.; SpringerLink (Online service)
(書目-電子資源)
Theory and Applications of Models of ComputationThird International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings /
by:
(1998 :); Cai, Jin-Yi.; Cooper, S. Barry.; Li, Angsheng.; SpringerLink (Online service)
(書目-電子資源)
The incomputablejourneys beyond the Turing barrier /
by:
Cooper, S. Barry.; Soskova, Mariya I.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Foundations.
Philosophy.
Quantum Computing, Information and Physics.
Theory of Computation.
Computing Methodologies.
Data Structures, Cryptology and Information Theory.
Mathematical Logic and Formal Languages.
Unsolvability (Mathematical logic)
Bioinformatics.
Mathematics of Computing.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Computable functions.
Computational complexity
Computable functions
Computer science
Computer Science.
Math Applications in Computer Science.
Turing machines
Discrete Mathematics in Computer Science.
Symbolic and Algebraic Manipulation.