Computability (Monographs in Theoretical Computer Science. An EATCS Series)

Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS

The Resolution Calculus (Texts in Theoretical Computer Science. An EATCS Series)

Computational Geometry in C (Cambridge Tracts in Theoretical Computer Science

Lecture Notes in Computer Science Ser.: Twenty Years of Theoretical and...

Computational Geometry in C (Cambridge Tracts in Theoretical Computer Science (P

Cambridge Tracts in Theoretical Computer Science Ser.: Information Flow : The...

Texts in Theoretical Computer Science. an Eatcs Ser.: Practical Theory of...