Limit Search Results
Author
SpringerLink (Online service)
(468)
Wiley InterScience (Online service)
(6)
Nakagawa, Toshio. author.
(5)
Mathew, Joseph. editor.
(4)
Pham, Hoang. author.
(4)
Language
Publication Date
-
Subject
System safety.
(426)
Engineering.
(261)
Engineering economy.
(72)
Engineering design.
(51)
Quality Control, Reliability, Safety and Risk.
(51)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
539 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings
Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings
Author 
Glässer, Uwe. editor. Creissac Campos, Jose. editor. Méry, Dominique. editor. Palanque, Philippe. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(521295.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33163-3
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Nuclear Medicine Technology Review Questions for the Board Examinations
Nuclear Medicine Technology Review Questions for the Board Examinations
Author 
Mantel, Eleanor. author. Reddin, Janet S. author. Cheng, Gang. author. Alavi, Abass. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(521736.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-26720-8
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Introduction to Software Architecture Innovative Design using Clean Architecture and Model-Driven Engineering
Introduction to Software Architecture Innovative Design using Clean Architecture and Model-Driven Engineering
Author 
Lano, Kevin. author. Yassipour Tehrani, Sobhan. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520650.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-44143-1
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part III
Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part III
Author 
Jan, Mian Ahmad. editor. Khan, Fazlullah. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520752.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-23944-1
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Design Science Research for a New Society: Society 5.0 18th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2023, Pretoria, South Africa, May 31 - June 2, 2023, Proceedings
Design Science Research for a New Society: Society 5.0 18th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2023, Pretoria, South Africa, May 31 - June 2, 2023, Proceedings
Author 
Gerber, Aurona. editor. Baskerville, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520865.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-32808-4
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Author 
Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520889.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-27481-7
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for AIxIA 2022 - Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings
AIxIA 2022 - Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings
Author 
Dovier, Agostino. editor. Montanari, Angelo. editor. Orlandini, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520898.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-27181-6
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part VIII
Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part VIII
Author 
Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.
Preferred Shelf Number 
XX(521014.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-37126-4
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Computer Safety, Reliability, and Security 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings
Computer Safety, Reliability, and Security 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings
Author 
Guiochet, Jérémie. editor. Tonetta, Stefano. editor. Bitsch, Friedemann. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521134.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-40923-3
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings
Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings
Author 
Guiochet, Jérémie. editor. Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Roy, Matthieu. editor. Bitsch, Friedemann. editor.
Preferred Shelf Number 
XX(521137.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-40953-0
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Applied Cryptography and Network Security Workshops ACNS 2023 Satellite Workshops, ADSC, AIBlock, AIHWS, AIoTS, CIMSS, Cloud S&P, SCI, SecMT, SiMLA, Kyoto, Japan, June 19-22, 2023, Proceedings
Applied Cryptography and Network Security Workshops ACNS 2023 Satellite Workshops, ADSC, AIBlock, AIHWS, AIoTS, CIMSS, Cloud S&P, SCI, SecMT, SiMLA, Kyoto, Japan, June 19-22, 2023, Proceedings
Author 
Zhou, Jianying. editor. (orcid) Batina, Lejla. editor. Li, Zengpeng. editor. Lin, Jingqiang. editor. Losiouk, Eleonora. editor.
Preferred Shelf Number 
XX(521216.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-41181-6
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Advances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection 21st International Conference, PAAMS 2023, Guimarães, Portugal, July 12-14, 2023, Proceedings
Advances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection 21st International Conference, PAAMS 2023, Guimarães, Portugal, July 12-14, 2023, Proceedings
Author 
Mathieu, Philippe. editor. Dignum, Frank. editor. Novais, Paulo. editor. De la Prieta, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521300.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-37616-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action