Mathematical theory of computation
Edmonds Jeff:
How To Think About Lgorithms
Cambridge University Press (United Kingdom), 2008
Paperback, 472 pages
Skiena Steve S.:
The Algorithm Design Manual
2 Rev Ed
Springer London Ltd (United Kingdom), 2008
Hardback, 752 pages
Edmonds Jeff:
How To Think About Algorithms
Loop Invariants And Recursion
Cambridge University Press (United Kingdom), 2008
Hardback, 472 pages
Nakahara Mikio, Salomaa M.:
Quantum Computing
From Linear Algebra To Physical Realizations
Taylor & Francis Ltd (United Kingdom), 2008
Hardback, 440 pages
Spivey J.M.:
Understanding Z
A Specification Language And Its Formal Semantics
Cambridge University Press (United Kingdom), 2008
Paperback, 139 pages
Hennessy Matthew:
A Distributed Pi-Calculus
Cambridge University Press (United Kingdom), 2007
Hardback, 278 pages
Somersalo Erkki, Calvetti D.:
An Introduction To Bayesian Scientific Computing
Ten Lectures On Subjective Computing
Springer-Verlag New York Inc. (United States), 2007
Paperback, 216 pages
Narasimhan Giri, Smid Michiel:
Geometric Spanner Networks
Cambridge University Press (United States), 2007
Hardback, 516 pages








