Algorithmics for Hard Problems: Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics (Texts in Theoretical Computer Science. An EATCS Series)

An Introduction to Online Computation: Determinism, Randomization, Advice (Texts in Theoretical Computer...

Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series)

Complexity Theory and Cryptology: An Introduction to Cryptocomplexity (Texts in Theoretical Computer...

Introduction to Concurrency Theory: Transition Systems and CCS (Texts in Theoretical Computer...