Quantitative Evaluation of Systems: 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings Lecture Notes in Computer Science, nr. 12846 Editat de Alessandro Abate et al. 12 aug 2021 Paperback Preț: 580.84 lei 726.04 lei 6-8 săpt. -20%
Computational Methods in Systems Biology: 18th International Conference, CMSB 2020, Konstanz, Germany, September 23–25, 2020, Proceedings Lecture Notes in Computer Science, nr. 12314 Editat de Alessandro Abate et al. oct 2020 Paperback Preț: 383.26 lei 6-8 săpt.
Formal Modeling and Analysis of Timed Systems: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings Lecture Notes in Computer Science, nr. 10419 Editat de Alessandro Abate et al. 3 aug 2017 Paperback Preț: 326.13 lei 407.66 lei 6-8 săpt. -20%
Numerical Software Verification: 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings Lecture Notes in Computer Science, nr. 10381 Editat de Alessandro Abate et al. 12 iul 2017 Paperback Preț: 315.40 lei 394.24 lei 6-8 săpt. -20%
Hybrid Systems Biology: Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers Lecture Notes in Computer Science, nr. 9271 Editat de Alessandro Abate et al. 10 ian 2016 Paperback Preț: 321.33 lei 401.67 lei 6-8 săpt. -20%