This book constitutes the refereed proceedings of the 13th International Conference of the Italia...

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International ...

This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop...

This book constitutes the refereed proceedings of the 19th International Conference on Principles...

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International ...

This book constitutes revised, selected, and invited papers from the 4th International Workshop o...

instance, modal and epistemic logics, model checking, constraint logic programming, and distribut...

This volume constitutes the revised selected papers of the 6th International Workshop, DALT 2008,...

This book constitutes the refereed proceedings of the Third International Workshop on Engineering...

This book constitutes the refereed proceedings of the 22nd International Conference on Principles...

This book constitutes the refereed post proceedings of the XIXth International Conference of the ...

This book constitutes revised selected papers from the 9th International Workshop on Engineering ...