Laura Nenzi – författare
Visar alla böcker från författaren Laura Nenzi. Handla med fri frakt och snabb leverans.
7 produkter
Japan After Dark
The Tokugawa Transformation of the Night
Av Laura Nenzi
Inbunden, 2026
558 kr
Kommande
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; …
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
Av Omri Isac, Radoslav Ivanov m. fl.
Häftad, 2022
734 kr
Lägg i varukorg
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 …
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
Av Laura Nenzi, Nina Narodytska m. fl.
E-bok, 2022
903 kr
Lägg i varukorg
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 …
Runtime Verification
23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings
Av Panagiotis Katsaros, Laura Nenzi
Häftad, 2023
790 kr
Lägg i varukorg
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 …
Runtime Verification
23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings
Av Laura Nenzi, Panagiotis Katsaros
E-bok, 2023
1007 kr
Lägg i varukorg
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 …
Excursions in Identity
Travel and the Intersection of Place, Gender, and Status in Edo Japan
Av Laura Nenzi
Inbunden, 2008
684 kr
Tillfälligt slut
In the Edo period (1600-1868), status- and gender-based expectations largely defined a person's place and identity in society. The wayfarers of the time, however, discovered that travel provided the opportunity to escape from the confines of the everyday. Cultured travelers of the seventeenth and …
Chaos and Cosmos of Kurosawa Tokiko
One Woman’s Transit from Tokugawa to Meiji Japan
Av Laura Nenzi
Inbunden, 2014
635 kr
Tillfälligt slut
Chaos and Cosmos of Kurosawa Tokiko is the story of a selfdescribed “base-born nobody” who tried to change the course of Japanese history. Kurosawa Tokiko (1806–1890), a commoner from rural Mito domain, was a poet, teacher, oracle, and politicalactivist. In 1859 she embraced the xenophobic loyalist …
