The Science of Quantitative Information Flow
Autor Mário S. Alvim et al.
23 sep 2020
Hardback
Preț: 384.70 lei 480.87 lei
6-8 săpt.
-20%
Cărți de Annabelle McIver
Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Editat de Maurice H. ter Beek et al.
15 sep 2019
Paperback
Preț: 338.16 lei 422.71 lei
6-8 săpt.
-20%
Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings
Editat de Annabelle McIver et al.
15 aug 2018
Paperback
Preț: 321.53 lei 401.91 lei
6-8 săpt.
-20%
Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
Editat de Martin Davis et al.
3 dec 2015
Paperback
Preț: 331.59 lei 414.49 lei
6-8 săpt.
-20%
Abstraction, Refinement and Proof for Probabilistic Systems
Autor Annabelle McIver et al.
19 noi 2004
Hardback
Preț: 944.32 lei 1180.40 lei
6-8 săpt.
-20%