ICCBS Libraries
WELCOME TO THE ICCBS LIBRARIES CATALOG

Models of Computation in Context

Löwe, Benedikt.

Models of Computation in Context 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. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan

9783642218750


Computer science.; Computer software.; Computational complexity.; Algebra; 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.