Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday Lecture Notes in Computer Science, nr. 13030 Editat de Ernst-Rüdiger Olderog et al. 22 noi 2021 Paperback Preț: 406.29 lei 507.85 lei 43-57 zile -20%
Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings Lecture Notes in Computer Science, nr. 9409 Editat de Xuandong Li et al. 27 oct 2015 Paperback Preț: 327.80 lei 409.75 lei 43-57 zile -20%
Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings Lecture Notes in Computer Science, nr. 3829 Editat de Paul Pettersson et al. 13 dec 2005 Paperback Preț: 327.96 lei 409.95 lei 43-57 zile -20%
Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings Lecture Notes in Computer Science, nr. 2031 Editat de Tiziana Margaria et al. 21 mar 2001 Paperback Preț: 667.00 lei 833.75 lei 43-57 zile -20%
How to Survive as a Villain 2 Autor Yi Yi Yi Yi et al. 2026 Paperback Preț: 103.61 lei Nepublicat încă Nou
How to Survive as a Villain 3 Autor Yi Yi Yi Yi et al. 2026 Paperback Preț: 103.61 lei Nepublicat încă Nou
How to Survive as a Villain 1 Autor Yi Yi Yi Yi et al. 2 dec 2024 Paperback Preț: 94.33 lei Nepublicat încă Nou