Complexity Theory and Cryptology: An Introduction to Cryptocomplexity (Texts in Theoretical Computer Science. EATCS Series)

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

Introduction to Circuit Complexity: A Uniform Approach (Texts in Theoretical Computer Science....

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

Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)