Computer Performance Engineering: 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings
Editat de Rena Bakhshi et al.
3 oct 2018
Paperback
Preț: 319.13 lei 398.90 lei
6-8 săpt.
-20%
Programming and Software Engineering
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Editat de Simon Collart-Dutilleul et al.
24 apr 2019
Paperback
Preț: 376.87 lei 471.08 lei
6-8 săpt.
-20%
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ț: 343.53 lei 429.41 lei
6-8 săpt.
-20%
Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
Editat de Wolfgang Ahrendt et al.
15 noi 2019
Paperback
Preț: 332.92 lei 416.15 lei
6-8 săpt.
-20%
NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings
Editat de Ritchie Lee et al.
9 aug 2020
Paperback
Preț: 464.56 lei 580.70 lei
6-8 săpt.
-20%
Performance Evaluation and Benchmarking for the Era of Cloud(s): 11th TPC Technology Conference, TPCTC 2019, Los Angeles, CA, USA, August 26, 2019, Revised Selected Papers
Editat de Raghunath Nambiar et al.
30 iul 2020
Paperback
Preț: 314.22 lei 392.77 lei
6-8 săpt.
-20%