Book titles in this series

Computable Analysis

An Introduction

Authors:

• Klaus Weihrauch

• Copyright: 2000

Available Renditions

• Hard cover
• Soft cover
• eBook

Parsing Schemata

A Framework for Specification and Analysis of Parsing Algorithms

Authors:

• Klaas Sikkel

• Copyright: 1997

Available Renditions

• Hard cover
• Soft cover
• eBook

Introduction to Circuit Complexity

A Uniform Approach

Authors:

• Heribert Vollmer

• Copyright: 1999

Available Renditions

• Hard cover
• Soft cover
• eBook

Public-Key Cryptography

Authors:

• Arto Salomaa

• Copyright: 1996

Available Renditions

• Hard cover
• Soft cover
• eBook

Algorithmics for Hard Problems

Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics

Authors:

• Juraj Hromkovič

• Copyright: 2001

Available Renditions

• Hard cover
• eBook

Algorithmics for Hard Problems

Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics

Authors:

• Juraj Hromkovič

• Copyright: 2004

Available Renditions

• Hard cover
• Soft cover
• eBook

Interactive Theorem Proving and Program Development

Coq’Art: The Calculus of Inductive Constructions

Authors:

• Yves Bertot
• Pierre Castéran

• Copyright: 2004

Available Renditions

• Hard cover
• Soft cover
• eBook

The Complexity Theory Companion

Authors:

• Lane A. Hemaspaandra
• Mitsunori Ogihara

• Copyright: 2002

Available Renditions

• Hard cover
• Soft cover
• eBook

Boolean Functions and Computation Models

Authors:

• Peter Clote
• Evangelos Kranakis

• Copyright: 2002

Available Renditions

• Hard cover
• Soft cover
• eBook

Communication Complexity and Parallel Computing

Authors:

• Juraj Hromkovič

• Copyright: 1997

Available Renditions

• Hard cover
• Soft cover
• eBook