Search:

Type:

Format:

Library:

How the World Computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings Cover Image

E-book

E-book

How the World Computes [electronic resource] : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings / edited by S. Barry Cooper, Anuj Dawar, Benedikt Löwe.

Cooper, S. Barry. (editor.). Dawar, Anuj. (editor.). Löwe, Benedikt. (editor.). SpringerLink (Online service) (Added Author).

Record details

ISBN: 9783642308703
Physical Description: XVIII, 756p. 42 illus. online resource.
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Search for related items by subject

Subject:

Computer science.
Computer software.
Computational complexity.
Algebra > Data processing.
Logic, Symbolic and mathematical.
Computer Science.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Discrete Mathematics in Computer Science.
Symbolic and Algebraic Manipulation.
Mathematical Logic and Foundations.

Search for related items by series

Add to basket Print Email Permalink Disable Highlighting

Electronic resources

► Awards, Reviews, & Suggested Reads

► Shelf Browser

► MARC Record