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
13. 
Cover image for Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Author 
Bogomolov, Sergiy. editor. Martel, Matthieu. editor. Prabhakar, Pavithra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54292-8
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Dependability Engineering and Complex Systems Proceedings of the Eleventh International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 27-July 1, 2016, Brunów, Poland
Dependability Engineering and Complex Systems Proceedings of the Eleventh International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 27-July 1, 2016, Brunów, Poland
Author 
Zamojski, Wojciech. editor. Mazurkiewicz, Jacek. editor. Sugier, Jarosław. editor. (orcid)0000-0003-1452-3067 Walkowiak, Tomasz. editor. Kacprzyk, Janusz. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-39639-2
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Eurocode-Compliant Seismic Analysis and Design of R/C Buildings Concepts, Commentary and Worked Examples with Flowcharts
Eurocode-Compliant Seismic Analysis and Design of R/C Buildings Concepts, Commentary and Worked Examples with Flowcharts
Author 
Avramidis, Ioannis. author. Athanatopoulou, A. author. Morfidis, Konstantinos. author. Sextos, Anastasios. author. Giaralis, Agathoklis. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-25270-4
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings
Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings
Author 
Skavhaug, Amund. editor. Guiochet, Jérémie. 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-45480-1
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Smart Electromechanical Systems
Smart Electromechanical Systems
Author 
Gorodetskiy, Andrey E. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-27547-5
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Software Design for Resilient Computer Systems
Software Design for Resilient Computer Systems
Author 
Schagaev, Igor. author. Thomas, Kaegi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29465-0
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Computer system reliability : safety and usability
Computer system reliability : safety and usability
Author 
Dhillon, B. S., author.
Preferred Shelf Number 
QA76.76 .R44 D495 2013
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Reliability and availability of cloud computing
Reliability and availability of cloud computing
Author 
Bauer, Eric. Adams, Randee. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6266788
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Secure and resilient software : requirements, test cases, and testing methods
Secure and resilient software : requirements, test cases, and testing methods
Author 
Merkow, Mark S., author. Raghavan, Lakshmikanth.
Preferred Shelf Number 
QA76.76 .T48 M47 2012
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Model-Based Requirements Engineering
Model-Based Requirements Engineering
Author 
Holt, Jon Perry, Simon A Brownsword, Mike
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1049/PBPC009E
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Applied software measurement global analysis of productivity and quality
Applied software measurement global analysis of productivity and quality
Author 
Jones, Capers.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Secure and resilient software development
Secure and resilient software development
Author 
Merkow, Mark S., author. Raghavan, Lakshmikanth.
Preferred Shelf Number 
QA76.76 .D47 M466 2010
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies: