MARC details
| 000 -LEADER |
|---|
| fixed length control field |
02581nam a2200445Ia 4500 |
| 000 - LEADER |
|---|
| fixed length control field |
06235nam a22004815i 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
978-3-031-40953-0 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20240319121030.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
230913s2023 sz | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783031409530 |
| -- |
978-3-031-40953-0 |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
621.39;004.6 |
| 245 ## - TITLE STATEMENT |
|---|
| Title |
Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops |
| Statement of responsibility, etc. |
edited by Jérémie Guiochet, Stefano Tonetta, Erwin Schoitsch, Matthieu Roy, Friedemann Bitsch. |
| Medium |
[electronic resource] : |
| 250 ## - EDITION STATEMENT |
|---|
| Edition statement |
1st ed. 2023. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. |
|---|
| Place of publication, distribution, etc. |
Cham |
| Name of publisher, distributor, etc. |
Springer Nature Switzerland |
| Date of publication, distribution, etc. |
2023 |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
XVI, 438 p. 181 illus., 118 illus. in color. |
| Other physical details |
online resource. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
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 and Cyber-Physical Systems and Systems-of-Systems (DECSoS 2023) - - 10th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR 2023) - - Second International Workshop on Security and Safety Interactions (SENSEI 2023) - - First International Workshop on Safety/ Reliability/ Trustworthiness of Intelligent Transportation Systems (SRToITS 2023) - - 6th International Workshop on Artificial Intelligence Safety Engineering (WAISE 2023). |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Application software. |
| 9 (RLIN) |
35886 |
|
|---|
| Topical term or geographic name entry element |
Computer and Information Systems Applications. |
| 9 (RLIN) |
35887 |
|
|---|
| Topical term or geographic name entry element |
Computer Engineering and Networks. |
| 9 (RLIN) |
35888 |
|
|---|
| Topical term or geographic name entry element |
Computer engineering. |
| 9 (RLIN) |
35889 |
|
|---|
| Topical term or geographic name entry element |
Computer Imaging, Vision, Pattern Recognition and Graphics. |
| 9 (RLIN) |
35890 |
|
|---|
| Topical term or geographic name entry element |
Computer networks . |
| 9 (RLIN) |
35891 |
|
|---|
| Topical term or geographic name entry element |
Computer science. |
| 9 (RLIN) |
35892 |
|
|---|
| Topical term or geographic name entry element |
Computer vision. |
| 9 (RLIN) |
35893 |
|
|---|
| Topical term or geographic name entry element |
Data protection. |
| 9 (RLIN) |
35894 |
|
|---|
| Topical term or geographic name entry element |
Image processing |
| 9 (RLIN) |
35895 |
|
|---|
| Topical term or geographic name entry element |
Security Services. |
| 9 (RLIN) |
35896 |
|
|---|
| Topical term or geographic name entry element |
Software engineering. |
| 9 (RLIN) |
35897 |
|
|---|
| Topical term or geographic name entry element |
Software Engineering. |
| 9 (RLIN) |
35898 |
|
|---|
| Topical term or geographic name entry element |
Theory of Computation. |
| 9 (RLIN) |
35899 |
| 700 ## - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Bitsch, Friedemann. |
| 9 (RLIN) |
35900 |
|
|---|
| Personal name |
Guiochet, Jérémie. |
| 9 (RLIN) |
35901 |
|
|---|
| Personal name |
Roy, Matthieu. |
| 9 (RLIN) |
35902 |
|
|---|
| Personal name |
Schoitsch, Erwin. |
| 9 (RLIN) |
35903 |
|
|---|
| Personal name |
Tonetta, Stefano. |
| 9 (RLIN) |
35904 |
| 856 ## - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://doi.org/10.1007/978-3-031-40953-0">https://doi.org/10.1007/978-3-031-40953-0</a> |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Koha item type |
e-Book |
| Source of classification or shelving scheme |
Dewey Decimal Classification |
