This tutorial presents a collection of research papers on themes discussed at the Lipari Summer S...

Endlich liegt der ,,Klassiker' der Theoretischen Informatik, der Studenten und Forschern ein unen...

This book constitutes the refereed proceedings of the 10th International Workshop on Abstract Sta...

This book uses a variety of applications to illustrate a modeling method that helps practitioners...

This book provides a high-level description, together with a mathematical and an experimental ana...

This book constitutes the refereed proceedings of the First International Conference of Abstract ...

This state-of-the-art survey gives a systematic presentation of recent advances in the design and...

Structures of Computing explains the behavioral meaning of fundamental concepts of computing from...

This volume contains the papers which were presented at the second workshop 'Computer Science Log...