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ț: 585.86 lei 732.32 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ț: 386.57 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ț: 328.93 lei 411.17 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ț: 318.12 lei 397.65 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ț: 324.09 lei 405.12 lei 6-8 săpt. -20%