Del 15000
Bridging the Gap Between AI and Reality
Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Selected Papers
Häftad, Engelska, 2025
Del 16032 i serien Lecture Notes in Computer Science
441 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
This open access book constitutes revised selected papers from the Second International Conference on Bridging the Gap between AI and Reality, AISoLA 2024, which took place in Crete, Greece, in October/November 2024. The papers included in this book extend the presentation in the AISoLA 2024 on-site proceedings.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
Tiziana Margaria, Bernhard Steffen
Häftad
928 kr
Del 10000
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
Tiziana Margaria, Bernhard Steffen
Häftad
549 kr
Del 14380
Leveraging Applications of Formal Methods, Verification, and Validation
Tiziana Margaria, Bernhard Steffen
Häftad
549 kr
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
Tiziana Margaria, Bernhard Steffen
Häftad
549 kr
Leveraging Applications of Formal Methods, Verification, and Validation
Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen
Häftad
549 kr
Leveraging Applications of Formal Methods, Verification and Validation
Tiziana Margaria, Bernhard Steffen
Häftad
766 kr