Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 54,45
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,55
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,55
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 28,03
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In Italian.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 74,41
Anzahl: 3 verfügbar
In den WarenkorbZustand: New. pp. 646.
Sprache: Englisch
Verlag: Springer-Nature New York Inc, 2022
ISBN 10: 3031162447 ISBN 13: 9783031162442
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 76,85
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 163 pages. 9.25x6.10x0.35 inches. In Stock.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 77,89
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 232 pages. 9.25x6.10x0.49 inches. In Stock.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 78,40
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Zustand: New.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 78,86
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Zustand: New.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2011
ISBN 10: 3642242693 ISBN 13: 9783642242694
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 82,02
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2011 edition. 493 pages. 9.00x6.00x1.00 inches. In Stock.
Sprache: Englisch
Verlag: WIT Press, Billerica, Massachussetts, 2012
ISBN 10: 1845645626 ISBN 13: 9781845645625
Anbieter: Second Story Books, ABAA, Rockville, MD, USA
Erstausgabe
Hardcover. First Edition. Octavo, xv, 303 pages. In Good plus condition. Blue patterned spine with yellow and white lettering. Boards have library identification stickers on rear board and spine. Textblock is splitting to gutter from front end-page to rear end-page, has a Library Congress stamp on title page and head edge, and pencil marks on fore edge. Ex-library. Shelved ND-C. 1379116. FP New Rockville Stock.
Sprache: Englisch
Verlag: Springer International Publishing, 2014
ISBN 10: 3319107011 ISBN 13: 9783319107011
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 19th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2014, held in Florence, Italy, in September 2014. The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: cyber-physical systems; computer networks; railway control systems; verification methods; and hardware and software testing.
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2022
ISBN 10: 3031162447 ISBN 13: 9783031162442
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes refereed proceedings of the Workshops of the 18th European Dependable Computing Conference, EDCC: 13th Workshop on Software Engineering for Resilient Systems, SERENE 2022; Third Worskhop on Dynamic Risk Management for Autonomous Systems, DREAMS 2022, Third Workshop on Artificial Intelligence for Railways, AI4RAILS, held in Zaragoza, Spain, in September 2022.The 11 workshop papers presented were thoroughly reviewed and selected from 22 submissions. The workshop papers complement the main conference topics by addressing dependability or security issues in specic application domains or by focussing in specialized topics, such as system resilience.
Hardcover. Zustand: As New. No Jacket. Pages are clean and are not marred by notes or folds of any kind. ~ ThriftBooks: Read More, Spend Less.
Sprache: Englisch
Verlag: Springer International Publishing, 2020
ISBN 10: 3030584615 ISBN 13: 9783030584610
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes refereed proceedings of the Workshops of the 16th European Dependable Computing Conference, EDCC: 1st Workshop on Articial Intelligence for Railways, AI4RAILS 2020, 1st Worskhop on Dynamic Risk Management for Autonomous Systems, DREAMS 2020, 2nd Workshop on Dependable Solutions for Intelligent Electricity Distribution Grids, DSOGRI 2020, 12th Workshop on Software Engineering for Resilient Systems, SERENE 2020, held in September 2020. Due to the COVID-19 pandemic the workshops were held virtually.The 12 full papers and 4 short papers were thoroughly reviewed and selected from 35 submissions. The workshop papers complement the main conference topics by addressing dependability or security issues in specic application domains or by focussing in specialized topics, such as system resilience.
Sprache: Englisch
Verlag: Springer, Springer Spektrum, 2011
ISBN 10: 3642242693 ISBN 13: 9783642242694
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 30th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2011, held in Naples, Italy, in September 2011.The 34 full papers presented together were carefully reviewed and selected from 100 submissions. The papers are organized in topical sections on RAM evaluation, complex systems dependability, formal verification, risk and hazard analysis, cybersecurity and optimization methods.
Taschenbuch. Zustand: Neu. Formal Methods for Industrial Critical Systems | 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings | Frédéric Lang (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2014 | Springer | EAN 9783319107011 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Hardcover. Zustand: Very Good. 1. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting.
Taschenbuch. Zustand: Neu. Model-Based Dependability Evaluation of Critical Control Systems | A practical survey of advanced techniques for model-based system testing and reliability evaluation | Francesco Flammini | Taschenbuch | Englisch | VDM Verlag Dr. Müller | EAN 9783639194098 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Dependable Computing - EDCC 2020 Workshops | AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings | Simona Bernardi (u. a.) | Taschenbuch | xvi | Englisch | 2020 | Springer | EAN 9783030584610 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Dependable Computing - EDCC 2022 Workshops | SERENE, DREAMS, AI4RAILS, Zaragoza, Spain, September 12, 2022, Proceedings | Stefano Marrone (u. a.) | Taschenbuch | xii | Englisch | 2022 | Springer | EAN 9783031162442 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 108,35
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. reprint edition. 646 pages. 10.00x7.00x1.50 inches. In Stock.
Sprache: Englisch
Verlag: World Scientific Publishing Co Pte Ltd, 2024
ISBN 10: 9811287937 ISBN 13: 9789811287930
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 124,12
Anzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 1st edition. 226 pages. 9.25x6.25x0.75 inches. In Stock.
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 496 | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 30th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2011, held in Naples, Italy, in September 2011.The 34 full papers presented together were carefully reviewed and selected from 100 submissions. The papers are organized in topical sections on RAM evaluation, complex systems dependability, formal verification, risk and hazard analysis, cybersecurity and optimization methods.
Sprache: Englisch
Verlag: The Institution of Engineering and Technology, 2022
ISBN 10: 1839535350 ISBN 13: 9781839535352
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 139,91
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 153,18
Anzahl: 3 verfügbar
In den WarenkorbZustand: New.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 152,11
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.