Laura nenzi (34 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. Hardcover. Laura Nenzi draws readers into a fascinating world of samurai, shipwrecks, nocturnal monsters and partying crowds, in this richly detailed, illustrated and evocative history of the night. The world over, the installation of public lights transformed the night, reshaping expressions of authority; altering centuries-old forms of production and consumption; and enabling the expansion of legitimate daytime activities into the night hours. The cities of Tokugawa Japan, however, lacked any kind of public illumination until the late nineteenth century. Nonetheless, Nenzi shows, many of the attributes associated with the modern night were firmly in place in cities and villages well before the age of streetlights. This exploration of the transformation of early modern Japan after dark challenges accepted definitions of modernity, encouraging readers to rethink the way we write history. Laura Nenzi draws readers into a fascinating world of samurai, shipwrecks, nocturnal monsters and partying crowds to show how the night transformed in early modern Japan. This detailed and evocative history creates a vivid picture of everyday life in the Tokugawa period, challenging readers to rethink accepted definitions of modernity. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. …

Condizione: New.

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

Hardcover. Condizione: Brand New. 300 pages. 6.38x0.81x9.16 inches. In Stock.

Condizione: New.

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

Condizione: New.

Condizione: As New. Unread book in perfect condition.

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

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Condizione: New.

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

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

Condizione: New.

Condizione: New.

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

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.

PF. Condizione: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

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