Quantitative Evaluation of Systems Lecture Notes in Computer Science, nr. 12846 Editat de Alessandro Abate et al. 12 aug 2021 Paperback Preț: 578.67 lei 723.33 lei 6-8 săpt. -20%
Computational Methods in Systems Biology Lecture Notes in Computer Science, nr. 12314 Editat de Alessandro Abate et al. oct 2020 Paperback Preț: 382.68 lei 6-8 săpt.
Formal Modeling and Analysis of Timed Systems Lecture Notes in Computer Science, nr. 10419 Editat de Alessandro Abate et al. 3 aug 2017 Paperback Preț: 325.44 lei 406.80 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ț: 312.30 lei 390.38 lei 6-8 săpt. -20%
Hybrid Systems Biology Lecture Notes in Computer Science, nr. 9271 Editat de Alessandro Abate et al. 10 ian 2016 Paperback Preț: 320.32 lei 400.41 lei 6-8 săpt. -20%