Thierry lecomte (42 Ergebnisse)
- Hardcover
Anbieter: Ammareal, Morangis, FrankreichAmmareal
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut bis sehr gut
SonderangebotAktueller Preis: EUR 3,15
EUR 16,50 VersandVersand von Frankreich nach USAAnzahl: 1 verfügbar
Hardcover. Zustand: Bon. Ancien livre de bibliothèque avec équipements. Edition 1986. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 1986. Ammareal gives back up to 15% of this item's net price to charity organi…zations.
- Hardcover
Anbieter: Ammareal, Morangis, FrankreichAmmareal
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
SonderangebotAktueller Preis: EUR 3,15
EUR 16,50 VersandVersand von Frankreich nach USAAnzahl: 1 verfügbar
Hardcover. Zustand: Très bon. Ancien livre de bibliothèque avec équipements. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Ammareal gives back up to 15% of this item's net price to charity organizations.
- Softcover
Anbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes KönigreichWorldofBooks
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 46,32
EUR 6,52 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
- Softcover
Anbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes KönigreichWorldofBooks
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 46,32
EUR 6,52 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
- Softcover
Anbieter: Books From California, Simi Valley, CA, USABooks From California
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Gut
EUR 53,91
EUR 4,31 VersandVersand innerhalb von USAAnzahl: 2 verfügbar
paperback. Zustand: Very Good.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,89
EUR 13,94 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,89
EUR 13,94 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,89
EUR 13,94 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 67,03
EUR 13,94 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 67,03
EUR 13,94 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Verlag: Eni Editions, 2008
Anbieter: Abraxas-libris, Bécherel, FrankreichAbraxas-libris
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 9,90
EUR 28,95 VersandVersand von Frankreich nach USAAnzahl: 1 verfügbar
In den WarenkorbDos carré collé. In-8 (17,5 x 21 cm), dos carré collé, 347 pages, seconde édition ; pliure au dos, coiffes et coins frottés, quelques petites marques d'usage sur les plats, intérieur frais, bon état général. Livraison a domicile (La Poste) ou en Mondial Relay sur simple demande.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 73,17
EUR 13,94 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 84,65
EUR 9,06 VersandVersand innerhalb von USAAnzahl: 15 verfügbar
Zustand: New.
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)
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 92,21
EUR 11,64 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: 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)
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 92,67
EUR 11,64 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 345 pages. 6.14x0.73x9.21 inches. In Stock.
- Softcover
Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 99,36
EUR 9,06 VersandVersand innerhalb von USAAnzahl: 15 verfügbar
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
Milius, Birgit (Editor)/ Collart-dutilleul, Simon (Editor)/ Lecomte, Thierry (Editor)
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 97,79
EUR 11,64 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 246 pages. 9.25x6.10x0.52 inches. In Stock.
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 77,93
EUR 34,91 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 264 pages. 9.25x6.10x0.60 inches. In Stock.
Reliability, Safety, and Security of Railway Systems: Modelling, Analysis, Verification, and Certification; First International Conference, Rssrail 2016, Paris, France, June 28-30, 2016, Proceedings
Lecomte, Thierry (Editor)/ Pinger, Ralf (Editor)/ Romanovsky, Alexander (Editor)
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 78,02
EUR 34,91 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 268 pages. 9.25x6.10x0.61 inches. In Stock.
Reliability, Safety, and Security of Railway Systems: Modelling, Analysis, Verification, and Certification; Second International Conference, Rssrail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings
Fantechi, Alessandro (Editor)/ Lecomte, Thierry (Editor)/ Romanovsky, Alexander (Editor)
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 78,23
EUR 34,91 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 284 pages. 9.25x6.10x0.64 inches. In Stock.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 62,06 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the FirstInternational Conference on Reliability, Safety, and Security of RailwaySystems, RSSRail 2016, held in Paris, France, in June 2016.The 15 revised full papers presented were carefully reviewed… andselected from 36 initial submissions. The papers cover a wide range oftopics including failure analysis, interlocking verification, formalsystem specification and refinement, security analysis of ERTMS, safetyverification, formalisation of requirements, proof automation,operational security, railway system reliability, risk assessment forERTMS, and verification of EN-50128 safety requirements.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 62,03 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 19th BrazilianSymposium on Formal Methods, SBMF 2016, which took place in Natal,Brazil, in November 2016.The 12 papers presented together with two invited talks were carefully reviewed andselected… from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,45
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification | First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings | Thierry Lecomte (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2016 | S…pringer | EAN 9783319339504 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,45
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Formal Methods: Foundations and Applications | 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings | Leila Ribeiro (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2016 | Springer | EAN 9783319498140 | Verantwortliche Person für die EU: Spring…er Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,45
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification | Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings | Alessandro Fantechi (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xviii | Englisc…h | 2017 | Springer | EAN 9783319684987 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 58,39
EUR 62,18 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume constitutes the proceedings of the Second International Conference on Reliability, Safety and Security of Railway Systems, RRSRail 2017, held in Pistoia, Italy, in November 2017. The 16 papers presented in this volume were carefully revie…wed and selected from 34 submissions. They are organized in topical sections named: communication challenges in railway systems; formal modeling and verification for safety; light rail and urban transit; and engineering techniques and standards. The book also contains one keynote talk in full-paper length.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 62,05
EUR 62,64 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: 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 pr…esented 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.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 57,60
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
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 | EAN 9783030187439 |…Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 57,60
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: 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 | V…erantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 68,67
EUR 62,44 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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 r…eviewed 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.
