Buchportal für Bücher die eine ISBN tragen.

Reihe Texts in Theoretical Computer Science. An EATCS Series

Buchcover The Resolution Calculus

The Resolution Calculus

Alexander Leitsch

Springer Berlin

Buchcover Extremal Combinatorics

Extremal Combinatorics

With Applications in Computer Science

Springer Berlin

Buchcover Extremal Combinatorics

Extremal Combinatorics

With Applications in Computer Science

Springer Berlin

Buchcover Interactive Theorem Proving and Program Development

Interactive Theorem Proving and Program Development

Coq’Art: The Calculus of Inductive Constructions

Springer Berlin

Buchcover Communication Complexity and Parallel Computing

Communication Complexity and Parallel Computing

Juraj Hromkovič

Springer Berlin

Buchcover Information and Randomness

Information and Randomness

An Algorithmic Perspective

Cristian S. Calude

Springer Berlin

Buchcover The Complexity Theory Companion

The Complexity Theory Companion

Lane A. Hemaspaandra

Springer Berlin

Buchcover Algorithmics for Hard Problems

Algorithmics for Hard Problems

Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics

Juraj Hromkovič

Springer Berlin

Buchcover Verification of Reactive Systems

Verification of Reactive Systems

Formal Methods and Algorithms

Klaus Schneider

Springer Berlin

Buchcover Introduction to Circuit Complexity

Introduction to Circuit Complexity

A Uniform Approach

Heribert Vollmer

Springer Berlin

130 Treffer 1 2 3 4 5 6 7 8 9 ...