語系
Cooper, S. Barry.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
How the world computes = Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings /
by:
Cooper, S. Barry.; Dawar, Anuj.; Lowe, Benedikt.; SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:)
(書目-電子資源)
New Computational Paradigms = Changing Conceptions of What is Computable /
by:
Cooper, S. Barry.; Lowe, Benedikt.; Sorbi, Andrea.; SpringerLink (Online service)
(書目-電子資源)
Theory and applications of models of computation = 9th annual conference, TAMC 2012, Beijing, China, May 16-21, 2012 : proceedings /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service); Cooper, S. Barry.; Agrawal, Manindra.; Li, Angsheng.
(書目-電子資源)
主題
Computable functions
Algorithm Analysis and Problem Complexity.
Math Applications in Computer Science.
Data Structures, Cryptology and Information Theory.
Symbolic and Algebraic Manipulation.
Turing machines
Computer science- Mathematics
Theory of Computation.
Computational complexity
Mathematics of Computing.
Discrete Mathematics in Computer Science.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Computable functions.
Computation by Abstract Devices.
Quantum Computing, Information and Physics.
Philosophy.