Limit Search Results
Author
SpringerLink (Online service)
(57)
Chan, Yu-Wei. editor.
(8)
Jeong, Hwa-Young. editor.
(4)
Jeong, Hwa-Young. editor. (orcid)0000-0002-5017-934X
(4)
Ma, Hao Shang. editor.
(4)
Language
Publication Date
-
Subject
Computer networks .
(55)
Cooperating objects (Computer systems).
(19)
Cyber-Physical Systems.
(19)
Data protection.
(15)
Application software.
(14)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
57 Results Found Subscribe to search results
000000000DEFAULT
Print
1. 
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:
2. 
Cover image for Critical Information Infrastructures Security 11th International Conference, CRITIS 2016, Paris, France, October 10-12, 2016, Revised Selected Papers
Critical Information Infrastructures Security 11th International Conference, CRITIS 2016, Paris, France, October 10-12, 2016, Revised Selected Papers
Author 
Havarneanu, Grigore. editor. Setola, Roberto. editor. Nassopoulos, Hypatia. editor. Wolthusen, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71368-7
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Smart Sensors and Systems Innovations for Medical, Environmental, and IoT Applications
Smart Sensors and Systems Innovations for Medical, Environmental, and IoT Applications
Author 
Kyung, Chong-Min. editor. Yasuura, Hiroto. editor. Liu, Yongpan. editor. Lin, Youn-Long. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33201-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Security and Resiliency Analytics for Smart Grids Static and Dynamic Approaches
Security and Resiliency Analytics for Smart Grids Static and Dynamic Approaches
Author 
Al-Shaer, Ehab. author. Rahman, Mohammad Ashiqur. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-32871-3
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Critical Information Infrastructures Security 9th International Conference, CRITIS 2014, Limassol, Cyprus, October 13-15, 2014, Revised Selected Papers
Critical Information Infrastructures Security 9th International Conference, CRITIS 2014, Limassol, Cyprus, October 13-15, 2014, Revised Selected Papers
Author 
Panayiotou, Christos G. editor. Ellinas, Georgios. editor. Kyriakides, Elias. editor. Polycarpou, Marios M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-31664-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Management of Cyber Physical Objects in the Future Internet of Things Methods, Architectures and Applications
Management of Cyber Physical Objects in the Future Internet of Things Methods, Architectures and Applications
Author 
Guerrieri, Antonio. editor. Loscri, Valeria. editor. Rovella, Anna. editor. Fortino, Giancarlo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-26869-9
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Cyber-security of SCADA and Other Industrial Control Systems
Cyber-security of SCADA and Other Industrial Control Systems
Author 
Colbert, Edward J. M. editor. Kott, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-32125-7
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings
Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings
Author 
Crnkovic, Ivica. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45892-2
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
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:
Select an Action