Hakutulokset: Kirjoja kirjailijalta Annabelle McIver
yhteensä 11 hakutulosta
Logic for Programming, Artificial Intelligence, and Reasoning
This book constitutes the proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-20, held in November 2015, in …
Logic for Programming, Artificial Intelligence, and Reasoning
This book constitutes the proceedings of the 20thInternational Conference on Logic for Programming, Artificial Intelligence, andReasoning, LPAR-20, held in November 2015, in Suva, …
The 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 …
Abstraction, Refinement and Proof for Probabilistic Systems
Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm . Presents results of a large and integrated body …
Quantitative Evaluation of Systems
This book constitutes the proceedings of the 15th International Conference on Quantitative Evaluation Systems, QEST 2018, held in Beijing, China, in September 2018. The 24 full …
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 …
Abstraction, Refinement and Proof for Probabilistic Systems
Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm . Presents results of a large and integrated body …
Abstraction, Refinement and Proof for Probabilistic Systems
Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm .Presents results of a large and integrated body of …
Formal Methods – The Next 30 Years
This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, …
Quantitative Evaluation of Systems
This book constitutes the proceedings of the 15th International Conference on Quantitative Evaluation Systems, QEST 2018, held in Beijing, China, in September 2018.The 24 full …
Formal Methods - The Next 30 Years
This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, …