Bridging the Gap Between AI and Reality
Editat de Bernhard Steffen
11 oct 2025
Paperback
Preț: 289.37 lei 361.70 lei
6-8 săpt.
-20%
Springer
Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches
Autor Bernhard Steffen et al.
3 apr 2018
Hardback
Preț: 237.56 lei 296.95 lei
6-8 săpt.
-20%
Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings
Editat de Tiziana Margaria et al.
12 oct 2021
Paperback
Preț: 466.93 lei 583.67 lei
6-8 săpt.
-20%
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II
Editat de Tiziana Margaria et al.
20 oct 2022
Paperback
Preț: 463.44 lei 579.30 lei
6-8 săpt.
-20%
Transactions on Foundations for Mastering Change I
Editat de Bernhard Steffen
30 sep 2016
Paperback
Preț: 318.67 lei 398.33 lei
6-8 săpt.
-20%
Computing and Software Science: State of the Art and Perspectives
Editat de Bernhard Steffen et al.
5 oct 2019
Paperback
Preț: 209.90 lei 262.38 lei
6-8 săpt.
-20%
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers
Editat de Ed Brinksma et al.
23 noi 1995
Paperback
Preț: 320.37 lei 400.47 lei
6-8 săpt.
-20%
Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings.
Editat de Tiziana Margaria et al.
20 mar 1996
Paperback
Preț: 327.36 lei 409.20 lei
6-8 săpt.
-20%
Correct System Design: Recent Insights and Advances
Editat de Ernst-Rüdiger Olderog et al.
22 sep 1999
Paperback
Preț: 324.19 lei 405.23 lei
6-8 săpt.
-20%
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
Editat de Tiziana Margaria et al.
7 oct 2014
Paperback
Preț: 337.18 lei 421.48 lei
6-8 săpt.
-20%
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
Editat de Tiziana Margaria et al.
7 oct 2014
Paperback
Preț: 332.60 lei 415.75 lei
6-8 săpt.
-20%