Cover Image

Computability and Complexity Theory /

Show other versions (2)

The theory of computing provides computer science with concepts, models, and formalisms for reasoning about the resources needed to carry out computations and about the efficiency of the computations that use these resources. It provides tools to measure the difficulty of combinatorial problems both...

Full description

Bibliographic Details
Main Author:	Homer, S. (Steven)
Corporate Author:	SpringerLink (Online service)
Other Authors:	Selman, Alan L.
Format:	eBook
Language:	English
Published:	New York, NY : Springer New York, 2001.
Series:	Texts in computer science.
Subjects:	Computer science. Computer software. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Selected Writings on Computing: A personal Perspective /
by: Dijkstra, Edsger W.
Published: (1982)

Kolmogorov Complexity and Computational Complexity /
by: Watanabe, Osamu
Published: (1992)

Computability /
by: Weihrauch, Klaus
Published: (1987)

Introduction to Circuit Complexity : A Uniform Approach /
by: Vollmer, Heribert
Published: (1999)

Quantum Computing /
by: Hirvensalo, Mika
Published: (2004)

Data Structures and Algorithms 2 : Graph Algorithms and NP-Completeness /
by: Mehlhorn, Kurt
Published: (1984)

Parsing Theory : Volume I Languages and Parsing /
by: Sippu, Seppo
Published: (1988)

Radon and Projection Transform-Based Computer Vision : Algorithms, A Pipeline Architecture, and Industrial Applications /
by: Sanz, Jorge L. C.
Published: (1988)

Parallel Processing and Parallel Algorithms : Theory and Computation /
by: Roosta, Seyed H.
Published: (2000)

Restricted-Orientation Convexity /
by: Fink, Eugene
Published: (2004)

SWAT '88 : 1st Scandinavian Workshop on Algorithm Theory Halmstad, Sweden, July 5-8, 1988. Proceedings /
by: Karlsson, Rolf
Published: (1988)

Computable Analysis : an Introduction /
by: Weihrauch, Klaus
Published: (2000)

Exploring RANDOMNESS /
by: Chaitin, Gregory J.
Published: (2001)

The Book of L /
by: Rozenberg, G.
Published: (1986)

The Design and Analysis of Algorithms /
by: Kozen, Dexter C.
Published: (1992)

Models of Sharing Graphs : a Categorical Semantics of let and letrec /
by: Hasegawa, Masahito
Published: (1999)

A Programming Approach to Computability /
by: Kfoury, A. J.
Published: (1982)

Advances in Evolutionary Computing : Theory and Applications /
by: Ghosh, Ashish
Published: (2003)

Fundamentals of Computation Theory : International Conference FCT '87 Kazan, USSR, June 22-26, 1987. Proceedings /
by: Budach, L. (Lothar), 1935-
Published: (1987)

Complexity Theory Retrospective : In Honor of Juris Hartmanis on the Occasion of His Sixtieth Birthday, July 5, 1988 /
by: Selman, Alan L.
Published: (1990)

Lectures on the Complexity of Bilinear Problems /
by: Groote, Hans F. de
Published: (1987)

MuPAD Pro Computing Essentials /
by: Majewski, Miroslaw
Published: (2002)

MuPAD Pro Computing Essentials /
by: Majewski, Miroslaw
Published: (2004)

Computational Geometry and its Applications : CG '88 International Workshop on Computational Geometry Würzburg, FRG, March 24-25, 1988. Proceedings /
by: Noltemeier, Hartmut
Published: (1988)

Soft Computing : Integrating Evolutionary, Neural, and Fuzzy Systems /
by: Tettamanzi, Andrea
Published: (2001)

JSP for Practical Program Design /
by: Dudman, K. E.
Published: (1996)

A Structured Programming Approach to Data /
by: Coleman, Derek
Published: (1979)

Practical Use of Mathcad® : Solving Mathematical Problems with a Computer Algebra System /
by: Benker, Hans
Published: (1999)

Lattice Functions and Equations /
by: Rudeanu, Sergiu
Published: (2001)

Fast Algorithms for 3D-Graphics /
by: Glaeser, Georg
Published: (1994)

Formal Techniques in Real-Time and Fault-Tolerant Systems /
by: Vytopil, Jan
Published: (1993)

The Complexity Theory Companion /
by: Hemaspaandra, Lane A.
Published: (2002)

Advances in Computing and Information - ICCI '90 : International Conference on Computing and Information Niagara Falls, Canada, May 23-26, 1990. Proceedings /
by: Akl, Selim G.
Published: (1990)

Workload Characterization for Computer System Design /
by: John, Lizy Kurian
Published: (2000)

Data Structures and Algorithms 3 : Multi-dimensional Searching and Computational Geometry /
by: Mehlhorn, Kurt
Published: (1984)

STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science - Orsay, France, January 16-18, 1986 /
by: Monien, B.
Published: (1986)

Structural Complexity I /
by: Luis Balcázar, José
Published: (1995)

TeX Reference Manual /
by: Bausum, David
Published: (2002)

Computing and Combinatorics : 5th Annual International Conference, COCOON'99, Tokyo, Japan, July 26-28, 1999 : Proceedings /
Published: (1999)

Computer-Aided Reasoning : An Approach /
by: Kaufmann, Matt
Published: (2000)