Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
14 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Understanding Modern Dive Computers and Operation Protocols, Models, Tests, Data, Risk and Applications
Understanding Modern Dive Computers and Operation Protocols, Models, Tests, Data, Risk and Applications
Author 
Wienke, B. R. author. O'Leary, T. R. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94054-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Software Fault Detection and Correction: Modeling and Applications
Software Fault Detection and Correction: Modeling and Applications
Author 
Peng, Rui. author. Li, Yan-Fu. author. Liu, Yu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-1162-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Formal Methods for Safety and Security Case Studies for Aerospace Applications
Formal Methods for Safety and Security Case Studies for Aerospace Applications
Author 
Nanda, Manju. editor. Jeppu, Yogananda. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-4121-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Software Failure Investigation A Near-Miss Analysis Approach
Software Failure Investigation A Near-Miss Analysis Approach
Author 
Eloff, Jan. author. Bihina Bella, Madeleine. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61334-5
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Handbook of Model Checking
Handbook of Model Checking
Author 
Clarke, Edmund M. editor. Henzinger, Thomas A. editor. Veith, Helmut. editor. Bloem, Roderick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10575-8
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Quantitatives Entwicklungsmanagement Modellbasierte Analyse von Produktentwicklungsprozessen
Quantitatives Entwicklungsmanagement Modellbasierte Analyse von Produktentwicklungsprozessen
Author 
Hahn, Axel. author. Häusler, Stefan. author. große Austing, Stephan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(337101.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34510-4
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Software Product Quality Control
Software Product Quality Control
Author 
Wagner, Stefan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334625.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38571-1
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Mobile Schutzassistenz Grundlagen, Entwurfsmethodik, Gestaltanforderungen
Mobile Schutzassistenz Grundlagen, Entwurfsmethodik, Gestaltanforderungen
Author 
Breckenfelder, Christof. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(337705.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-658-01128-4
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Resilience Assessment and Evaluation of Computing Systems
Resilience Assessment and Evaluation of Computing Systems
Author 
Wolter, Katinka. editor. Avritzer, Alberto. editor. Vieira, Marco. editor. van Moorsel, Aad. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29032-9
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Simulator-based Human Factors Studies Across 25 Years The History of the Halden Man-Machine Laboratory
Simulator-based Human Factors Studies Across 25 Years The History of the Halden Man-Machine Laboratory
Author 
Skjerve, Ann Britt. editor. Bye, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-003-8
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Software Reliability Assessment with OR Applications
Software Reliability Assessment with OR Applications
Author 
Kapur, P.K. author. Pham, Hoang. author. Gupta, A. author. Jha, P.C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-204-9
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Robust and Online Large-Scale Optimization Models and Techniques for Transportation Systems
Robust and Online Large-Scale Optimization Models and Techniques for Transportation Systems
Author 
Ahuja, Ravindra K. editor. Möhring, Rolf H. editor. Zaroliagis, Christos D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05465-5
Format: 
Availability 
Online Library~1
Available:
Copies: