The Science of Quantitative Information Flow
Autor Mário S. Alvim et al.
23 sep 2020
Hardback
Preț: 394.74 lei 493.42 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ț: 346.97 lei 433.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ț: 329.66 lei 412.07 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ț: 340.22 lei 425.27 lei
6-8 săpt.
-20%
Abstraction, Refinement and Proof for Probabilistic Systems
Autor Annabelle McIver et al.
19 noi 2004
Hardback
Preț: 968.43 lei 1210.53 lei
6-8 săpt.
-20%