Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings Lecture Notes in Computer Science, nr. 5160 Editat de John S. Fitzgerald et al. 18 aug 2008 Paperback Preț: 335.90 lei 419.86 lei 6-8 săpt. -20%
Applicable Formal Methods for Safe Industrial Products: Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday Lecture Notes in Computer Science, nr. 14165 Editat de Anne E. Haxthausen et al. 17 aug 2023 Paperback Preț: 439.82 lei 549.78 lei 6-8 săpt. -20%
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 4th International Conference, RSSRail 2022, Paris, France, June 1–2, 2022, Proceedings Lecture Notes in Computer Science, nr. 13294 Editat de Simon Collart-Dutilleul et al. 21 mai 2022 Paperback Preț: 407.57 lei 509.46 lei 6-8 săpt. -20%