Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings
Editat de John S. Fitzgerald et al.
18 aug 2008
Paperback
Preț: 329.74 lei 412.17 lei
6-8 săpt.
-20%
Cărți de Anne E. Haxthausen
Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9–13, 2024, Proceedings
Editat de Anne E. Haxthausen et al.
9 sep 2024
Paperback
Preț: 372.89 lei 466.11 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
Editat de Anne E. Haxthausen et al.
17 aug 2023
Paperback
Preț: 486.34 lei 607.92 lei
6-8 săpt.
-20%
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Editat de Simon Collart-Dutilleul et al.
21 mai 2022
Paperback
Preț: 401.18 lei 501.48 lei
6-8 săpt.
-20%