Hoppa till sidans huvudinnehåll

Thierry Lecomte – författare

Visar alla böcker från författaren Thierry Lecomte.
7 produkter
Simon Collart-Dutilleul, Thierry Lecomte, Alexander Romanovsky - Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, Häftad

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

AvSimon Collart-Dutilleul,Thierry Lecomtem. fl.

Häftad, Engelska, 2019

849 kr

Skickas inom 10-15 vardagar

Simon Collart-Dutilleul, Anne E. Haxthausen, Thierry Lecomte - Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, Häftad

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

4th International Conference, RSSRail 2022, Paris, France, June 1–2, 2022, Proceedings

AvSimon Collart-Dutilleul,Anne E. Haxthausenm. fl.

Häftad, Engelska, 2022

949 kr

Skickas inom 10-15 vardagar

Birgit Milius, Simon Collart-Dutilleul, Thierry Lecomte - Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, Häftad
Del 14198 - Lecture Notes in Computer Science

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

5th International Conference, RSSRail 2023, Berlin, Germany, October 10–12, 2023, Proceedings

AvBirgit Milius,Simon Collart-Dutilleulm. fl.

Häftad, Engelska, 2023

919 kr

Skickas inom 10-15 vardagar

Maurice H. ter Beek, Simon Collart-Dutilleul, Thierry Lecomte - Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, Häftad

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

6th International Conference, RSSRail 2025, Pisa, Italy, November 26–28, 2025, Proceedings

AvMaurice H. ter Beek,Simon Collart-Dutilleulm. fl.

Häftad, Engelska, 2025

819 kr

Skickas inom 10-15 vardagar

Thierry Lecomte, Ralf Pinger, Alexander Romanovsky - Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, Häftad
Del 9707 - Lecture Notes in Computer Science

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

AvThierry Lecomte,Ralf Pingerm. fl.

Häftad, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar

Leila Ribeiro, Thierry Lecomte - Formal Methods: Foundations and Applications, Häftad
Del 10090 - Lecture Notes in Computer Science

Formal Methods: Foundations and Applications

19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

AvLeila Ribeiro,Thierry Lecomte

Häftad, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar

Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky - Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, Häftad
Del 10598 - Lecture Notes in Computer Science

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings

AvAlessandro Fantechi,Thierry Lecomtem. fl.

Häftad, Engelska, 2017

709 kr

Skickas inom 10-15 vardagar