Collart dutilleul simon (81 risultati)
- Brossura
Da: Marlton Books, Bridgeton, NJ, U.S.A.Marlton Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 55,70
EUR 2,62 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Condizione: Good. Has some wear and creases. Has a remainder mark. paperback Used - Good 2025.
- Brossura
Da: Books From California, Simi Valley, CA, U.S.A.Books From California
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Molto buono
EUR 54,48
EUR 4,35 spedizioneSpedito in U.S.A.Quantità: 2 disponibili
paperback. Condizione: Very Good.
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Third International Conference, Rssrail 2019, Lille, France, June 4?6, 2019, Proceedings
Collart-dutilleul, Simon (EDT); Lecomte, Thierry (EDT); Romanovsky, Alexander (EDT)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 59,20
EUR 2,30 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 4th International Conference, Rssrail 2022, Paris, France, June 1-2, 2022, Proceedings
Collart-dutilleul, Simon (EDT); Haxthausen, Anne E. (EDT); Lecomte, Thierry (EDT)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 65,15
EUR 2,30 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Third International Conference, Rssrail 2019, Lille, France, June 4?6, 2019, Proceedings
Collart-dutilleul, Simon (EDT); Lecomte, Thierry (EDT); Romanovsky, Alexander (EDT)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 69,16
EUR 2,30 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 4th International Conference, Rssrail 2022, Paris, France, June 1-2, 2022, Proceedings
Collart-dutilleul, Simon (EDT); Haxthausen, Anne E. (EDT); Lecomte, Thierry (EDT)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 75,08
EUR 2,30 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 67,17
EUR 13,17 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In English.
- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 81,76
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 63,71
EUR 18,06 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
PF. Condizione: New.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 73,32
EUR 10,93 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In English.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 73,32
EUR 10,93 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In English.
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Third International Conference, Rssrail 2019, Lille, France, June 4?6, 2019, Proceedings
Collart-dutilleul, Simon (EDT); Lecomte, Thierry (EDT); Romanovsky, Alexander (EDT)
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 66,69
EUR 17,49 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 69,84
EUR 18,06 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
PF. Condizione: New.
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 4th International Conference, Rssrail 2022, Paris, France, June 1-2, 2022, Proceedings
Collart-dutilleul, Simon (EDT); Haxthausen, Anne E. (EDT); Lecomte, Thierry (EDT)
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 72,83
EUR 17,49 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Third International Conference, Rssrail 2019, Lille, France, June 4?6, 2019, Proceedings
Collart-dutilleul, Simon (EDT); Lecomte, Thierry (EDT); Romanovsky, Alexander (EDT)
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 73,82
EUR 17,49 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Brossura
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 80,02
EUR 9,50 spedizioneSpedito da Irlanda a U.S.A.Quantità: 15 disponibili
Condizione: New.
- Brossura
Da: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 92,27
EUR 3,48 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New.
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 4th International Conference, Rssrail 2022, Paris, France, June 1-2, 2022, Proceedings
Collart-dutilleul, Simon (EDT); Haxthausen, Anne E. (EDT); Lecomte, Thierry (EDT)
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 80,50
EUR 17,49 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Brossura
Da: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 99,13
EUR 3,48 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. 1st ed. 2022 edition NO-PA16APR2015-KAP.
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Third International Conference, Rssrail 2019, Lille, France, June 46, 2019, Proceedings
Collart-dutilleul, Simon (Editor)/ Lecomte, Thierry (Editor)/ Romanovsky, Alexander (Editor)
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 93,54
EUR 11,66 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 320 pages. 9.25x6.10x0.63 inches. In Stock.
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 6th International Conference, RSSRail . (Lecture Notes in Computer Science, 16236)
ter Beek, Maurice H. (Editor)/ Collart-Dutilleul, Simon (Editor)/ Lecomte, Thierry (Editor)
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 93,99
EUR 11,66 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 345 pages. 6.14x0.73x9.21 inches. In Stock.
- Brossura
Da: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 100,41
EUR 9,16 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: 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
Milius, Birgit (Editor)/ Collart-dutilleul, Simon (Editor)/ Lecomte, Thierry (Editor)
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 99,20
EUR 11,66 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 246 pages. 9.25x6.10x0.52 inches. In Stock.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 90,43
EUR 30,50 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 6th International Conference, RSSRail 2025, in Pisa, Italy, during November 2025.The 12 full papers, 5 short papers, 3 short papers from invited speakers and 4 extended abstracts of journal-first papers presented here were carefully reviewed and selected from 35 submissions.They were focused on the following topical sections:Invited Presentations; AI & Planning; Surveys & Comparisons; Communication & Control; Industrial Experiences & Trams; Formal Modelling & Analysis.…
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 90,43
EUR 30,50 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: 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.…
Altre immagini- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 57,60
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: 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 | EAN 9783030187439 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…
- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 57,60
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: Neu. Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification | 6th International Conference, RSSRail 2025, Pisa, Italy, November 26-28, 2025, Proceedings | Maurice H. Ter Beek (u. a.) | Taschenbuch | xiii | Englisch | 2025 | Springer | EAN 9783032107619 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 99,01
EUR 30,50 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: 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. …
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 99,01
EUR 30,50 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: 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.…
- Rilegato
Da: Buchpark, Trebbin, GermaniaBuchpark
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 27,79
EUR 105,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: Hervorragend. Zustand: Hervorragend | Seiten: 264 | Sprache: Englisch | Produktart: Bücher | 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.…
