Limit Search Results
Author
SpringerLink (Online service)
(66)
Shenoi, Sujeet. editor.
(9)
Anderson, Tom. editor.
(7)
Butts, Jonathan. editor.
(4)
Dale, Chris. editor.
(4)
Language
Publication Date
-
Subject
Software engineering.
(34)
Data protection.
(20)
Information Systems.
(12)
Theory of Computation.
(12)
Computer Communication Networks.
(11)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
66 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Critical Infrastructure Protection
Critical Infrastructure Protection
Author 
Goetz, Eric. editor. Shenoi, Sujeet. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-75462-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Critical Infrastructure Protection II
Critical Infrastructure Protection II
Author 
Papa, Mauricio. editor. Shenoi, Sujeet. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-88523-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Critical Information Infrastructures Resilience and Protection
Critical Information Infrastructures Resilience and Protection
Author 
Hyslop, Maitland. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-71862-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings
Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings
Author 
Haxthausen, Anne E. editor. (orcid)0000-0001-7349-8872 Serwe, Wendelin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-68150-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Critical Information Infrastructures Security 12th International Conference, CRITIS 2017, Lucca, Italy, October 8-13, 2017, Revised Selected Papers
Critical Information Infrastructures Security 12th International Conference, CRITIS 2017, Lucca, Italy, October 8-13, 2017, Revised Selected Papers
Author 
D'Agostino, Gregorio. editor. (orcid)0000-0003-3657-5335 Scala, Antonio. editor. (orcid)0000-0002-3414-2686 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99843-5
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Critical Infrastructure Protection XII 12th IFIP WG 11.10 International Conference, ICCIP 2018, Arlington, VA, USA, March 12-14, 2018, Revised Selected Papers
Critical Infrastructure Protection XII 12th IFIP WG 11.10 International Conference, ICCIP 2018, Arlington, VA, USA, March 12-14, 2018, Revised Selected Papers
Author 
Staggs, Jason. editor. Shenoi, Sujeet. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04537-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
Author 
Howar, Falk. editor. Barnat, Jiří. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00244-2
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Critical Infrastructures, Key Resources, Key Assets Risk, Vulnerability, Resilience, Fragility, and Perception Governance
Critical Infrastructures, Key Resources, Key Assets Risk, Vulnerability, Resilience, Fragility, and Perception Governance
Author 
Gheorghe, Adrian V. author. Vamanu, Dan V. author. Katina, Polinpapilinho F. author. Pulfer, Roland. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-69224-1
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
Author 
Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-53946-1
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Critical Systems: Formal Methods and Automated Verification Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings
Critical Systems: Formal Methods and Automated Verification Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings
Author 
Petrucci, Laure. editor. (orcid)0000-0003-3154-5268 Seceleanu, Cristina. editor. Cavalcanti, Ana. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67113-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
Author 
ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Knapp, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45943-1
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers
Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers
Author 
Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29510-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action