The Leading eBooks Store Online
for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, Sony Reader...
Elementary induction on abstract structures
Elsevier Science 2000; US$ 250.00Provability, Computability and Reflection more...
Pyramid Algorithms
Elsevier Science 2002; US$ 130.95Pyramid Algorithms presents a unique approach to understanding, analyzing, and computing the most common polynomial and spline curve and surface schemes used in computer-aided geometric design, employing a dynamic programming method based on recursive pyramids. The recursive pyramid approach offers the distinct advantage of revealing the entire... more...
Recursion Theory, its Generalisations and Applications
Cambridge University Press 1980; US$ 98.00This book is a collection of advanced research/survey papers by eminent research workers in the Recursion theory. more...
Recursive Functionals
Elsevier Science 1992; US$ 129.50This work is a self-contained elementary exposition of the theory of recursive functionals, that also includes a number of advanced results. Although aiming basically at a theory of higher order computability, attention is restricted to second order functionals, where the arguments are numerical functions and the values, when defined, are natural numbers.... more...
Super-Recursive Algorithms
Springer 2006; US$ 64.99Provides an examination of the theory of super-recursive algorithms and its ramifications for the computer industry, networks, artificial intelligence, embedded systems, and the Internet. This book demonstrates how these algorithms are more appropriate as mathematical models for modern computers. more...
- 1
- Page




