Related Books

The Science of Quantitative Information Flow
Language: en
Pages: 478
Authors: Mário S. Alvim
Categories: Computers
Type: BOOK - Published: 2020-09-23 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book presents a comprehensive mathematical theory that explains precisely what information flow is, how it can be assessed quantitatively – so bringing p
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy
Language: en
Pages: 485
Authors: Mário S. Alvim
Categories: Computers
Type: BOOK - Published: 2019-11-04 - Publisher: Springer Nature

DOWNLOAD EBOOK

​​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
Quantitative Evaluation of Systems
Language: en
Pages: 406
Authors: Erika Ábrahám
Categories: Computers
Type: BOOK - Published: 2022-09-10 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the proceedings of the 19th International Conference on Quantitative Evaluation Systems, QEST 2022, held in Warsaw, Poland, in September 2
Quantitative Methods in Reservoir Engineering
Language: en
Pages: 706
Authors: Wilson C. Chin, PhD
Categories: Technology & Engineering
Type: BOOK - Published: 2016-10-01 - Publisher: Gulf Professional Publishing

DOWNLOAD EBOOK

Quantitative Methods in Reservoir Engineering, Second Edition, brings together the critical aspects of the industry to create more accurate models and better fi
Verification, Model Checking, and Abstract Interpretation
Language: en
Pages: 540
Authors: Isil Dillig
Categories: Computers
Type: BOOK - Published: 2018-01-03 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 19th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2018, he