Verification autonomous systems (35 résultats)

Titre

Affiner la recherche

  • Livres (35)

à

Fourchette de prix personnalisée (EUR)

à

  • Langue : anglais

    Edité par Springer, 2022

    3031212231 / 9783031212239

    • Couverture souple

    Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 55,32

    EUR 14,09 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New. In.

  • Langue : anglais

    Edité par Springer 2022-12, 2022

    3031212231 / 9783031212239

    • Couverture souple

    Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 51,56

    EUR 18,21 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 10 disponible(s)

    PF. Etat : New.

  • Langue : anglais

    Edité par Springer, 2022

    3031212215 / 9783031212215

    • Couverture souple

    Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 67,73

    EUR 14,09 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New. In.

  • Langue : anglais

    Edité par Springer 2022-12, 2022

    3031212215 / 9783031212215

    • Couverture souple

    Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 64,22

    EUR 18,21 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 10 disponible(s)

    PF. Etat : New.

  • Etat: Occasion

    EUR 55,29

    EUR 39,90 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 1 disponible(s)

    Hardcover. Etat : Very Good. 1. Auflage. Unread, with some shelfwear. Immediately dispatched from Germany.

  • Langue : anglais

    Edité par Springer, 2022

    3031212215 / 9783031212215

    • Couverture souple

    Vendeur : Books Puddle, New York, NY, Etats-UnisBooks Puddle

    Vendeur avec une évaluation de 4 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 99,44

    EUR 3,49 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : 4 disponible(s)

    Etat : New. 1st ed. 2022 edition NO-PA16APR2015-KAP.

  • Etat: Neuf

    EUR 98,64

    EUR 11,76 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 2 disponible(s)

    Paperback. Etat : Brand New. 215 pages. 9.25x6.10x0.51 inches. In Stock.

  • Langue : anglais

    Edité par Springer International Publishing, 2022

    3031212215 / 9783031212215

    • Couverture souple

    Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 69,54

    EUR 61,68 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 1 disponible(s)

    Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 202

  • Autres images

    Etat: Neuf

    EUR 63,85

    EUR 70,00 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 5 disponible(s)

    Taschenbuch. Etat : Neu. 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 | Omri Isac (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x |

  • Langue : anglais

    Edité par Springer, 2018

    3319915681 / 9783319915685

    Série : Lecture Notes in Control and Information Sciences, Livre 30 sur 40. Livre 30 sur 40 - Lecture Notes in Control and Information Sciences

    • Couverture rigide

    Vendeur : Books Puddle, New York, NY, Etats-UnisBooks Puddle

    Vendeur avec une évaluation de 4 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 190,40

    EUR 3,49 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : 4 disponible(s)

    Etat : New.

  • Langue : anglais

    Edité par Springer International Publishing AG, Cham, 2026

    3031885457 / 9783031885457

    • Couverture rigide

    Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-UnisGrand Eagle Retail

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 194,45

     Frais de port gratuits 
    Expédition nationale : Etats-Unis

    Quantité disponible : 1 disponible(s)

    Hardcover. Etat : new. Hardcover. This book is a comprehensive guide to current practical and theoretical understanding of verification of autonomous systems, helping users find the tools and techniques they need to address this challenging problem. Autonomous systems are transitioning out of the lab and into the commercial and

  • Langue : anglais

    Edité par Springer, 2019

    3030062562 / 9783030062569

    Série : Lecture Notes in Control and Information Sciences, Livre 30 sur 40. Livre 30 sur 40 - Lecture Notes in Control and Information Sciences

    • Couverture souple

    Vendeur : preigu, Osnabrück, Allemagnepreigu

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 122,15

    EUR 70,00 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 5 disponible(s)

    Taschenbuch. Etat : Neu. Control Strategies for Advanced Driver Assistance Systems and Autonomous Driving Functions | Development, Testing and Verification | Harald Waschl (u. a.) | Taschenbuch | Lecture Notes in Control and Information Sciences | xviii | Englisch | 2019 | Springer | EAN 9783030062569 | Verantwortliche Person fü

  • Langue : anglais

    Edité par Springer, 2019

    3030062562 / 9783030062569

    Série : Lecture Notes in Control and Information Sciences, Livre 30 sur 40. Livre 30 sur 40 - Lecture Notes in Control and Information Sciences

    • Couverture souple

    Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 141,72

    EUR 62,14 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 1 disponible(s)

    Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book describes different methods that are relevant to the development and testing of control algorithms for advanced driver assistance systems (ADAS) and automated driving functions (ADF). These control algorithms need to respond safely, reliably

  • Langue : anglais

    Edité par Springer, 2018

    3319915681 / 9783319915685

    Série : Lecture Notes in Control and Information Sciences, Livre 30 sur 40. Livre 30 sur 40 - Lecture Notes in Control and Information Sciences

    • Couverture rigide

    Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 143,31

    EUR 62,90 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 1 disponible(s)

    Buch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book describes different methods that are relevant to the development and testing of control algorithms for advanced driver assistance systems (ADAS) and automated driving functions (ADF). These control algorithms need to respond safely, reliably and opt

  • Langue : anglais

    Edité par Springer, 2019

    3030062562 / 9783030062569

    Série : Lecture Notes in Control and Information Sciences, Livre 30 sur 40. Livre 30 sur 40 - Lecture Notes in Control and Information Sciences

    • Couverture souple

    Vendeur : Mispah books, Redhill, SURRE, Royaume-UniMispah books

    Vendeur avec une évaluation de 4 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 207,10

    EUR 29,40 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 1 disponible(s)

    Paperback. Etat : New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

  • Langue : anglais

    Edité par Springer, 2026

    3031885457 / 9783031885457

    • Couverture rigide

    Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 168,73

    EUR 63,69 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 1 disponible(s)

    Buch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book is a comprehensive guide to current practical and theoretical understanding of verification of autonomous systems, helping users find the tools and techniques they need to address this challenging problem. Autonomous systems are transitioning out of

  • Langue : anglais

    Edité par Springer, 2026

    3031885457 / 9783031885457

    • Couverture rigide

    Vendeur : Books Puddle, New York, NY, Etats-UnisBooks Puddle

    Vendeur avec une évaluation de 4 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 242,19

    EUR 3,49 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : 4 disponible(s)

    Etat : New.

  • Langue : anglais

    Edité par Springer-Nature New York Inc, 2025

    3031885457 / 9783031885457

    • Couverture rigide

    Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 238,74

    EUR 14,70 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 1 disponible(s)

    Hardcover. Etat : Brand New. 381 pages. 9.26x6.11x9.49 inches. In Stock.

  • Langue : anglais

    Edité par Springer, 2018

    3319915681 / 9783319915685

    Série : Lecture Notes in Control and Information Sciences, Livre 30 sur 40. Livre 30 sur 40 - Lecture Notes in Control and Information Sciences

    • Couverture rigide

    Vendeur : Mispah books, Redhill, SURRE, Royaume-UniMispah books

    Vendeur avec une évaluation de 4 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 232,53

    EUR 29,40 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 1 disponible(s)

    Hardcover. Etat : New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

  • Langue : anglais

    Edité par Springer Nature B.V., 2022

    3031212231 / 9783031212239

    • Couverture souple
    • impression à la demande

    Vendeur : PBShop.store US, Wood Dale, IL, Etats-UnisPBShop.store US

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 57,62

     Frais de port gratuits 
    Expédition nationale : Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    PAP. Etat : New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

  • Langue : anglais

    Edité par Springer Nature B.V., 2022

    3031212231 / 9783031212239

    • Couverture souple
    • impression à la demande

    Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-UniPBShop.store UK

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 55,90

    EUR 4,89 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    PAP. Etat : New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

  • Langue : anglais

    Edité par Springer International Publishing Dez 2022, 2022

    3031212215 / 9783031212215

    • Couverture souple
    • impression à la demande

    Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 69,54

    EUR 23,00 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 2 disponible(s)

    Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 Verif

  • Langue : anglais

    Edité par Springer, 2022

    3031212215 / 9783031212215

    • Couverture souple
    • impression à la demande

    Vendeur : Majestic Books, Hounslow, Royaume-UniMajestic Books

    Vendeur avec une évaluation de 4 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 102,05

    EUR 7,64 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 4 disponible(s)

    Etat : New. Print on Demand.

  • Langue : anglais

    Edité par Springer International Publishing, 2022

    3031212215 / 9783031212215

    • Couverture souple
    • impression à la demande

    Vendeur : moluna, Greven, Allemagnemoluna

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 61,55

    EUR 48,99 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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

  • Langue : anglais

    Edité par Springer, 2022

    3031212215 / 9783031212215

    • Couverture souple
    • impression à la demande

    Vendeur : Biblios, frankfurt am main, HESSE, AllemagneBiblios

    Vendeur avec une évaluation de 4 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 102,49

    EUR 9,95 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 4 disponible(s)

    Etat : New. PRINT ON DEMAND.

  • Langue : anglais

    Edité par Springer, Springer Dez 2022, 2022

    3031212215 / 9783031212215

    • Couverture souple
    • impression à la demande

    Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagnebuchversandmimpf2000

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 69,54

    EUR 60,00 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 1 disponible(s)

    Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -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 Modificatio

  • Langue : anglais

    Edité par Springer International Publishing AG Mai 2026, 2026

    3031885457 / 9783031885457

    • Couverture rigide
    • impression à la demande

    Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 160,49

    EUR 23,00 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 2 disponible(s)

    Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is a comprehensive guide to current practical and theoretical understanding of verification of autonomous systems, helping users find the tools and techniques they need to address this challenging problem. Autonomous systems are tran

  • Langue : anglais

    Edité par Springer Verlag GmbH, 2026

    3031885457 / 9783031885457

    • Couverture rigide
    • impression à la demande

    Vendeur : moluna, Greven, Allemagnemoluna

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 136,16

    EUR 48,99 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt.

  • Langue : anglais

    Edité par Springer, 2018

    3319915681 / 9783319915685

    Série : Lecture Notes in Control and Information Sciences, Livre 30 sur 40. Livre 30 sur 40 - Lecture Notes in Control and Information Sciences

    • Couverture rigide
    • impression à la demande

    Vendeur : preigu, Osnabrück, Allemagnepreigu

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 123,00

    EUR 70,00 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 5 disponible(s)

    Buch. Etat : Neu. Control Strategies for Advanced Driver Assistance Systems and Autonomous Driving Functions | Development, Testing and Verification | Harald Waschl (u. a.) | Buch | Lecture Notes in Control and Information Sciences | xviii | Englisch | 2018 | Springer | EAN 9783319915685 | Verantwortliche Person für die EU: Spri

  • Langue : anglais

    Edité par Springer, 2018

    3319915681 / 9783319915685

    Série : Lecture Notes in Control and Information Sciences, Livre 30 sur 40. Livre 30 sur 40 - Lecture Notes in Control and Information Sciences

    • Couverture rigide
    • impression à la demande

    Vendeur : Majestic Books, Hounslow, Royaume-UniMajestic Books

    Vendeur avec une évaluation de 4 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 200,77

    EUR 7,64 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 4 disponible(s)

    Etat : New. Print on Demand.