Laura nenzi (29 risultati)

Hardcover. Condizione: Near Fine. Condizione sovraccoperta: Near Fine. Very good condition book with no markings and tight binding , good jacket , nice and clean .

Hardcover. Condizione: new. New Copy. Customer Service Guaranteed.

Condizione: New.

Paperback. Condizione: New.

Hardcover. Condizione: Brand New. 240 pages. 9.00x6.00x1.00 inches. In Stock.

Condizione: New. In English.

Condizione: New.

Condizione: New. In English.

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

Hardcover. Condizione: Brand New. 1st new edition. 288 pages. 9.25x6.25x1.00 inches. In Stock.

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

Taschenbuch. Condizione: 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 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.…

Condizione: New.

Condizione: New.

Hardcover. Condizione: Very Good. 2016 Brill hardcover edition. Unread copy in very good condition. From the cover: Mediated by Gifts is a collection of essays edited by prominent scholars exploring gift-giving practices and their social and political roles in medieval and early modern Japan. Covering diverse interactions - from shogunal visits and imperial exchanges to relations involving physicians, merchants, and scholars - the volume offers a fresh perspective on Japanese history. Contents: 1, 'Unexpected Paths: Gift Giving and the Nara Excursions of the Muromachi Shoguns' by Kaneko Hiraku. Translated by Lee Butler; 2, 'Gifts for the Emperor: Signposts of Continuity and Change in Japan's Fifteenth and Sixteenth Centuries' by Lee Butler; 3, 'Physician Yamashina Tokitsune's Healing Gifts' by Andrew Edmund Goble; 4, 'Tokugawa Tsunayoshi and the Formation of Edo Castle Rituals of Giving' by Cecilia Segawa Seigle; 5, 'Mitsui Echigoya's Gifts to the Tokugawa Shogunate' by Ozawa Emiko. Translated by Lee Butler; 6, 'Travel and Gift Exchange in Nineteenth-Century Japan' by Laura Nenzi; 7, 'Gift Exchange and Reciprocity: Understanding Antiquarian/Ethnographic Communities Within and Beyond Tokugawa Borders' by Margarita Winkel. …

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verification, RV 2023, held in Thessaloniki, Greece, during October 3-6, 2023. The 13 full papers and 7 short papers presented in this book together with 4 tutorial papers and 2 invited papers were carefully reviewed and selected from 39 submissions. The RV conference is concerned with all aspects of novel lightweight formal methods to monitor, analyze, and guide the runtime behavior of software and hardware systems.Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing and are generally more practical than exhaustive formal verification.…

Paperback. Condizione: Brand New. 501 pages. 9.25x6.10x1.01 inches. In Stock.

Taschenbuch. Condizione: 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.…

Condizione: Hervorragend. Zustand: Hervorragend | Seiten: 504 | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verification, RV 2023, held in Thessaloniki, Greece, during October 3¿6, 2023. The 13 full papers and 7 short papers presented in this book together with 4 tutorial papers and 2 invited papers were carefully reviewed and selected from 39 submissions. The RV conference is concerned with all aspects of novel lightweight formal methods to monitor, analyze, and guide the runtime behavior of software and hardware systems. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing and are generally more practical than exhaustive formal verification.…

Taschenbuch. Condizione: Neu. Runtime Verification | 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings | Panagiotis Katsaros (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xi | Englisch | 2023 | Springer | EAN 9783031442667 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Condizione: new. Questo è un articolo print on demand.

Condizione: new. Questo è un articolo print on demand.

Taschenbuch. Condizione: 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 Verification, 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.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verification, RV 2023, held in Thessaloniki, Greece, during October 3-6, 2023. The 13 full papers and 7 short papers presented in this book together with 4 tutorial papers and 2 invited papers were carefully reviewed and selected from 39 submissions. The RV conference is concerned with all aspects of novel lightweight formal methods to monitor, analyze, and guide the runtime behavior of software and hardware systems.Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing and are generally more practical than exhaustive formal verification. 504 pp. Englisch.…

Condizione: New. Print on Demand.

Condizione: New. PRINT ON DEMAND.

Condizione: 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.…

Taschenbuch. Condizione: 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 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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 216 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verification, RV 2023, held in Thessaloniki, Greece, during October 3¿6, 2023.The 13 full papers and 7 short papers presented in this book together with 4 tutorial papers and 2 invited papers were carefully reviewed and selected from 39 submissions.The RV conference is concerned with all aspects of novel lightweight formal methods to monitor, analyze, and guide the runtime behavior of software and hardware systems.Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing and are generally more practical than exhaustive formal verification.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 504 pp. Englisch.…