Texts in Theoretical Computer Science. an EATCS Ser.: Universal Artificial...

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

The Design and Analysis of Algorithms (Monographs in Computer Science) HC VG

The Logic of Partial Information - Monographs in Theoretical Computer Science

International Series Of Monographs In Pure And Applied Mathematics Algebraic...

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

Universal Algebra and Applications in Theoretical Computer Science

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