Order Total (1 Item Items):
Shipping Destination:
Hasuo Ichiro (35 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (35)
- 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 (30)
- As New, Fine or Near Fine (4)
- Very Good or Good (1)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (10)
- Not Print on Demand (23)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
-
Condition: As New. Unread book in perfect condition.
-
Coalgebraic Methods in Computer Science: 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, ... Computer Science and General Issues)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 69.78
US$ 16.09 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
US$ 66.10
US$ 20.81 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
Coalgebraic Methods in Computer Science : 13th Ifip Wg 1.3 International Workshop, Cmcs 2016, Colocated With Etaps 2016, Eindhoven, the Netherlands, April 2-3, 2016, Revised Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 69.54
US$ 20.15 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
-
Coalgebraic Methods in Computer Science : 13th Ifip Wg 1.3 International Workshop, Cmcs 2016, Colocated With Etaps 2016, Eindhoven, the Netherlands, April 2-3, 2016, Revised Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 77.38
US$ 20.15 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
US$ 90.68
US$ 13.43 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 248 pages. 9.25x6.10x0.56 inches. In Stock.
-
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Safety Assurance under Uncertainties: From Software to Cyber-Physical/Machine Learning Systems
Seller: Books From California, Simi Valley, CA, U.S.A.
Seller rating 4 out of 5 stars
hardcover. Condition: Good. Damage on front cover. Pages are clean, text intact and unmarred.
-
Coalgebraic Methods in Computer Science : 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
Language: English
Published by Springer International Publishing, Springer International Publishing, 2016
ISBN 10: 3319403699 ISBN 13: 9783319403694
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-conferenceproceedings of the13th International Workshop on Coalgebraic Methods in Computer Science,CMCS 2016, colocated with ETAPS 2016, held in Eindhoven, The Netherlands,in April 2016.The 10 revised full papers were carefully reviewed and selected from 13submissions. Also included are an invited paper and two keynote talks. The papers cover awide range of topics in the theory, logics and applications ofcoalgebras.
-
-
Condition: New. 1st edition NO-PA16APR2015-KAP.
-
Taschenbuch. Condition: Neu. Coalgebraic Methods in Computer Science | 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers | Ichiro Hasuo | Taschenbuch | Lecture Notes in Computer Science | ix | Englisch | 2016 | Springer | EAN 9783319403694 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
US$ 135.81
US$ 8.73 shipping
Ships from United Kingdom to U.S.A.Quantity: 4 available
Add to basketCondition: New.
-
-
Safety Assurance Under Uncertainties : From Software to Cyber-physical/Machine Learning Systems
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 144.57
US$ 20.15 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketCondition: New.
-
Condition: As New. Unread book in perfect condition.
-
-
Safety Assurance Under Uncertainties : From Software to Cyber-physical/Machine Learning Systems
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 165.66
US$ 20.15 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Safety Assurance under Uncertainties: From Software to Cyber-Physical/Machine Learning Systems
Language: English
Published by Taylor & Francis Ltd, 2025
ISBN 10: 0367554011 ISBN 13: 9780367554019
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
US$ 167.92
US$ 25.73 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketHardback. Condition: New. New copy - Usually dispatched within 4 working days.
-
Safety Assurance under Uncertainties: From Software to Cyber-Physical/Machine Learning Systems
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 188.43
US$ 16.09 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
US$ 243.60
US$ 16.79 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketHardcover. Condition: Brand New. 366 pages. 9.18x6.12x9.21 inches. In Stock.
-
Condition: new. Questo è un articolo print on demand.
-
Coalgebraic Methods in Computer Science
Language: English
Published by Springer International Publishing Jun 2016, 2016
ISBN 10: 3319403699 ISBN 13: 9783319403694
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 thoroughly refereed post-conferenceproceedings of the13th International Workshop on Coalgebraic Methods in Computer Science,CMCS 2016, colocated with ETAPS 2016, held in Eindhoven, The Netherlands,in April 2016.The 10 revised full papers were carefully reviewed and selected from 13submissions. Also included are an invited paper and two keynote talks. The papers cover awide range of topics in the theory, logics and applications ofcoalgebras. 248 pp. Englisch.
-
-
-
Coalgebraic Methods in Computer Science
Language: English
Published by Springer International Publishing, 2016
ISBN 10: 3319403699 ISBN 13: 9783319403694
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2016, colocated with ETAPS 2016, held in Eindhoven, The Netherlands, in Ap.
-
Coalgebraic Methods in Computer Science
Language: English
Published by Springer, Springer Jun 2016, 2016
ISBN 10: 3319403699 ISBN 13: 9783319403694
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2016, colocated with ETAPS 2016, held in Eindhoven, The Netherlands, in April 2016.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 248 pp. Englisch.
-
Safety Assurance under Uncertainties (Hardcover)
Language: English
Published by Taylor & Francis Ltd, London, 2025
ISBN 10: 0367554011 ISBN 13: 9780367554019
Hardcover. Condition: new. Hardcover. Safety assurance of software systems has never been as imminent a problem as it is today. Practitioners and researchers who work on the problem face a challenge unique to modern software systems: uncertainties. For one, the cyber-physical nature of modern software systems as exemplified by automated driving systems mandates environmental uncertainties to be addressed and the resulting hazards to be mitigated. Besides, the abundance of statistical machine-learning components massive numerical computing units for statistical reasoning such as deep neural networks make systems hard to explain, understand, analyze or verify.The book is the first to provide a comprehensive overview of such united and interdisciplinary efforts. Driven by automated driving systems as a leading example, the book describes diverse techniques to specify, model, test, analyze, and verify modern software systems. Coming out of a collaboration between industry and basic academic research, the book covers both practical analysis techniques (readily applicable to existing systems) and more long-range design techniques (that call for new designs but bring a greater degree of assurance).The book provides high-level intuitions and use-cases of each technique, rather than technical details, with plenty of pointers for interested readers. Modern software systems operate under an unprecedented degree of uncertainties, making them hard to specify, model, test, analyze, and verify. Safety assurance of such systems requires efforts that unite different disciplines such as formal methods, software science, software engineering, control theory, machine learning. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
