Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
6 Results Found Subscribe to search results
000000DEFAULT
Print
1. 
Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
Author 
Lecomte, Thierry. editor. Pinger, Ralf. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33951-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Networks of Dissipative Systems Compositional Certification of Stability, Performance, and Safety
Networks of Dissipative Systems Compositional Certification of Stability, Performance, and Safety
Author 
Arcak, Murat. author. Meissen, Chris. author. Packard, Andrew. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29928-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Certification and Security in Inter-Organizational E-Service
Certification and Security in Inter-Organizational E-Service
Author 
Nardelli, Enrico. editor. Talamo, Maurizio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11397427
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings
Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings
Author 
Bouajjani, Ahmed. editor. Monniaux, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-52234-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for HCNA Networking Study Guide
HCNA Networking Study Guide
Author 
Huawei Technologies Co., Ltd. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-1554-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
Author 
Jobstmann, Barbara. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-49122-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets