Importo totale (1 articolo articoli):
Destinazione ordine:
ichiro hasuo (34 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (34)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (29)
- Come nuovo, Ottimo o Quasi ottimo (4)
- Molto buono o Buono (1)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
Ulteriori caratteristiche
- Prima ed. (Nessun altro risultato corrispondente a questo perfezionamento)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (10)
- Non Print on Demand (23)
Lingua (1)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
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
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 52,45
Spedizione EUR 2,25
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 60,86
Spedizione EUR 2,25
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,02
Spedizione EUR 13,84
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Coalgebraic Methods in Computer Science: 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, . Papers (Lecture Notes in Computer Science)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 56,85
Spedizione EUR 17,90
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: 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
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,81
Spedizione EUR 17,33
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Coalgebraic Methods in Computer Science: 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, . Papers (Lecture Notes in Computer Science)
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 235.
-
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
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 66,54
Spedizione EUR 17,33
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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, April 2-3, 2016, Revised Selected Papers (Lecture Notes in Computer Science)
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 76,80
Spedizione EUR 11,56
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 248 pages. 9.25x6.10x0.56 inches. In Stock.
-
SAFETY ASSURANCE UNDER UNCERTAINTIES FROM SOFTWARE TO CYBER PHYSICAL MACHINE LEARNING SYSTEMS (HB 2025)
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: 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
Da: Books From California, Simi Valley, CA, U.S.A.
Valutazione del venditore 4 su 5 stelle
hardcover. Condizione: 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
Lingua: Inglese
Editore: Springer International Publishing, Springer International Publishing, 2016
ISBN 10: 3319403699 ISBN 13: 9783319403694
EUR 53,49
Spedizione EUR 61,91
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
-
EUR 50,35
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
-
Safety Assurance Under Uncertainties : From Software to Cyber-physical/Machine Learning Systems
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 124,35
Spedizione EUR 17,33
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloCondizione: New.
-
Safety Assurance Under Uncertainties : From Software to Cyber-physical/Machine Learning Systems
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition.
-
Safety Assurance under Uncertainties: From Software to Cyber-Physical/Machine Learning Systems
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 147,43
Spedizione EUR 7,51
Spedito da Regno Unito a U.S.A.Quantità: 3 disponibili
Aggiungi al carrelloCondizione: New.
-
Safety Assurance Under Uncertainties : From Software to Cyber-physical/Machine Learning Systems
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Safety Assurance Under Uncertainties : From Software to Cyber-physical/Machine Learning Systems
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 142,42
Spedizione EUR 17,33
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Safety Assurance under Uncertainties: From Software to Cyber-Physical/Machine Learning Systems
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 144,15
Spedizione EUR 22,13
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardback. Condizione: New. New copy - Usually dispatched within 4 working days.
-
Safety Assurance under Uncertainties: From Software to Cyber-Physical/Machine Learning Systems
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. 1st edition NO-PA16APR2015-KAP.
-
Safety Assurance under Uncertainties: From Software to Cyber-Physical/Machine Learning Systems
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 162,08
Spedizione EUR 13,84
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Safety Assurance under Uncertainties: From Software to Cyber-Physical/Machine Learning Systems
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 169,24
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 3 disponibili
Aggiungi al carrelloCondizione: New.
-
Edizione InternazionaleSAFETY ASSURANCE UNDER UNCERTAINTIES FROM SOFTWARE TO CYBER PHYSICAL MACHINE LEARNING SYSTEMS (HB 2025)
Lingua: Inglese
Editore: TAYLOR & FRANCIS NP EXCLUSIVE(CBS), 2025
ISBN 10: 0367554011 ISBN 13: 9780367554019
Da: UK BOOKS STORE, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 204,65
Spedizione EUR 6,92
Spedito da Regno Unito a U.S.A.Quantità: 12 disponibili
Aggiungi al carrelloCondizione: New. Brand New ! Fast Delivery "International Edition " and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 4-6 Working days .and we do have flat rate for up to 2LB. Extra shipping charges will be requested This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
-
Safety Assurance Under Uncertainties: From Software to Cyber-physical/Machine Learning Systems
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 206,30
Spedizione EUR 14,44
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloHardcover. Condizione: Brand New. 366 pages. 9.18x6.12x9.21 inches. In Stock.
-
COALGEBRAIC METHODS IN COMPUTER SCIENCE (eng)
Da: Brook Bookstore On Demand, Napoli, NA, Italia
Valutazione del venditore 4 su 5 stelle
EUR 46,22
Spedizione EUR 5,50
Spedito da Italia a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: new. Questo è un articolo print on demand.
-
Coalgebraic Methods in Computer Science
Lingua: Inglese
Editore: Springer International Publishing Jun 2016, 2016
ISBN 10: 3319403699 ISBN 13: 9783319403694
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
EUR 53,49
Spedizione EUR 23,00
Spedito da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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: 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, . Papers (Lecture Notes in Computer Science)
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 79,24
Spedizione EUR 7,51
Spedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. 235.
-
Coalgebraic Methods in Computer Science: 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, . Papers (Lecture Notes in Computer Science)
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 79,56
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. 235.
-
Coalgebraic Methods in Computer Science
Lingua: Inglese
Editore: Springer International Publishing, 2016
ISBN 10: 3319403699 ISBN 13: 9783319403694
EUR 48,37
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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
Lingua: Inglese
Editore: Springer, Springer Jun 2016, 2016
ISBN 10: 3319403699 ISBN 13: 9783319403694
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
EUR 53,49
Spedizione EUR 60,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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)
Lingua: Inglese
Editore: Taylor & Francis Ltd, London, 2025
ISBN 10: 0367554011 ISBN 13: 9780367554019
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: 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.
