# The Leading eBooks Store Online

## 4,138,907 members ⚫ 1,351,551 ebooks

Most popular at the top

#### Theory of Computation

Wiley 2014; US$ 132.00 US$ 118.80Learn the skills and acquire the intuition to assess the theoretical limitations of computer programming Offering an accessible approach to the topic, Theory of Computation focuses on the metatheory of computing and the theoretical boundaries between what various computational models can do and not do—from the most general model, the URM... more...

#### Computation and Logic in the Real World

Springer Berlin Heidelberg 2007; US$ 134.58This book constitutes the refereed proceedings of the Third International Conference on Computability in Europe, CiE 2007, held in Sienna, Italy, in June 2007. The 50 revised full papers presented together with 36 invited papers were carefully reviewed and selected from 167 submissions. more...

#### New Computational Paradigms

Springer New York 2007; US$ 183.52This superb exposition of a complex subject examines new developments in the theory and practice of computation from a mathematical perspective. It covers topics ranging from classical computability to complexity, from biocomputing to quantum computing. more...

#### Computable Models

Springer London 2009; US$ 82.25Computational models can be found everywhere in present day science and engineering. In providing a logical framework and foundation for the specification and design of specification languages, the author uses this framework to study computable models. more...

#### Provability, Computability and Reflection

Elsevier Science 2000; US$ 275.00Provability, Computability and Reflection more...