De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Introduction to Neural Network Verification

Introduction to Neural Network Verification

af Aws Albarghouthi

indgår i Foundations and Trends (R) in Programming Languages serien

Introduction to Neural Network Verification af Aws Albarghouthi
Bag om Introduction to Neural Network Verification

The book is a self-contained treatment of a topic that sits at the intersection of machine learning and formal verification. It can serve as an introduction to the field for first-year graduate students or senior undergraduates, even if they have not been exposed to deep learning or verification.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9781680839104
  • Indbinding:
  • Paperback
  • Sideantal:
  • 180
  • Udgivet:
  • 2. december 2021
  • Størrelse:
  • 156x234x0 mm.
  • Vægt:
  • 262 g.
  • 8-11 hverdage.
  • 10. december 2024
På lager
Forlænget returret til d. 31. januar 2025

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

Bag om Aws Albarghouthi

Vis alle bøger af Aws Albarghouthi

Beskrivelse af Introduction to Neural Network Verification

The book is a self-contained treatment of a topic that sits at the intersection of machine learning and formal verification. It can serve as an introduction to the field for first-year graduate students or senior undergraduates, even if they have not been exposed to deep learning or verification.

Brugerbedømmelser af Introduction to Neural Network Verification



Andre købte også..
Find lignende bøger
Bogen Introduction to Neural Network Verification findes i følgende kategorier: