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ț: 414.63 lei 518.29 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ț: 334.53 lei 418.16 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ț: 333.54 lei 416.93 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ț: 680.77 lei 850.96 lei 6-8 săpt. -20%
How to Survive as a Villain 2 Autor Yi Yi Yi Yi et al. 9 mai 2025 Paperback Preț: 105.77 lei Nepublicat încă Nou
How to Survive as a Villain 3 Autor Yi Yi Yi Yi et al. 16 mai 2025 Paperback Preț: 105.77 lei Nepublicat încă Nou
How to Survive as a Villain 1 Autor Yi Yi Yi Yi et al. 2 mai 2025 Paperback Preț: 96.27 lei Nepublicat încă Nou