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
E-könyv Adobe ePub DRM
Kiadó Springer, július 2024
This LNCS volume constitutes the proceedings of the First International Symposium on AI Verification... Teljes leírás
? points 360 b
53 913 Ft
Raktáron Azonnal letölthető

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

Parisuhderetriitti Lorraine Brown / E-könyv Adobe ePub DRM
common.buy 2 982 Ft
Les coulisses du Tour de France Jean-Luc Gatellier / Könyv Puha kötésű
common.buy 26 791 Ft
Hamarosan
Godzilla Classic Collection Herb Trimpe / Könyv Puha kötésű
common.buy 23 597 Ft
Prospectiva estratégica David Arias Chávez / Könyv Puha kötésű
common.buy 8 510 Ft
Le fracas et le silence Cory Anderson / Könyv Puha kötésű
common.buy 8 647 Ft
Zlatan Matt Oldfield / Könyv Puha kötésű
common.buy 4 224 Ft
Der etwas andere Kurzgeschichten-Adventskalender Sandra Bollenbacher / Könyv Puha kötésű
common.buy 3 941 Ft
Magic Water Colouring - Feen und Elfen Rachael McLean / Könyv Kemény kötésű
common.buy 3 100 Ft
Am eignen Herd Maximilian Bern / Könyv Kemény kötésű
common.buy 27 509 Ft
Resonanzwandler für die Erzeugung hoher Gleichspannungen Martin Rentzsch / Könyv Puha kötésű
common.buy 10 593 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ő Guy Avni, Mirco Giacobbe, Taylor T. Johnson, Guy Katz, Anna Lukina, Nina Narodytska, Christian Schilling
Nyelv Angol
Kötés E-könyv - Adobe ePub DRM
Kiadás éve 2024
EAN 9783031651120
Libristo kód 47698559
Kiadó Springer

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

Multiple Criteria Decision Making Anand J. Kulkarni / E-könyv Adobe ePub DRM
common.buy 68 669 Ft
Confederate Generals in the Trans-Mississippi Lawrence Lee Hewitt / Könyv Kemény kötésű
common.buy 26 763 Ft
Toplistás
Who Made Me a Princess Vol. 4 Spoon / Könyv Puha kötésű
common.buy 6 502 Ft
Iacobus Matilde Asensi / E-könyv Adobe ePub DRM
common.buy 1 394 Ft
Market Data Analysis Using JMP Walter R. Paczkowski / E-könyv Adobe ePub DRM
common.buy 15 942 Ft
An Introduction to Model-Based Cognitive Neuroscience Birte U. Forstmann / Könyv Kemény kötésű
common.buy 72 955 Ft
INSIDE IMPROVISATION 6 - DEVELOPING A JAZZ LANGUAGE - RECUEIL + CD (TOUS INSTRUMENTS) JERRY BERGONZI / Nyomtatványok Kotta
common.buy 19 510 Ft
Counterfeit Candidate Brian Klein / Könyv Puha kötésű
common.buy 4 583 Ft
Lonely Planet Pocket Barcelona Lonely planet eng / Könyv Puha kötésű
common.buy 4 168 Ft
The Banking Sector of Azerbaijan Anar Ibrahimov / Könyv Puha kötésű
common.buy 17 653 Ft
I Was Shipwrecked on the Andrea Doria! the Titanic of the 1950s Pierette Domenica Simpson / Könyv Puha kötésű
common.buy 4 810 Ft
Blur: The Speed of Change in the Connected Economy Stanley M. Davis / Könyv Puha kötésű
common.buy 7 433 Ft
Advanced Microsystems for Automotive Applications 98 Detlef E. Ricken / Könyv Puha kötésű
common.buy 20 346 Ft
Observing Variable Stars Gerry A. Good / Könyv Puha kötésű
common.buy 13 622 Ft
Hamarosan
Cultural/Subcultural Contexts of Marijuana Use at the Turn of the Twenty-First Century Andrew Golub / Könyv Kemény kötésű
common.buy 99 940 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?