Logo

Models of Computation: Exploring the Power of Computing

Large book cover: Models of Computation: Exploring the Power of Computing

Models of Computation: Exploring the Power of Computing
by

Publisher: Addison-Wesley
ISBN/ASIN: 0201895390
ISBN-13: 9780201895391
Number of pages: 698

Description:
John Savage re-examines theoretical computer science, offering a fresh approach that gives priority to resource tradeoffs and complexity classifications over the structure of machines and their relationships to languages. This viewpoint reflects a pedagogy motivated by the growing importance of computational models that are more realistic than the abstract ones studied in the 1950s, '60s and early '70s.

Home page url

Download or read it online for free here:
Download link
(4.3MB, PDF)

Similar books

Book cover: Applicative Computing: Its quarks, atoms and moleculesApplicative Computing: Its quarks, atoms and molecules
by - JurInfoR
This work covers the advanced topics in main ideas of computing in general. Material is especially useful for the instructor, postgraduate and graduate students of IT-specialties and is suitable for the system of training of specialists.
(6745 views)
Book cover: Bayesian Computational MethodsBayesian Computational Methods
by - arXiv
We will first present the most standard computational challenges met in Bayesian Statistics, focusing primarily on mixture estimation and on model choice issues, and then relate these problems with computational solutions.
(4345 views)
Book cover: Cellular Automata And Complexity: Collected PapersCellular Automata And Complexity: Collected Papers
by - Westview Press
These original papers on cellular automata and complexity provide a highly readable account of what has become a major new field of science, with important implications for computer science, physics, economics, biology, and many other areas.
(8030 views)
Book cover: Rule-based Computation and DeductionRule-based Computation and Deduction
by - ESSLLI
This text first introduces the concept of rewriting which is behind rule-based systems. Then the rewriting logic and the rewriting calculus are defined and shown to be especially suited to describing concurrent and non-deterministic computations.
(4254 views)