Catalog

Record Details

Catalog Search


Search Results Showing Item 46 of 121

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

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

Electronic resources

Record details

  • ISBN: 9783642308703
  • Physical Description: electronic
    electronic resource
    access
    remote
    XVIII, 756p. 42 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
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 Results Showing Item 46 of 121

Additional Resources