The present volume contains the proceedings of the 5th International Workshop on Formal Aspects i...

This volume presents a collection of courses introducing the reader to the recent progress with a...

This book constitutes the refereed proceedings of the 32nd IFIP TC 11 International Conference on...

This book constitutes the refereed proceedings of the 17th European Symposium on Computer Securit...

This book constitutes the refereed proceedings of the 7th IFIP WG 11.11 International Conference ...

This volume constitutes the proceedings of the 4th International Conference on Trust Management, ...

This book constitutes the revised selected papers of the 10th International Workshop on Data Priv...

This book constitutes the refereed proceedings of the 12th International Conference on Informatio...

This book constitutes the thoroughly refereed post-proceedings of the Third International Worksho...

Most probability problems involve random variables indexed by space and or time. These problems a...

This book constitutes the thoroughly refereed post-proceedings of the Fourth International Worksh...