Catalog

Record Details

Catalog Search


Back To Results
Showing Item 708 of 859

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 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).

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

Electronic resources


Back To Results
Showing Item 708 of 859

Additional Resources