Skip to main content
Search Button
United States Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


Showing 1 - 12 of 12 results for “simon lecomte”
Skip side bar filters

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

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

    Edited by Maurice H. ter Beek, Simon Collart-Dutilleul, Thierry Lecomte ...
    Series series Springer Nature Proceedings Computer Science
    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 & ... Read more

    $58.99 USD

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

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

    Edited by Birgit Milius, Simon Collart-Dutilleul, Thierry Lecomte ...
    Series series Springer Nature Proceedings Computer Science
    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 ... Read more

    $62.99 USD

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

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

    Edited by Simon Collart-Dutilleul, Thierry Lecomte, Alexander Romanovsky ...
    Series series Springer Nature Proceedings Computer Science
    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 ... Read more

    $58.99 USD

People who read these also enjoyed

  • Artificial Intelligence Methods For Software Engineering

    by Meir Kalech, Rui Abreu, Mark Last ...
    Software is an integral part of our lives today. Modern software systems are highly complex and often pose new challenges in different aspects of Software Engineering (SE).Artificial Intelligence (AI) is a growing field in computer science that has been proven effective in applying and developing AI techniques to address various SE challenges.This unique compendium covers applications of state-of ... Read more

    $113.99 USD

  • Software Technologies

    10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers

    Edited by Jorge Cardoso, Pascal Lorenz, Leszek A. Maciaszek, Marten van Sinderen ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed proceedings of the 10th International Joint Conference on Software Technologies, ICSOFT 2015, held in Colmar, France, in July 2015.The 23 revised full papers presented were carefully reviewed and selected from 117 submissions. The papers are organized around the following conference tracks: enterprise software technologies; software project management; ... Read more

    $49.49 USD

  • ICT Innovations 2017

    Data-Driven Innovation. 9th International Conference, ICT Innovations 2017, Skopje, Macedonia, September 18-23, 2017, Proceedings

    Edited by Dimitar Trajanov, Verica Bakeva ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 9th International Conference on Data-Driven Innovation, ICT Innovations 2017, held in Skopje, Macedonia, in September 2017.The 26 full papers presented were carefully reviewed and selected from 90 submissions. They cover the following topics: big data analytics, cloud computing, data mining, digital signal processing, e-health, embedded systems ... Read more

    $49.99 USD

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

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

    Edited by Thierry Lecomte, Ralf Pinger, Alexander Romanovsky ...
    Series series Springer Nature Proceedings Computer Science
    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 ... Read more

    $49.99 USD

  • Evaluation of Novel Approaches to Software Engineering

    11th International Conference, ENASE 2016, Rome, Italy, April 27–28, 2016, Revised Selected Papers

    Edited by Leszek A. Maciaszek, Joaquim Filipe ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed proceedings of the 11th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2016, held in Rome, Italy, in April 2016.The 11 full papers presented were carefully reviewed and selected from 79 submissions. The mission of ENASE is to be a prime international forum to discuss and publish research findings and IT ... Read more

    $49.99 USD

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

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

    Edited by Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky ...
    Series series Springer Nature Proceedings Computer Science
    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 reviewed and selected from 34 submissions. They are organized in topical sections named: communication challenges in railway systems; formal modeling and ... Read more

    $49.99 USD

  • Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

    12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part V

    Edited by Tiziana Margaria, Bernhard Steffen ...
    Series Book 5 - Springer Nature Proceedings Computer Science
    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, ... Read more

    $49.99 USD

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

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

    Edited by Simon Collart-Dutilleul, Anne E. Haxthausen, Thierry Lecomte ...
    Series series Springer Nature Proceedings Computer Science
    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 ... Read more

    $62.99 USD

  • Model-Based Safety and Assessment

    8th International Symposium, IMBSA 2022, Munich, Germany, September 5–7, 2022, Proceedings

    Edited by Christel Seguin, Marc Zeller, Tatiana Prosvirnova ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 8th International Symposium on Model-Based Safety and Assessment, IMBSA 2022, held in Munich, Germany, in September 2022. The 15 revised full papers and 3 short papers presented were carefully reviewed and selected from 27 initial submissions. The papers focus on model-based and automated ways of assessing safety and other attributes of dependability of ... Read more

    $53.99 USD