Limit Search Results
Author
SpringerLink (Online service)
(11)
Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121
(3)
Wiley InterScience (Online service)
(3)
Merkow, Mark S., author.
(2)
Raghavan, Lakshmikanth.
(2)
Language
Publication Date
-
Subject
Computer software -- Reliability.
(15)
Software engineering.
(9)
Electronic books.
(8)
Computer security.
(5)
Computer Science Logic and Foundations of Programming.
(4)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
36 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Safety Assurance under Uncertainties : From Software to Cyber-Physical/Machine Learning Systems
Safety Assurance under Uncertainties : From Software to Cyber-Physical/Machine Learning Systems
Author 
Hasuo, Ichiro editor Ishikawa, Fuyuki editor
Preferred Shelf Number 
QA76.9 .A25
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003093350
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Software Design for Resilient Computer Systems
Software Design for Resilient Computer Systems
Author 
Schagaev, Igor. author. Gutknecht, Jürg. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-55139-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Computer Safety, Reliability, and Security 43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18-20, 2024, Proceedings
Computer Safety, Reliability, and Security 43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18-20, 2024, Proceedings
Author 
Ceccarelli, Andrea. editor. (orcid)0000-0002-2291-2428 Trapp, Mario. editor. Bondavalli, Andrea. editor. (orcid)0000-0001-7366-6530 Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-68606-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday
Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday
Author 
Kiefer, Stefan. editor. Křetínský, Jan. editor. Kučera, Antonín. editor. (orcid)0000-0002-6602-8028 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-56222-8
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Multi-criteria decision models in software reliability : methods and applications
Multi-criteria decision models in software reliability : methods and applications
Author 
Mishra, Ashish (Ashish Kumar), editor. Dieu Linh, Nguyen Thi, editor. Bhardwaj, Manish (Professor of computer science and engineering), editor. Pinto, Carla M. A. (Computer scientist), editor.
Preferred Shelf Number 
QA76.76 .R44 M85 2023
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780367816414
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Internet of Things, Smart Spaces, and Next Generation Networks and Systems 22nd International Conference, NEW2AN 2022, Tashkent, Uzbekistan, December 15-16, 2022, Proceedings
Internet of Things, Smart Spaces, and Next Generation Networks and Systems 22nd International Conference, NEW2AN 2022, Tashkent, Uzbekistan, December 15-16, 2022, Proceedings
Author 
Koucheryavy, Yevgeni. editor. (orcid) Aziz, Ahmed. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30258-9
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Software reliability techniques for real-world applications
Software reliability techniques for real-world applications
Author 
Youree, Roger K., author.
Preferred Shelf Number 
QA76.76 .R44
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119931850
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for The Electrical Engineering Handbook - Six Volume Set
The Electrical Engineering Handbook - Six Volume Set
Author 
Dorf, Richard C., editor. Taylor and Francis.
Preferred Shelf Number 
R857 .B54
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Self-Regulation in Activity Theory : Applied Work Design for Human-Computer and Human-Machine Systems
Self-Regulation in Activity Theory : Applied Work Design for Human-Computer and Human-Machine Systems
Author 
Bedny, Gregory Z., author. Karwowski, Waldemar, author. Bedny, Inna, author.
Preferred Shelf Number 
TA166 .B436 2018
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/e/9781466569355
Taylor & Francis https://www.taylorfrancis.com/books/9780429188145
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Real-time embedded systems
Real-time embedded systems
Author 
Wang, Jiacun, 1963- author.
Preferred Shelf Number 
TK7895 .E42
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119420712
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Artificial neural network for software reliability prediction
Artificial neural network for software reliability prediction
Author 
Bisi, Manjubala, author. Goyal, Neeraj Kumar, author.
Preferred Shelf Number 
QA76.87
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119223931
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings
Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings
Author 
Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66284-8
Format: 
Availability 
Online Library~1
Available:
Copies: