Verification autonomous systems (35 résultats)

- Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 55,32
EUR 14,09 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In.

- Couverture souple
Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 51,56
EUR 18,21 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
PF. Etat : New.

- Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 67,73
EUR 14,09 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In.

- Couverture souple
Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 64,22
EUR 18,21 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
PF. Etat : New.

Langue : anglais
Edité par Springer, 2018
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
- Édition originale
Vendeur : SpringBooks, Berlin, AllemagneSpringBooks
Contacter le vendeurVendeur avec une évaluation de 3 étoilesEtat: Occasion
EUR 55,29
EUR 39,90 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Hardcover. Etat : Very Good. 1. Auflage. Unread, with some shelfwear. Immediately dispatched from Germany.

- Couverture souple
Vendeur : Books Puddle, New York, NY, Etats-UnisBooks Puddle
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 99,44
EUR 3,49 expéditionExpédition nationale : Etats-UnisQuantité disponible : 4 disponible(s)
Etat : New. 1st ed. 2022 edition NO-PA16APR2015-KAP.

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, Proceeding
Isac, Omri (Editor) / Ivanov, Radoslav (Editor) / Katz, Guy (Editor) / Narodytska, Nina (Editor) / Nenzi, Laura (Editor)
- Couverture souple
Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 98,64
EUR 11,76 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Paperback. Etat : Brand New. 215 pages. 9.25x6.10x0.51 inches. In Stock.

- Couverture souple
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 69,54
EUR 61,68 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité 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…2, 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 methodstechniques to discussing on how formal methods can be used to increase predictability, explainability, and accountability of ML-enabledautonomous systems. NSV 2022 is focusing on the challenges of the verification of cyber-physical systems with machine learning components.
Autres images- Couverture souple
Vendeur : preigu, Osnabrück, Allemagnepreigu
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 63,85
EUR 70,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité 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 |…Englisch | 2022 | Springer | EAN 9783031212215 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Langue : anglais
Edité par Springer, 2018
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
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 190,40
EUR 3,49 expéditionExpédition nationale : Etats-UnisQuantité disponible : 4 disponible(s)
Etat : New.

Langue : anglais
Edité par Springer International Publishing AG, Cham, 2026
- Couverture rigide
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-UnisGrand Eagle Retail
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 194,45
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité 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…industrial space in ever increasing numbers. Verification provides the assurance case necessary for deployment of autonomous systems, but we lack guidance, certifications, and standards to help a business determine whether their autonomous system is safe, secure, or reliable. A community has formed to develop tools, techniques, and processes to solve this problem, but the existing literature largely focuses on autonomy design tools and techniques rather than on tools and techniques that can be used to verify an existing autonomy design. This book fills that gap. It directly connects specific challenges faced by verification agents and autonomy developers with the research and topics most relevant to their concerns:Specific challenges faced by stakeholders and researchers are cross-referenced to chapters addressing the relevant tools and techniques.Individual aspects of the verification process like requirements and specification development, model tests, and integration tests are mapped into technical challenges related to modeling, testing, abstraction and verification tools.Each chapter is tied to both the stakeholder challenges and the technical challenges it addresses.Verification processes, industrial needs, and issues with verification of learning systems are addressed across all domains, encompassing platforms from aircraft and spacecraft to marine systems and ground vehicles operating in industrial, military, commercial and household applications. Broad in scope, this reference ties advances in formal analysis, hardware testing, verification process modifications, and design and evaluation tools to the needs of verification researchers and professionals. mso-fareast-language: EN-IN;">Individual aspects of the verification process like requirements and specification development, model tests, and integration tests are mapped into technical challenges related to modeling, testing, abstraction and verification tools. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

Langue : anglais
Edité par Springer, 2019
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
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 122,15
EUR 70,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité 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ü…r die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Langue : anglais
Edité par Springer, 2019
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
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 141,72
EUR 62,14 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité 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…and optimally in varying operating conditions. Also, vehicles have to comply with safety and emission legislation.The text describes how such control algorithms can be developed, tested and verified for use in real-world driving situations. Owing to the complex interaction of vehicles with the environment and different traffic participants, an almost infinite number of possible scenarios and situations that need to be considered may exist. The book explains new methods to address this complexity, with reference to human interaction modelling, various theoretical approaches to the definition of real-world scenarios, and with practically-oriented examples and contributions, to ensure efficient development and testing of ADAS and ADF.Control Strategies for Advanced Driver Assistance Systems and Autonomous Driving Functions is a collection of articles by international experts in the field representing theoretical and application-based points of view. As such, the methods and examples demonstrated in the book will be a valuable source of information for academic and industrial researchers, as well as for automotive companies and suppliers.

Langue : anglais
Edité par Springer, 2018
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
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 143,31
EUR 62,90 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité 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…imally in varying operating conditions. Also, vehicles have to comply with safety and emission legislation. The text describes how such control algorithms can be developed, tested and verified for use in real-world driving situations. Owing to the complex interaction of vehicles with the environment and different traffic participants, an almost infinite number of possible scenarios and situations that need to be considered may exist. The book explains new methods to address this complexity, with reference to human interaction modelling, various theoretical approaches to the definition of real-world scenarios, and with practically-oriented examples and contributions, to ensure efficient development and testing of ADAS and ADF. Control Strategies for Advanced Driver Assistance Systems and Autonomous Driving Functions is a collection of articles by international experts in the field representing theoretical and application-based points of view. As such, the methods and examples demonstrated in the book will be a valuable source of information for academic and industrial researchers, as well as for automotive companies and suppliers.

Langue : anglais
Edité par Springer, 2019
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
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 207,10
EUR 29,40 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Paperback. Etat : New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

- Couverture rigide
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 168,73
EUR 63,69 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité 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… the lab and into the commercial and industrial space in ever increasing numbers. Verification provides the assurance case necessary for deployment of autonomous systems, but we lack guidance, certifications, and standards to help a business determine whether their autonomous system is safe, secure, or reliable. A community has formed to develop tools, techniques, and processes to solve this problem, but the existing literature largely focuses on autonomy design tools and techniques rather than on tools and techniques that can be used to verify an existing autonomy design. This book fills that gap.It directly connects specific challenges faced by verification agents and autonomy developers with the research and topics most relevant to their concerns:Specific challenges faced by stakeholders and researchers are cross-referenced to chapters addressing the relevant tools and techniques.Individual aspects of the verification process like requirements and specification development, model tests, and integration tests are mapped into technical challenges related to modeling, testing, abstraction and verification tools.Each chapter is tied to both the stakeholder challenges and the technical challenges it addresses.Verification processes, industrial needs, and issues with verification of learning systems are addressed across all domains, encompassing platforms from aircraft and spacecraft to marine systems and ground vehicles operating in industrial, military, commercial and household applications. Broad.

- Couverture rigide
Vendeur : Books Puddle, New York, NY, Etats-UnisBooks Puddle
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 242,19
EUR 3,49 expéditionExpédition nationale : Etats-UnisQuantité disponible : 4 disponible(s)
Etat : New.

Verification of Autonomous Systems
Redfield, Signe (Editor)/ Sofge, Donald (Editor)/ Seto, Mae (Editor)/ Sustersic, John (Editor)
- Couverture rigide
Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 238,74
EUR 14,70 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Hardcover. Etat : Brand New. 381 pages. 9.26x6.11x9.49 inches. In Stock.

Langue : anglais
Edité par Springer, 2018
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
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 232,53
EUR 29,40 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Hardcover. Etat : New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

- Couverture souple
- impression à la demande
Vendeur : PBShop.store US, Wood Dale, IL, Etats-UnisPBShop.store US
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 57,62
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
PAP. Etat : New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

- Couverture souple
- impression à la demande
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-UniPBShop.store UK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 55,90
EUR 4,89 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité 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
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 69,54
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité 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…ication, 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 methodstechniques to discussing on how formal methods can be used to increase predictability, explainability, and accountability of ML-enabledautonomous systems. NSV 2022 is focusing on the challenges of the verification of cyber-physical systems with machine learning components. 216 pp. Englisch.

- Couverture souple
- impression à la demande
Vendeur : Majestic Books, Hounslow, Royaume-UniMajestic Books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 102,05
EUR 7,64 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 4 disponible(s)
Etat : New. Print on Demand.

- Couverture souple
- impression à la demande
Vendeur : moluna, Greven, Allemagnemoluna
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 61,55
EUR 48,99 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité 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… Software Verification, NSV 2022, wh.

- Couverture souple
- impression à la demande
Vendeur : Biblios, frankfurt am main, HESSE, AllemagneBiblios
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 102,49
EUR 9,95 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 4 disponible(s)
Etat : New. PRINT ON DEMAND.

- Couverture souple
- impression à la demande
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagnebuchversandmimpf2000
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 69,54
EUR 60,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité 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…ns 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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 216 pp. Englisch.

Langue : anglais
Edité par Springer International Publishing AG Mai 2026, 2026
- Couverture rigide
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 160,49
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité 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…sitioning out of the lab and into the commercial and industrial space in ever increasing numbers. Verification provides the assurance case necessary for deployment of autonomous systems, but we lack guidance, certifications, and standards to help a business determine whether their autonomous system is safe, secure, or reliable. A community has formed to develop tools, techniques, and processes to solve this problem, but the existing literature largely focuses on autonomy design tools and techniques rather than on tools and techniques that can be used to verify an existing autonomy design. This book fills that gap.It directly connects specific challenges faced by verification agents and autonomy developers with the research and topics most relevant to their concerns:Specific challenges faced by stakeholders and researchers are cross-referenced to chapters addressing the relevant tools and techniques.Individual aspects of the verification process like requirements and specification development, model tests, and integration tests are mapped into technical challenges related to modeling, testing, abstraction and verification tools.Each chapter is tied to both the stakeholder challenges and the technical challenges it addresses.Verification processes, industrial needs, and issues with verification of learning systems are addressed across all domains, encompassing platforms from aircraft and spacecraft to marine systems and ground vehicles operating in industrial, military, commercial and household applications. Broad 353 pp. Englisch.

- Couverture rigide
- impression à la demande
Vendeur : moluna, Greven, Allemagnemoluna
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 136,16
EUR 48,99 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité 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
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
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 123,00
EUR 70,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité 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…nger Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.

Langue : anglais
Edité par Springer, 2018
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
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 200,77
EUR 7,64 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 4 disponible(s)
Etat : New. Print on Demand.