Languages
Cooper, S. Barry.
Overview
Works: | 1 works in 3 publications in 1 languages |
---|
Titles
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:)
(Electronic resources)
New Computational Paradigms = Changing Conceptions of What is Computable /
by:
Cooper, S. Barry.; Lowe, Benedikt.; Sorbi, Andrea.; SpringerLink (Online service)
(Electronic resources)
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.
(Electronic resources)
Subjects
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.