Order Total (1 Item Items):
Shipping Destination:
Nenzi Laura (31 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (31)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (26)
- As New, Fine or Near Fine (No further results match this refinement)
- Very Good or Good (4)
- Fair or Poor (No further results match this refinement)
- As Described (1)
Binding
Collectible Attributes
- First Edition (1)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (10)
- Not Print on Demand (22)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Excursions in Identity: Travel and the Intersection of Place, Gender, and Status in Edo Japan
Language: English
Published by University of Hawaii Press, 2008
ISBN 10: 0824831179 ISBN 13: 9780824831172
Hardcover. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
Excursions in Identity: Travel and the Intersection of Place, Gender, and Status in Edo Japan
Language: English
Published by University of Hawaii Press, 2008
ISBN 10: 0824831179 ISBN 13: 9780824831172
First Edition
hardcover. Condition: Very Good. First Edition. University of Hawaii Press, 2008. Hard cover, first edition. Highlighting on a few pages, otherwise VG condition in VG dust jacket.
-
The Chaos and Cosmos of Kurosawa Tokiko: One Woman's Transit from Tokugawa to Meiji Japan
Language: English
Published by University Of Hawaii Press, 2015
ISBN 10: 0824839579 ISBN 13: 9780824839574
Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,650grams, ISBN:9780824839574.
-
Excursions in Identity: Travel and the Intersection of Place, Gender, and Status in Edo Japan
Language: English
Published by University of Hawaii Press, 2008
ISBN 10: 0824831179 ISBN 13: 9780824831172
Hardcover. Condition: new. New Copy. Customer Service Guaranteed.
-
Hardcover. Condition: Brand New. 1st new edition. 288 pages. 9.25x6.25x1.00 inches. In Stock.
-
Runtime Verification: 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3â"6, 2023, Proceedings (Lecture Notes in Computer Science)
Seller: Books From California, Simi Valley, CA, U.S.A.
Seller rating 4 out of 5 stars
paperback. Condition: Very Good.
-
Software Verification and Formal Methods for ML-Enabled Autonomous Systems (Lecture Notes in Computer Science)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 55.51
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
Runtime Verification: 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings (Lecture Notes in Computer Science)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 65.67
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Condition: New. 1st ed. 2022 edition NO-PA16APR2015-KAP.
-
Software Verification And Formal Methods
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New.
-
Condition: New. pp. 504.
-
Paperback. Condition: Brand New. 215 pages. 9.25x6.10x0.51 inches. In Stock.
-
Condition: New.
-
Runtime Verification
Language: English
Published by Springer Nature Switzerland, 2023
ISBN 10: 3031442660 ISBN 13: 9783031442667
Condition: New.
-
Runtime Verification: 23rd International Conference, Rv 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings
Language: English
Published by Springer-Nature New York Inc, 2023
ISBN 10: 3031442660 ISBN 13: 9783031442667
Paperback. Condition: Brand New. 501 pages. 9.25x6.10x1.01 inches. In Stock.
-
Software Verification and Formal Methods for ML-Enabled Autonomous Systems
Language: English
Published by Springer Nature Switzerland, Springer International Publishing Dez 2022, 2022
ISBN 10: 3031212215 ISBN 13: 9783031212215
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. 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.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.
-
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
Language: English
Published by Springer International Publishing, 2022
ISBN 10: 3031212215 ISBN 13: 9783031212215
Taschenbuch. Condition: 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.
-
Runtime Verification
Language: English
Published by Springer Nature Switzerland, Springer International Publishing Okt 2023, 2023
ISBN 10: 3031442660 ISBN 13: 9783031442667
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. 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 GmbH, Tiergartenstr. 17, 69121 Heidelberg 504 pp. Englisch.
-
Condition: 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. Condition: Neu. Runtime Verification | 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings | Panagiotis Katsaros (u. a.) | Taschenbuch | 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.
-
Runtime Verification : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3ż6, 2023, Proceedings
Language: English
Published by Springer Nature Switzerland, 2023
ISBN 10: 3031442660 ISBN 13: 9783031442667
Taschenbuch. Condition: 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.
-
Condition: new. Questo è un articolo print on demand.
-
Condition: new. Questo è un articolo print on demand.
-
Software Verification and Formal Methods for ML-Enabled Autonomous Systems
Language: English
Published by Springer International Publishing Dez 2022, 2022
ISBN 10: 3031212215 ISBN 13: 9783031212215
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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.
-
Condition: New. Print on Demand.
-
Runtime Verification
Language: English
Published by Springer Nature Switzerland Okt 2023, 2023
ISBN 10: 3031442660 ISBN 13: 9783031442667
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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.
-
Condition: New. PRINT ON DEMAND.
-
Condition: New. Print on Demand pp. 504.
-
Condition: New. PRINT ON DEMAND pp. 504.
