Wyszukiwanie zaawansowane
Kategorie
Kategorie BISAC
Książki na zamówienie
Promocje
Granty
Książka na prezent
Opinie
Pomoc
Załóż konto
Zaloguj się
Algorithms for Verifying Deep Neural Networks » książka
zaloguj się
|
załóż konto
koszyk
konto
szukaj
topmenu
Szukaj
Książki na zamówienie
Promocje
Granty
Książka na prezent
Moje konto
Pomoc
Wyszukiwanie zaawansowane
Pusty koszyk
Kategorie główne
•
Nauka
[2687494]
•
Literatura piękna
[1634418]
więcej...
•
Turystyka
[62777]
•
Informatyka
[142089]
•
Komiksy
[31535]
•
Encyklopedie
[21638]
•
Dziecięca
[511510]
•
Hobby
[107034]
•
AudioBooki
[2004]
•
Literatura faktu
[198530]
•
Muzyka CD
[622]
•
Słowniki
[2715]
•
Inne
[402058]
•
Kalendarze
[1614]
•
Podręczniki
[164883]
•
Poradniki
[408763]
•
Religia
[455640]
•
Czasopisma
[420]
•
Sport
[59427]
•
Sztuka
[224284]
•
CD, DVD, Video
[3892]
•
Technologie
[205669]
•
Zdrowie
[88491]
•
Książkowe Klimaty
[118]
•
Zabawki
[2712]
•
Puzzle, gry
[3297]
•
Literatura w języku ukraińskim
[262]
•
Art. papiernicze i szkolne
[10029]
Kategorie szczegółowe BISAC
Algorithms for Verifying Deep Neural Networks
ISBN-13
: 9781680837865 / Angielski / Miękka / 2021 / 178 str.
Changliu Liu
;
Tomer Arnon
;
Chris Lazarus
Widoczna okładka, to zdjęcie poglądowe, a rzeczywista szata graficzna może różnić się od prezentowanej.
Algorithms for Verifying Deep Neural Networks
ISBN-13
: 9781680837865 / Angielski / Miękka / 2021 / 178 str.
Changliu Liu
;
Tomer Arnon
;
Chris Lazarus
cena
480,83
zł
(netto: 457,93 VAT: 5%)
Najniższa cena z 30 dni: 452,89 zł
Termin realizacji zamówienia:
ok. 13-18 dni roboczych.
Darmowa dostawa!
do przechowalni
Parametry
Spis treści
Kategorie:
Technologie
Kategorie BISAC:
Technology & Engineering
>
Electrical
Mathematics
>
Optimization
Wydawca:
Now Publishers
Seria wydawnicza:
Foundations and Trends(r) in Optimization
Język:
Angielski
ISBN-13:
9781680837865
Rok wydania:
2021
Numer serii:
000480850
Ilość stron:
178
Waga:
0.26 kg
Wymiary:
23.39 x 15.6 x 0.97
Oprawa:
Miękka
Wolumenów:
01
1. Introduction
2. Problem Formulation
3. Overview of Methods
4. Preliminaries
5. Reachability
6. Primal Optimization
7. Dual Optimization
8. Search and Reachability
9. Search and Optimization
10. Comparison and Results
Acknowledgments
References
Udostępnij
Czytaj nas na: