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

Software Verification and Formal Methods for ML-Enabled Autonomous Systems

5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Software Verification and Formal Methods for ML-Enabled Autonomous Systems Omri Isac
Libristo kód: 41908349
Kiadó Springer, Berlin, november 2021
This book constitutes the refereed proceedings of the 5th International Workshop on Software Verific... Teljes leírás
? points 162 b
24 396 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

Etude Sur l'Histoire de Napoleon, de M. Le Bon Martin Sauzay-J / Könyv Puha kötésű
common.buy 4 767 Ft
Osmanlida Devlet Hukuk ve Adalet Halil Inalcik / Könyv Puha kötésű
common.buy 5 986 Ft
A través de la luz: Poemas Carmen Cecilia Diaz De Almeida / Könyv Puha kötésű
common.buy 3 007 Ft
Recueille la fleur de mes pensées Ledent / Könyv Kemény kötésű
common.buy 8 828 Ft
Skvelá Sisi Kristin Earhart / Könyv Kemény kötésű
common.buy 1 774 Ft

This book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022, and the 15th International Workshop on Numerical Software Verification, NSV 2022, which took place in Haifa, Israel, in July/August 2022. The volume contains 8 full papers from the FoMLAS 2022 workshop and 3 full papers from the NSV 2022 workshop. The FoMLAS workshop is dedicated to the development of novel formal methods techniques to discussing on how formal methods can be used to increase predictability, explainability, and accountability of ML-enabled autonomous systems. NSV 2022 is focusing on the challenges of the verification of cyber-physical systems with machine learning components.

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 Software Verification and Formal Methods for ML-Enabled Autonomous Systems
Szerző Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2022
Oldalszám 205
EAN 9783031212215
Libristo kód 41908349
Kiadó Springer, Berlin
Súly 308
Méretek 155 x 235 x 12

Kategória

Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
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

When Counterinsurgency Wins Ahmed S Hashim / Könyv Kemény kötésű
common.buy 27 693 Ft
The Complete Works of Ralph Waldo Emerson: Lectures and Biographical Sketches Edward Waldo Emerson / Könyv Kemény kötésű
common.buy 16 109 Ft
Introduction to Psychological Science William J. (Pennsylvania State University) Ray / Könyv Puha kötésű
common.buy 86 280 Ft
The Life of Sir Robert Christison Robert Christison / Könyv Puha kötésű
common.buy 10 080 Ft
Consumer Society BARRY SMART / Könyv Kemény kötésű
common.buy 39 575 Ft
Race for Capital Tope Fasua / Könyv Puha kötésű
common.buy 8 244 Ft
Body for a Body Samuel T Hinton / Könyv Kemény kötésű
common.buy 10 967 Ft
Pope Pius XII Leonardo Ciampa / Könyv Puha kötésű
common.buy 4 649 Ft
Economic Policy for Growth Salim Rashid / Könyv Puha kötésű
common.buy 37 483 Ft
Our Musicals, Ourselves John Bush Jones / Könyv Puha kötésű
common.buy 14 197 Ft
Effective Teaching of Biology Chris R. Brown / Könyv Kemény kötésű
common.buy 95 231 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?