Search Results for Critical

21 Results Found

1 2

000000000000DEFAULT

Cover image for Advances in Reliability and Safety Assessment for Critical Systems Proceedings of the 5th National Conference on Reliability and Safety (NCRS 2022)

Advances in Reliability and Safety Assessment for Critical Systems Proceedings of the 5th National Conference on Reliability and Safety (NCRS 2022)

Author

Senthil Kumar, C. editor. Sujatha, R. editor. Muthukumar, R. editor. Rao, K. Balaji. editor. Prakash, Raghu V. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-5049-2

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Critical Infrastructure Protection XIII 13th IFIP WG 11.10 International Conference, ICCIP 2019, Arlington, VA, USA, March 11–12, 2019, Revised Selected Papers

Critical Infrastructure Protection XIII 13th IFIP WG 11.10 International Conference, ICCIP 2019, Arlington, VA, USA, March 11–12, 2019, 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-34647-8

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

Author

Larsen, Kim Guldstrand. editor. Willemse, Tim. editor. (orcid)0000-0003-3049-7962 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-27008-7

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Critical Information Infrastructures Security 13th International Conference, CRITIS 2018, Kaunas, Lithuania, September 24-26, 2018, Revised Selected Papers

Critical Information Infrastructures Security 13th International Conference, CRITIS 2018, Kaunas, Lithuania, September 24-26, 2018, Revised Selected Papers

Author

Luiijf, Eric. editor. (orcid)0000-0002-1821-9890 Žutautaitė, Inga. editor. (orcid)0000-0002-6073-2823 Hämmerli, Bernhard M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-05849-4

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. 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-05416-2

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Computer Security. ESORICS 2024 International Workshops SECAI, DisA, CPS4CIP, and SecAssure, Bydgoszcz, Poland, September 16-20, 2024, Revised Selected Papers, Part II

Computer Security. ESORICS 2024 International Workshops SECAI, DisA, CPS4CIP, and SecAssure, Bydgoszcz, Poland, September 16-20, 2024, Revised Selected Papers, Part II

Author

Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393 Kalutarage, Harsha. editor. (orcid)0000-0001-6430-9558 Yanai, Naoto. editor. (orcid)0000-0002-0817-6188 Kozik, Rafał. editor. (orcid)0000-0001-7122-3306 Ksieniewicz, Paweł. editor. (orcid)0000-0001-9578-8395

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-82362-6

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for ICT Systems Security and Privacy Protection 40th IFIP International Conference, SEC 2025, Maribor, Slovenia, May 21-23, 2025, Proceedings, Part II

ICT Systems Security and Privacy Protection 40th IFIP International Conference, SEC 2025, Maribor, Slovenia, May 21-23, 2025, Proceedings, Part II

Author

Nemec Zlatolas, Lili. editor. (orcid)0000-0002-2086-9825 Rannenberg, Kai. editor. (orcid)0009-0000-6142-7161 Welzer, Tatjana. editor. (orcid)0000-0002-6865-4946 Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-92886-4

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Computer Security. ESORICS 2024 International Workshops DPM, CBT, and CyberICPS, Bydgoszcz, Poland, September 16-20, 2024, Revised Selected Papers, Part I

Computer Security. ESORICS 2024 International Workshops DPM, CBT, and CyberICPS, Bydgoszcz, Poland, September 16-20, 2024, Revised Selected Papers, Part I

Author

Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393 Barker, Ken. editor. Navarro-Arribas, Guillermo. editor. (orcid)0000-0003-3535-942X Pérez-Solà, Cristina. editor. (orcid)0000-0001-7534-1326 Delgado-Segura, Sergi. editor. (orcid)0000-0001-7783-7288

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-82349-7

Format:

Availability

Online Library~1

Available:
Copies:

Biological Computing

Author

Xu, Jin. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-3870-3

Format:

Availability

Online Library~1

Available:
Copies:

10.

ICT Systems Security and Privacy Protection 40th IFIP International Conference, SEC 2025, Maribor, Slovenia, May 21-23, 2025, Proceedings, Part I

Author

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-92882-6

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Computer Security. ESORICS 2023 International Workshops CPS4CIP, ADIoT, SecAssure, WASP, TAURIN, PriST-AI, and SECAI, The Hague, The Netherlands, September 25-29, 2023, Revised Selected Papers, Part II

Computer Security. ESORICS 2023 International Workshops CPS4CIP, ADIoT, SecAssure, WASP, TAURIN, PriST-AI, and SECAI, The Hague, The Netherlands, September 25-29, 2023, Revised Selected Papers, Part II

Author

Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683 Abie, Habtamu. editor. (orcid)0000-0003-0866-5050 Ranise, Silvio. editor. (orcid)0000-0001-7269-9285 Verderame, Luca. editor. (orcid)0000-0001-7155-7429 Cambiaso, Enrico. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-54129-2

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Data Augmentation, Labelling, and Imperfections Third MICCAI Workshop, DALI 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 12, 2023, Proceedings

Data Augmentation, Labelling, and Imperfections Third MICCAI Workshop, DALI 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 12, 2023, Proceedings

Author

Xue, Yuan. editor. (orcid)0000-0002-5390-9037 Chen, Chen. editor. (orcid)0000-0002-3525-9755 Chen, Chao. editor. (orcid)0000-0003-1703-6483 Zuo, Lianrui. editor. (orcid)0000-0002-5923-9097 Liu, Yihao. editor. (orcid)0000-0003-3187-9903

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-58171-7

Format:

Availability

Online Library~1

Available:
Copies:

1 2

	{displayName}	{count}
{error}