Yazar: Mario S. Alvim

Destek

2 Ebooks tarafından Mario S. Alvim

Mario S. Alvim & Kostas Chatzikokolakis: Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy
??This Festschrift was published in honor of Catuscia Palamidessi on the occasion of her 60th birthday.It features 6 laudations, which are available in the front matter of the volume, and 25 papers b …
EPUB
İngilizce
DRM
€58.12
Mario S. Alvim & Konstantinos Chatzikokolakis: Science of Quantitative Information Flow
This book presents a comprehensive mathematical theory that explains precisely what information flow is, how it can be assessed quantitatively – so bringing precise meaning to the intuition that cert …
PDF
İngilizce
DRM
€70.40