Numerical Software Verification: 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Editat de Alessandro Abate et al.
12 iul 2017
Paperback
Preț: 312.30 lei 390.38 lei
6-8 săpt.
-20%
Theoretical Computer Science and General Issues
Advanced Parallel Processing Technologies: 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings
Editat de Yong Dou et al.
14 sep 2017
Paperback
Preț: 312.30 lei 390.38 lei
6-8 săpt.
-20%
Topics in Theoretical Computer Science: Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings
Editat de Mohammad Reza Mousavi et al.
14 oct 2017
Paperback
Preț: 312.79 lei 390.99 lei
6-8 săpt.
-20%
Large-Scale Scientific Computing: 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers
Editat de Ivan Lirkov et al.
10 ian 2018
Paperback
Preț: 685.48 lei 856.85 lei
6-8 săpt.
-20%
Parallel Processing and Applied Mathematics: 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II
Editat de Roman Wyrzykowski et al.
23 mar 2018
Paperback
Preț: 330.23 lei 412.79 lei
6-8 săpt.
-20%
Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
Editat de Tiziana Margaria et al.
26 iun 2019
Paperback
Preț: 326.87 lei 408.59 lei
6-8 săpt.
-20%
Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings
Editat de Constantin Enea et al.
11 ian 2019
Paperback
Preț: 335.11 lei 418.89 lei
6-8 săpt.
-20%