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

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

Texts in Theoretical Computer Science. an Eatcs Ser.: Modelling Distributed...

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

Elements of Finite Model Theory [Texts in Theoretical Computer Science. An EATCS

Texts in Theoretical Computer Science. an Eatcs Ser.: Dissemination of...

DNA Computing: New Computing Paradigms (Texts in Theoretical Computer Science.,

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