Skip to main content

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...
  • Computer Safety, Reliability, and Security

    44th International Conference, SAFECOMP 2025, Stockholm, Sweden, September 10–12, 2025, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 44th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2025, held in Stockholm, Sweden, during September 2025.The 15 full papers included in these proceedings were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows: Safety Arguments/Cases; Data Sets and ... Read more

    $83.29 CAD

  • Computer Safety, Reliability, and Security

    45th International Conference, SAFECOMP 2026, Valencia, Spain, September 23–25, 2026, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 45th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2026, held in Valencia, Spain, during September 23–25, 2026.The 23 full papers included in this volume were carefully reviewed and selected from 125 submissions. The papers cover the following topical sections: Fault tolerance and diagnosis; Safety Protection; ... Read more

    $72.99 CAD

  • Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops

    CoC3CPS, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Stockholm, Sweden, September 9, 2025, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the Workshops held in conjunction with the 44th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2025, which took place in Stockholm, Sweden, during September 2025.The 43 papers included in this book were carefully reviewed and selected from a total of 61 submissions to the following six workshops:**·**CoC3CPS 2025, Co-Design ... Read more

    $93.49 CAD

  • Computer Safety, Reliability, and Security

    41st International Conference, SAFECOMP 2022, Munich, Germany, September 6–9, 2022, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 41st International Conference on Computer Safety, Reliability and Security, SAFECOMP 2022, which took place in Munich, Germany, in September 2022.The 24 full papers included in this volume were carefully reviewed and selected from 93 submissions. SafeComp has contributed to the progress of the state-of-the-art in dependable application of computers in ... Read more

    $83.29 CAD

  • Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops

    DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17, 2024, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the Workshops held in conjunction with the 43rd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2024, which took place in Florence, Italy, during September 2024.The 36 papers included in this book were carefully reviewed and selected from a total of 64 submissions to the following workshops:DECSoS 2024 – 19th Workshop on ... Read more

    $102.99 CAD

  • Computer Safety, Reliability, and Security

    42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20–22, 2023, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 42nd International Conference on Computer Safety, Reliability and Security, SAFECOMP 2023, which took place in Toulouse, France, in September 2023.The 20 full papers included in this volume were carefully reviewed and selected from 100 submissions. They were organized in topical sections as follows: Safety assurance; software testing and ... Read more

    $83.29 CAD

  • Computer Safety, Reliability, and Security

    43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18–20, 2024, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 43rd International Conference on Computer Safety, Reliability and Security, SAFECOMP 2024, held in Florence, Italy, in September 2024.The 19 full papers included in this volume were carefully reviewed and selected from 80 submissions. They have been organized in topical sections as follows: Fault Injection and Tolerance; System and Software ... Read more

    $83.29 CAD

  • Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops

    ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2023, held in Toulouse, France, during September 19, 2023.The 35 full papers included in this volume were carefully reviewed and selected from 49 submissions.- 8th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2023)- 18th International Workshop on Dependable Smart Embedded ... Read more

    $102.49 CAD

  • Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops

    DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE Munich, Germany, September 6–9, 2022, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2022, which took place in Munich, Germany, in September 2022.The 23 full papers included in this volume were carefully reviewed and selected from 27 submissions.· 17th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded Cyber-Physical Systems and Systems-of-Systems (DECSoS 2021)· 3rd ... Read more

    $115.29 CAD

  • Computer Safety, Reliability, and Security

    38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 38th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2019, held in Turku, Finland, in September 2019.The 16 full and 5 short papers included in this volume were carefully reviewed and selected from 65 submissions. They were organized in topical sections named: formal verification; autonomous driving; safety and ... Read more

    $72.99 CAD

  • Computer Safety, Reliability, and Security

    39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 39th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2020, held in Lisbon, Portugal, in September 2020.*The 27 full and 2 short papers included in this volume were carefully reviewed and selected from 116 submissions. They were organized in topical sections named: safety cases and argumentation; formal verification and ... Read more

    $108.89 CAD

  • Computer Safety, Reliability, and Security

    SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2019, 38th International Conference on Computer Safety, Reliability and Security, in September 2019 in Turku, Finland.The 32 regular papers included in this volume were carefully reviewed and selected from 43 submissions; the book also contains two invited papers. The workshops included in this volume are ... Read more

    $83.99 CAD