Dienstleistungen für
Corporate Books
Publishing Lösungen
Aktuelles
Schweizer Recht
Ausländisches Recht
Über unseren Shop
Computer Safety, Reliability, and Security
Computer Safety, Reliability, and Security
38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings
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 reliability modeling; security engineering and risk assessment; safety argumentation; verification and validation of autonomous systems; and interactive systems and design validation.
August 2019, ca. 316 Seiten, Programming and Software Engineering, Lecture Notes in Computer Science, Englisch
Springer EN
978-3-030-26600-4
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 reliability modeling; security engineering and risk assessment; safety argumentation; verification and validation of autonomous systems; and interactive systems and design validation.
August 2019, ca. 316 Seiten, Programming and Software Engineering, Lecture Notes in Computer Science, Englisch
Springer EN
978-3-030-26600-4
Weitere Titel der Reihe: Programming and Software Engineering
Alle anzeigenComputer Safety, Reliability, and Security
SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings
Springer EN, 2019
978-3-030-26249-5
ca. 92.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
OpenMP: Conquering the Full Hardware Spectrum
15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings
Springer EN, 2019
978-3-030-28595-1
ca. 92.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Search-Based Software Engineering
11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings
Springer EN, 2019
978-3-030-27454-2
ca. 70.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Formal Methods for Industrial Critical Systems
24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
Springer EN, 2019
978-3-030-27007-0
ca. 70.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
End-User Development
7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings
Springer EN, 2019
978-3-030-24780-5
ca. 82.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Services Computing – SCC 2019
16th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings
Springer EN, 2019
978-3-030-23553-6
ca. 70.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Reuse in the Big Data Era
18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings
Springer EN, 2019
978-3-030-22887-3
ca. 70.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Services – SERVICES 2019
15th World Congress, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings
Springer EN, 2019
978-3-030-23380-8
ca. 70.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Web Services – ICWS 2019
26th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings
Springer EN, 2019
978-3-030-23498-0
ca. 70.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Coordination Models and Languages
21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
Springer EN, 2019
978-3-030-22396-0
ca. 70.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Intelligent Tutoring Systems
15th International Conference, ITS 2019, Kingston, Jamaica, June 3–7, 2019, Proceedings
Springer EN, 2019
978-3-030-22243-7
ca. 82.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Formal Techniques for Distributed Objects, Components, and Systems
39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
Springer EN, 2019
978-3-030-21758-7
ca. 89.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Weitere Titel zum Thema
Introduction to Computational Chemistry
Methods and Applications
Elsevier, 2026
978-0-443-29921-6
ca. 199.00 CHF
erscheint im Mai
AI-Driven Smart Healthcare
Powered by Hyperscale Computing and Next Generation Networks
978-1-394-29703-0
ca. 165.00 CHF
erscheint im Januar
Applied Machine Learning in Chemical Process Engineering
A Practical Approach
Elsevier, 2026
978-0-443-33943-1
ca. 289.00 CHF
erscheint im Januar
Green Federated Learning for Sustainable Smart Computing
Wiley, 2026
978-1-394-35565-5
ca. 279.00 CHF
erscheint im Januar
AI-Driven Urban Planning
Shaping the Future of Cities
Elsevier, 2026
978-0-443-45040-2
ca. 179.00 CHF
erscheint im Juni
Exploring Infant Cry
Medical and Technical Analysis and Signal Processing Perspectives
978-0-443-38347-2
ca. 235.00 CHF
erscheint im März
Data Science and Interactive Visualization Tools for the Analysis of ...
Elsevier, 2026
978-0-443-21961-0
ca. 199.00 CHF
erscheint im Februar
Transforming Industries, Empowering Societies
A Comprehensive Examination of Industry 5.0 and Society 5.0
978-0-443-32878-7
ca. 235.00 CHF
erscheint im Januar
Technology-Assisted Physical Gait Rehabilitation
How Robotics, Data Science, and Neuroscience are Changing Modern Physical Therapy
Elsevier, 2026
978-0-443-21748-7
ca. 226.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Decoding Explainable AI
Navigating Industry 4.0 and Anticipating Industry 5.0
Wiley, 2026
978-1-394-34220-4
ca. 269.00 CHF
erscheint im Mai