Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

AI Verification

Name: AI Verification
Brand: Springer, Berlin
SKU: 52830582
Price: 294.74 PLN
Availability: InStock
Author: Guy Avni
ISBN: 9783032323569

Third International Symposium, SAIV 2026, Lisbon, Portugal, July 24-25, 2026, Proceedings

Guy Avni

Christian Schilling

Język

Angielski

Książka Miękka

Kod Libristo: 52830582

Wydawnictwo Springer, Berlin, wrzesień 2026

This book constitutes the refereed proceedings of the Third International Symposium on AI Verificati... Cały opis

Kod Libristo: 52830582

165 b

Nowość

294.74 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Abraham - Stammvater der monotheistischen Religionen

Miękka

108.46 zł

180-Grad-Wende: Kompletter Lebensreset in der Stille Clara Meier

Miękka

124.35 zł

Abschied Vom Paradies Frank Thiess

Twarda

145.26 zł

Innesto di ortaggi nel peperoncino Mayur Bhoite

Miękka

265.73 zł

Pennsylvania. La vita la storia il destino Giorgio Pogliano

Książka

107.33 zł

Papi Rebelle (Edition 2024 - poche) David Walliams

Miękka

45.61 zł

Sherlock Holmes vyšetruje: Diablovo kopýtko Arthur Conan Doyle

Twarda

47.05 zł

Italienisch lernen mit Kurzgeschichten Lisa Fratelli

Miękka

50.64 zł

El Blasón Espa?ol Ó La Ciencia Heráldica: Escudos De Armas De Los Diferentes Reinos... [de] Espa?a... Ramón MEDÉL

Twarda

145.26 zł

Qu'est-ce que le Coran ? - Signification & ImprEgnation TAHAR GAID

Miękka

94.11 zł

Bambino luk la alegria de ir a la guarderia Michael Junga

Miękka

37.72 zł

Forschung Erfolgreich Vermarkten Hans-Olaf Henkel

Twarda

204.32 zł

This book constitutes the refereed proceedings of the Third International Symposium on AI Verification, SAIV 2026, held in Lisbon, Portugal, during July 24 25, 2026.

The 17 full papers and 4 competition contributions were carefully reviewed and selected from 34 submissions. The scope of the symposium was organized into two broad thematic areas. The first area,
formal methods for artificial intelligence included topics such as formal specifications, analysis, synthesis, testing, statistical analysis, and explainability for systems with AI components. The second area, artificial intelligence for formal methods focused on AI techniques applied to formal verification, synthesis, safe control, and falsification.