Cărți de Annabelle McIver

The Science of Quantitative Information Flow

Information Security and Cryptography

Autor Mário S. Alvim et al.

23 sep 2020

Preț: 399^.50 lei 499^.38 lei

43-57 zile

-20%

Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11800

Editat de Maurice H. ter Beek et al.

15 sep 2019

Preț: 351^.16 lei 438^.95 lei

43-57 zile

-20%

Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11024

Editat de Annabelle McIver et al.

15 aug 2018

Preț: 333^.65 lei 417^.06 lei

43-57 zile

-20%

Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9450

Editat de Martin Davis et al.

3 dec 2015

Preț: 344^.34 lei 430^.42 lei

43-57 zile

-20%

Abstraction, Refinement and Proof for Probabilistic Systems

Monographs in Computer Science

Autor Annabelle McIver et al.

19 noi 2004

Preț: 980^.23 lei 1225^.29 lei

43-57 zile

-20%