Statistical Model Checking – all Bücher

Searching for "Statistical Model Checking" (Books) hits 3 articles.

Bridging the Gap Between AI and Reality

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/No…

available for immediate delivery

Buch

Bridging the Gap Between AI and Reality

This book constitutes the proceedings of 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 paper…

deliverable within 2-3 weeks

Buch

Bridging the Gap Between AI and Reality

Lecture Notes in Computer Science - volume 16220

This open access book constitutes selected papers of the proceedings of the Third International Conference on Bridging the Gap between AI and Reality, AISoLA 2025, which took place in Rhodes, Greece, in N…

lieferbar in mind. 4 Wochen

Buch

Information on availability or release dates for items is based on information that we receive from our suppliers. These dates are not guaranteed and are subject to change at any time.