Vorlesungen über Informatik: Band 4

Algebraic methodology and software technology

Visual information and information systems

Computer Aided Vertification

Mathematical Foundations of Computer Science 1997

Languages and Compilers for Parallel Computing

Vorlesungen über Informatik

Distributed Programming Paradigms with Cryptography Applications Lecture Notes in Computer Science

Anaphora in Natural Language Understanding

Constraints in computational logics

Information Security