Foundations of Probabilistic Programming
Editat de Gilles Barthe et al.
2 dec 2020
Hardback
Preț: 377.35 lei 471.68 lei
3-5 săpt. | 4-10 zile
-20%
Cărți de Alexandra Silva
Logic, Language, Information, and Computation: 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings
Editat de Alexandra Silva et al.
6 oct 2021
Paperback
Preț: 464.26 lei 546.19 lei
6-8 săpt.
-15%
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I
Editat de Alexandra Silva et al.
18 iul 2021
Paperback
Preț: 326.36 lei 407.96 lei
6-8 săpt.
-20%
Language, Logic, and Computation: 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers
Editat de Alexandra Silva et al.
4 iul 2019
Paperback
Preț: 326.62 lei 408.28 lei
6-8 săpt.
-20%
Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
Editat de Ahmed Bouajjani et al.
28 mai 2017
Paperback
Preț: 321.15 lei 401.45 lei
6-8 săpt.
-20%
Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
Editat de Robert L. Constable et al.
11 apr 2012
Paperback
Preț: 328.21 lei 410.27 lei
6-8 săpt.
-20%