Catalog

Record Details

Catalog Search



Models of Computation in Context [electronic resource] : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings / edited by Benedikt Löwe, Dag Normann, Ivan Soskov, Alexandra Soskova.

Löwe, Benedikt. (editor.). Normann, Dag. (editor.). Soskov, Ivan. (editor.). Soskova, Alexandra. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9783642218750
  • Physical Description: XIII, 319p. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
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.

Additional Resources