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ț: 407.67 lei 509.60 lei 6-8 săpt. -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ț: 328.93 lei 411.17 lei 6-8 săpt. -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 6-8 săpt. -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ț: 669.29 lei 836.62 lei 6-8 săpt. -20%
How to Survive as a Villain 2 Autor Yi Yi Yi Yi et al. 2026 Paperback Preț: 103.97 lei Nepublicat încă Nou
How to Survive as a Villain 3 Autor Yi Yi Yi Yi et al. 2026 Paperback Preț: 103.97 lei Nepublicat încă Nou
How to Survive as a Villain 1 Autor Yi Yi Yi Yi et al. 2026 Paperback Preț: 94.65 lei Nepublicat încă Nou