Cărți de Thierry Lecomte

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 5th International Conference, RSSRail 2023, Berlin, Germany, October 10–12, 2023, Proceedings

Lecture Notes in Computer Science, nr. 14198

Editat de Birgit Milius et al.

8 sep 2023

Preț: 375^.97 lei 469^.97 lei

6-8 săpt.

-20%

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 4th International Conference, RSSRail 2022, Paris, France, June 1–2, 2022, Proceedings

Lecture Notes in Computer Science, nr. 13294

Editat de Simon Collart-Dutilleul et al.

21 mai 2022

Preț: 404^.07 lei 505^.09 lei

6-8 săpt.

-20%

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11495

Editat de Simon Collart-Dutilleul et al.

24 apr 2019

Preț: 379^.33 lei 474^.17 lei

6-8 săpt.

-20%

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10598

Editat de Alessandro Fantechi et al.

20 oct 2017

Preț: 322^.28 lei 402^.84 lei

6-8 săpt.

-20%

Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

Lecture Notes in Computer Science, nr. 10090

Editat de Leila Ribeiro et al.

13 noi 2016

Preț: 321^.33 lei 401^.67 lei

6-8 săpt.

-20%

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9707

Editat de Thierry Lecomte et al.

15 iun 2016

Preț: 321^.65 lei 402^.06 lei

6-8 săpt.

-20%