Im November 2002 hat Judith Butler mit überwältigendem Erfolg die Adorno-Vorlesungen an der Unive...

This book constitutes the refereed proceedings of the 17th International Symposium on Formal Meth...

.successfully achieves its stated aim of being an introductory text for students and newly-qualif...

This book constitutes the refereed proceedings of the 17th International Conference on Formal...

The growing complexity of modern software systems increases the di?culty of ensuring the overall ...

Many software systems have reached a level of complication, mainly because of their size, heterog...

This bookconstitutes the refereed proceedings of the 5th International Conference on Abstract...

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

This book constitutes the refereed proceedings of the 6th International Conference on Abstract St...