Let's Talk AI
Editat de Barbara Steffen et al.
28 oct 2025
Paperback
Preț: 360.48 lei
6-8 săpt.
Lecture Notes in Computer Science
Formal Methods for Industrial Critical Systems
Editat de Anne Remke et al.
28 aug 2025
Paperback
Preț: 391.26 lei 489.08 lei
6-8 săpt. | 7-11 zile
-20%
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola
Editat de Tiziana Margaria et al.
9 oct 2024
Paperback
Preț: 540.45 lei 675.56 lei
38-44 zile
-20%
Real Time and Such
Editat de Susanne Graf et al.
5 oct 2024
Paperback
Preț: 360.35 lei 450.44 lei
38-44 zile
-20%
Bridging the Gap Between AI and Reality
Editat de Bernhard Steffen
11 oct 2025
Paperback
Preț: 290.24 lei 362.80 lei
6-8 săpt.
-20%
Leveraging Applications of Formal Methods, Verification and Validation
Editat de Tiziana Margaria et al.
12 oct 2021
Paperback
Preț: 489.24 lei 611.55 lei
6-8 săpt.
-20%
Model Checking, Synthesis, and Learning
Editat de Ernst-Rüdiger Olderog et al.
22 noi 2021
Paperback
Preț: 402.47 lei 503.10 lei
3-5 săpt. | 7-11 zile
-20%
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
Editat de Tiziana Margaria et al.
20 oct 2022
Paperback
Preț: 485.38 lei 606.73 lei
6-8 săpt.
-20%
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
Editat de Tiziana Margaria et al.
20 oct 2022
Paperback
Preț: 442.09 lei 552.61 lei
3-5 săpt. | 7-11 zile
-20%
Leveraging Applications of Formal Methods, Verification and Validation. Practice
Editat de Tiziana Margaria et al.
20 oct 2022
Paperback
Preț: 405.95 lei 507.44 lei
3-5 săpt. | 7-11 zile
-20%
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
Editat de Tiziana Margaria et al.
20 oct 2022
Paperback
Preț: 551.49 lei 689.37 lei
3-5 săpt. | 7-11 zile
-20%
SOFSEM 2017: Theory and Practice of Computer Science
Editat de Bernhard Steffen et al.
11 ian 2017
Paperback
Preț: 348.02 lei 435.02 lei
6-8 săpt.
-20%