Horizons of the Mind. A Tribute to Prakash Panangaden

This Festschrift volume contains papers present...

Automata, Languages and Programming

The 32nd International Colloquium on Automata, ...

Trustworthy Global Computing

This book constitutes the thoroughly refereed p...

SOFSEM 2009: Theory and Practice of Computer Science

This book constitutes the refereed proceedings ...

Theory of Security and Applications

This book constitutes the thoroughly refereed p...

Formal Techniques for Distributed Objects, Components, and Systems

This book constitutes the proceedings of the 34...

The Science of Quantitative Information Flow

This book presents a comprehensive mathematical...

Logic Programming

CONCUR 2000 - Concurrency Theory

This volume contains the proceedings of the 11t...

Computational Logic - CL 2000

These are the proceedings of the First Internat...

Computational Logic ¿ CL 2000

These are the proceedings of the First Internat...

Automata, Languages and Programming

The 32nd International Colloquium on Automata, ...