A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD gyűjtőpont 990 Ft DPD futárszolgálat 1 190 Ft GLS pont 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft GLS futár 1 690 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

AI Verification

First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, Proceedings

Nyelv AngolAngol
Könyv Puha kötésű
Könyv AI Verification Taylor T. Johnson
Libristo kód: 46085932
Kiadó Springer, Berlin, szeptember 2024
This LNCS volume constitutes the proceedings of the First International Symposium on AI Verification... Teljes leírás
? points 352 b
52 808 Ft
Beszállítói készleten Küldés 5-8 napon belül

Akár 30 napos visszaküldési lehetőség

A vásárlók ilyet vásároltak

Las 25 objeciones más comunes en la venta y cómo superarlas Bob Taylor / Könyv Puha kötésű
common.buy 8 317 Ft
Les trois flèches de Saint-Pierre - Anse Jouannade / Könyv Puha kötésű
common.buy 11 663 Ft
Islande Jim KRUSOE / Könyv Puha kötésű
common.buy 9 623 Ft

This LNCS volume constitutes the proceedings of the First International Symposium on AI Verification, SAIV 2024, in Montreal, QC, Canada, during July 2024.

The scope of the topics was broadly categorized into two groups. The first group, formal methods for artificial intelligence, comprised: formal specifications for systems with AI components; formal methods for analyzing systems with AI components; formal synthesis methods of AI components; testing approaches for systems with AI components; statistical approaches for analyzing systems with AI components; and approaches for enhancing the explainability of systems with AI components. The second group, artificial intelligence for formal methods, comprised: AI methods for formal verification; AI methods for formal synthesis; AI methods for safe control; and AI methods for falsification.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés AI Verification
Szerző Taylor T. Johnson, Guy Katz, Anna Lukina, Christian Schilling, Guy Avni, Mirco Giacobbe, Nina Narodytska
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2024
Oldalszám 270
EAN 9783031651113
Libristo kód 46085932
Kiadó Springer, Berlin
Súly 312
Méretek 155 x 235

Kategória

Számítástechnika és információtechnológia > Számítógéptudomány > Mesterséges intelligencia
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Ezt is ajánljuk

Statistics Applied to Clinical Studies Ton J. Cleophas / Könyv Puha kötésű
common.buy 47 781 Ft
Jesuit Postmodern Francis X. Clooney / Könyv Kemény kötésű
common.buy 52 192 Ft
Girl Finds a Flower Brittany Spencer / Könyv Puha kötésű
common.buy 8 317 Ft
Odd Bods: The World's Unusual Animals / Könyv Kemény kötésű
common.buy 11 995 Ft

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?