Gesamtpreis (1 Artikel Artikel):
Versandziel:
collart dutilleul simon (23 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (23)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (17)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (1)
- Gut oder Befriedigend (1)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (4)
Einband
Weitere Eigenschaften
- Erstausgabe (1)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (12)
Sprache (1)
Preis
- Beliebiger Preis
- Weniger als EUR 20 (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- EUR 20 bis EUR 45
- Mehr als EUR 45
Gratisversand
- Kostenloser Versand nach USA (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Land des Verkäufers
Verkäuferbewertung
-
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (Lecture Notes in Computer Science)
Anbieter: Books From California, Simi Valley, CA, USA
Verkäuferbewertung 5 von 5 Sternen
paperback. Zustand: Very Good.
-
![Beispielbild für Operating Rules and Interoperability in Trans-National High-Speed Rail [Hardcover] Collart-Dutilleul, Simon zum Verkauf von SpringBooks](https://pictures.abebooks.com/isbn/9783030720018-de-300.jpg)
Operating Rules and Interoperability in Trans-National High-Speed Rail [Hardcover] Collart-Dutilleul, Simon
Anbieter: SpringBooks, Berlin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
Hardcover. Zustand: Very Good. 1. Auflage. Unread, with a mimimum of shelfwear. Immediately dispatched from Germany.
-
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Third International Conference, Rssrail 2019, Lille, France, June 46, 2019, Proceedings
Verlag: Springer-Verlag New York Inc, 2019
ISBN 10: 3030187438 ISBN 13: 9783030187439
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 92,62
EUR 11,35 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 320 pages. 9.25x6.10x0.63 inches. In Stock.
-
Reliability, Safety, And Security Of Rai
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 5th International Conference, Rssrail 2023, Berlin, Germany, October 10-12, 2023, Proceedings
Verlag: Springer-Nature New York Inc, 2023
ISBN 10: 3031433653 ISBN 13: 9783031433658
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 98,21
EUR 11,35 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 246 pages. 9.25x6.10x0.52 inches. In Stock.
-
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Verlag: Springer International Publishing, Springer Nature Switzerland Apr 2019, 2019
ISBN 10: 3030187438 ISBN 13: 9783030187439
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the Third International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019, held in Lille, France in June 2019.The 18 full papers presented in this book were carefully reviewed and selected from 38 submissions. They cover a range of topics including railways system and infrastructure advance modelling; scheduling and track planning; safety process and validation; modelling; formal verification; and security.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 320 pp. Englisch.
-
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Third International Conference, RSSRail 2019, Lille, France, June 4¿6, 2019, Proceedings
Verlag: Springer International Publishing, Springer International Publishing, 2019
ISBN 10: 3030187438 ISBN 13: 9783030187439
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the Third International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019, held in Lille, France in June 2019. The 18 full papers presented in this book were carefully reviewed and selected from 38 submissions. They cover a range of topics including railways system and infrastructure advance modelling; scheduling and track planning; safety process and validation; modelling; formal verification; and security.
-
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification | Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings
Verlag: Springer Nature Switzerland, 2019
ISBN 10: 3030187438 ISBN 13: 9783030187439
Sprache: Englisch
Taschenbuch. Zustand: Neu. Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification | Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings | Simon Collart-Dutilleul (u. a.) | Taschenbuch | xix | Englisch | 2019 | Springer Nature Switzerland | EAN 9783030187439 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Verlag: Springer Nature Switzerland, Springer Nature Switzerland Sep 2023, 2023
ISBN 10: 3031433653 ISBN 13: 9783031433658
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the 5th International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, RSSRail 2023, held in Berlin, Germany, during October 10¿12, 2023.The 13 full papers presented in this book together with 3 keynotes were carefully reviewed and selected from 25 submissions. The papers are divided into the following topical sections: modeling for security; tooled approaches and dependability of highly automated transport systems; formal methods for safety assessment; and formal model and visual tooling.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch.
-
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Verlag: Springer International Publishing, Springer International Publishing Mai 2022, 2022
ISBN 10: 3031058135 ISBN 13: 9783031058134
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 4th International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2022, held in Paris, France, in June 2022.The 16 full papers presented in this book were carefully reviewed and selected from numerous submissions. They cover a range of topics including railways system and infrastructure advance modelling; scheduling and track planning; safety process and validation; modelling; formal verification; and security.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.
-
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 4th International Conference, RSSRail 2022, Paris, France, June 1¿2, 2022, Proceedings
Verlag: Springer International Publishing, 2022
ISBN 10: 3031058135 ISBN 13: 9783031058134
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 4th International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2022, held in Paris, France, in June 2022. The 16 full papers presented in this book were carefully reviewed and selected from numerous submissions. They cover a range of topics including railways system and infrastructure advance modelling; scheduling and track planning; safety process and validation; modelling; formal verification; and security.
-
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings
Verlag: Springer Nature Switzerland, Springer International Publishing, 2023
ISBN 10: 3031433653 ISBN 13: 9783031433658
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 5th International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, RSSRail 2023, held in Berlin, Germany, during October 10-12, 2023.The 13 full papers presented in this book together with 3 keynotes were carefully reviewed and selected from 25 submissions. The papers are divided into the following topical sections: modeling for security; tooled approaches and dependability of highly automated transport systems; formal methods for safety assessment; and formal model and visual tooling.
-
Taschenbuch. Zustand: Neu. Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification | 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings | Birgit Milius (u. a.) | Taschenbuch | xx | Englisch | 2023 | Springer | EAN 9783031433658 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification | 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings
Verlag: Springer International Publishing, 2022
ISBN 10: 3031058135 ISBN 13: 9783031058134
Sprache: Englisch
Taschenbuch. Zustand: Neu. Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification | 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings | Simon Collart-Dutilleul (u. a.) | Taschenbuch | xviii | Englisch | 2022 | Springer International Publishing | EAN 9783031058134 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Operating Rules and Interoperability in Trans-National High-Speed Rail
Verlag: Springer International Publishing, 2021
ISBN 10: 3030720012 ISBN 13: 9783030720018
Sprache: Englisch
Zustand: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher.
-
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 5th International Conference, RSSRail 2023, Berlin, Germany, October 10¿12, 2023, Proceedings
Verlag: Springer Nature Switzerland, 2023
ISBN 10: 3031433653 ISBN 13: 9783031433658
Sprache: Englisch
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
-
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 5th International Conference, RSSRail 2023, Berlin, Germany, October 10¿12, 2023, Proceedings
Verlag: Springer Nature Switzerland, 2023
ISBN 10: 3031433653 ISBN 13: 9783031433658
Sprache: Englisch
Zustand: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher.
-
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 4th International Conference, RSSRail 2022, Paris, France, June 1¿2, 2022, Proceedings
Verlag: Springer International Publishing, 2022
ISBN 10: 3031058135 ISBN 13: 9783031058134
Sprache: Englisch
Zustand: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher.
-
Risks and Security of Internet and Systems : 19th International Conference, CRiSIS 2024, Aix-en-Provence, France, November 26-28, 2024, Proceedings
Verlag: Springer Nature Switzerland, Springer International Publishing, 2025
ISBN 10: 3031893492 ISBN 13: 9783031893490
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the revised selected papers of the 19th International Conference on Risks and Security of Internet and Systems, CRiSIS 2024, held in Aix-en-Provence, France, during November 26-28, 2024.The 32 full papers and 2 short papers presented here were carefully selected and reviewed from 90 submissions. These papers have been organized in the following topical sections: Security Network Protocols; AI-Driven Threat Detection; Information Security Management; Applied Cryptography & Privacy; Threats Detection & Protection; Risk Identification & Management; Blockchain & Distributed Ledger Security; AI for Security Assessment.
-
Risks and Security of Internet and Systems: 19th International Conference, Crisis 2024, Aix-en-provence, France, November 26-28, 2024, Proceedings
Verlag: Springer-Nature New York Inc, 2025
ISBN 10: 3031893492 ISBN 13: 9783031893490
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 184,10
EUR 14,19 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 580 pages. 9.26x6.11x9.21 inches. In Stock.
-
Operating Rules and Interoperability in Trans-National High-Speed Rail
Verlag: Springer International Publishing, Springer Nature Switzerland Jul 2021, 2021
ISBN 10: 3030720012 ISBN 13: 9783030720018
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. Neuware -This book examines the problem of interoperability related to operating rules and gives an overview of the formal method approaches related to this subject. The book examines the interoperability issues concerning implementation of European Rail Traffic Management System (ERTMS) while crossing a boarder. It also looks at the implementing of the ERTMS and provides solutions regarding operating rules for ERTMS lines, using formal methods and simulation tools. The contributors will also discuss operating rule validation and formal methods for safety assessment.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch.
-
Operating Rules and Interoperability in Trans-National High-Speed Rail
Verlag: Springer International Publishing, 2021
ISBN 10: 3030720012 ISBN 13: 9783030720018
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This bookexamines theproblem of interoperability related to operating rules andgives an overview of the formal method approaches related to this subject. The book examines the interoperability issues concerning implementation of European Rail Traffic Management System (ERTMS) while crossing a boarder. It also looks at the implementing of the ERTMS and provides solutions regarding operating rules for ERTMS lines, using formal methods and simulation tools.The contributors will also discuss operating rule validation and formal methods for safety assessment.
-
Operating Rules and Interoperability in Trans-national High-speed Rail
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 275,28
EUR 14,19 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 259 pages. 9.25x6.10x9.21 inches. In Stock.
