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

Reihe Texts in Theoretical Computer Science. An EATCS Series

Buchcover Algorithmics for Hard Problems

Algorithmics for Hard Problems

Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics

Juraj Hromkovič

Springer Berlin

Buchcover Algorithmics for Hard Problems

Algorithmics for Hard Problems

Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics

Juraj Hromkovič

Springer Berlin

Buchcover DNA Computing

New Computing Paradigms

Springer Berlin

Buchcover Communication Complexity and Parallel Computing

Communication Complexity and Parallel Computing

Juraj Hromkovič

Springer Berlin

Buchcover Introduction to Process Algebra

Introduction to Process Algebra

Springer Berlin

Buchcover Verification of Reactive Systems

Verification of Reactive Systems

Formal Methods and Algorithms

Klaus Schneider

Springer Berlin

Buchcover Extremal Combinatorics

Extremal Combinatorics

With Applications in Computer Science

Springer Berlin

Buchcover Boolean Functions and Computation Models

Boolean Functions and Computation Models

Springer Berlin

Buchcover Information and Randomness

Information and Randomness

An Algorithmic Perspective

Cristian S. Calude

Springer Berlin

Buchcover Elements of Finite Model Theory

Elements of Finite Model Theory

Springer Berlin

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