Software Verification and Formal Methods for ML-Enabled Autonomous Systems -
- Format: Broché Voir le descriptif
100,62 €
Produit Neuf
Ou 25,16 € /mois
- Livraison : 3,99 €
- Livré entre le 21 et le 27 août
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Software Verification And Formal Methods For Ml - Enabled Autonomous Systems Format Broché - Livre Informatique
0 avis sur Software Verification And Formal Methods For Ml - Enabled Autonomous Systems Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Elvis Presley On Tour Livre Usa 120 Pages 240 Photos Inedites ! Rare!
Occasion dès 59,00 €
-
The Evolution Of Complexity By Means Of Natural Selection
Neuf dès 136,68 €
-
Alinea
1 avis
Occasion dès 55,00 €
-
Michael Kenna: Silver Haikus
3 avis
Neuf dès 52,52 €
-
Drive-In Dream Girls
Neuf dès 51,39 €
-
Last Resort: Photographs Of New Brighton
Occasion dès 139,90 €
-
L'italien B2 - Pack Avec 1 Livre (3 Cd Audio)
1 avis
Neuf dès 65,90 €
Occasion dès 191,71 €
-
Essential Grammar In Use - Une Grammaire De Référence Et De Pratique Destinée Aux Étudiants De Niveau Élémentaire
7 avis
Neuf dès 72,30 €
Occasion dès 80,00 €
-
Ellen Von Unwerth. Heimat
Neuf dès 98,04 €
-
Porsche Racing Cars
Neuf dès 102,94 €
-
Le Dictionnaire Visuel Multilingue - Français, Anglais, Espagnol, Allemand, Italien
1 avis
Occasion dès 53,68 €
-
Collection Entremets & Petits Gâteaux
1 avis
Occasion dès 69,00 €
-
The Palgrave Handbook Of The Southern Gothic
Neuf dès 55,22 €
-
Privatisation In India
Neuf dès 53,38 €
-
Superman & Batman: Generations Omnibus
Neuf dès 84,18 €
-
Dc Finest: Superman: Kryptonite Nevermore
Neuf dès 53,91 €
-
Dictionnaire Chinois - Anglais
Occasion dès 99,00 €
-
Los Hermanos Karamazov
Neuf dès 62,17 €
-
Diane Arbus: An Aperture Monograph
Occasion dès 51,99 €
-
La Mort De Radiguet. Yukio Mishima. Bilingue. Gallimard. Traduit Du Japonais Par Dominique Palme.(2012)
2 avis
Occasion dès 57,00 €
Produits similaires
Présentation Software Verification And Formal Methods For Ml - Enabled Autonomous Systems Format Broché
- Livre Informatique
Résumé :
FoMLAS 2022.- VPN: Verification of Poisoning in Neural Networks.- A Cascade of Checkers for Run-time Certification of Local Robustness.- CEG4N: Counter-Example Guided Neural Network Quantization Refinement .- Minimal Multi-Layer Modifications of Deep Neural Networks.- Differentiable Logics for Neural Network Training and Verification.- Neural Networks in Imandra: Matrix Representation as a Verification Choice.- Self-Correcting Neural Networks For Safe Classification.- Self-Correcting Neural Networks For Safe Classification.- NSV 2022.- Verified Numerical Methods for Ordinary Differential Equations.- Neural Network Precision Tuning Using Stochastic Arithmetic.- MLTL Multi-type (MLTLM): A Logic for Reasoning about Signals of Different Types. ...
Sommaire:
FoMLAS 2022.- VPN: Verification of Poisoning in Neural Networks.- A Cascade of Checkers for Run-time Certification of Local Robustness.- CEG4N: Counter-Example Guided Neural Network Quantization Refinement .- Minimal Multi-Layer Modifications of Deep Neural Networks.- Differentiable Logics for Neural Network Training and Verification.- Neural Networks in Imandra: Matrix Representation as a Verification Choice.- Self-Correcting Neural Networks For Safe Classification.- Self-Correcting Neural Networks For Safe Classification.- NSV 2022.- Verified Numerical Methods for Ordinary Differential Equations.- Neural Network Precision Tuning Using Stochastic Arithmetic.- MLTL Multi-type (MLTLM): A Logic for Reasoning about Signals of Different Types. ...
Détails de conformité du produit
Personne responsable dans l'UE