Limit Search Results
Author
Chakraborty, Rajat Subhra. editor.
(2)
Abeyratne, Ruwantissa. author.
(1)
Abie, Habtamu. editor.
(1)
Albanese, Massimiliano. editor.
(1)
Bai, Lin. author.
(1)
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
23 Results Found Subscribe to search results
00000000000DEFAULT
Print
13. 
Cover image for Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
Author 
Haxthausen, Anne E. editor. Huang, Wen-ling. editor. Roggenbach, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521073.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-40132-9
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part I
Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part I
Author 
Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.
Preferred Shelf Number 
XX(521188.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-37105-9
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Information Security Practice and Experience 18th International Conference, ISPEC 2023, Copenhagen, Denmark, August 24-25, 2023, Proceedings
Information Security Practice and Experience 18th International Conference, ISPEC 2023, Copenhagen, Denmark, August 24-25, 2023, Proceedings
Author 
Meng, Weizhi. editor. Yan, Zheng. editor. Piuri, Vincenzo. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521323.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-7032-2
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Computer Security. ESORICS 2022 International Workshops CyberICPS 2022, SECPRE 2022, SPOSE 2022, CPS4CIP 2022, CDT&SECOMANE 2022, EIS 2022, and SecAssure 2022, Copenhagen, Denmark, September 26-30, 2022, Revised Selected Papers
Computer Security. ESORICS 2022 International Workshops CyberICPS 2022, SECPRE 2022, SPOSE 2022, CPS4CIP 2022, CDT&SECOMANE 2022, EIS 2022, and SecAssure 2022, Copenhagen, Denmark, September 26-30, 2022, Revised Selected Papers
Author 
Katsikas, Sokratis. editor. (orcid) Cuppens, Frédéric. editor. Kalloniatis, Christos. editor. (orcid) Mylopoulos, John. editor. Pallas, Frank. editor.
Preferred Shelf Number 
XX(520983.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-25460-4
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Cyber Security, Cryptology, and Machine Learning 7th International Symposium, CSCML 2023, Be'er Sheva, Israel, June 29-30, 2023, Proceedings
Cyber Security, Cryptology, and Machine Learning 7th International Symposium, CSCML 2023, Be'er Sheva, Israel, June 29-30, 2023, Proceedings
Author 
Dolev, Shlomi. editor. Gudes, Ehud. editor. Paillier, Pascal. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520998.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34671-2
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Future Data and Security Engineering. Big Data, Security and Privacy, Smart City and Industry 4.0 Applications 10th International Conference, FDSE 2023, Da Nang, Vietnam, November 22-24, 2023, Proceedings
Future Data and Security Engineering. Big Data, Security and Privacy, Smart City and Industry 4.0 Applications 10th International Conference, FDSE 2023, Da Nang, Vietnam, November 22-24, 2023, Proceedings
Author 
Dang, Tran Khanh. editor. Küng, Josef. editor. Chung, Tai M. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520735.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-8296-7
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Intelligent Human Computer Interaction 14th International Conference, IHCI 2022, Tashkent, Uzbekistan, October 20-22, 2022, Revised Selected Papers
Intelligent Human Computer Interaction 14th International Conference, IHCI 2022, Tashkent, Uzbekistan, October 20-22, 2022, Revised Selected Papers
Author 
Zaynidinov, Hakimjon. editor. Singh, Madhusudan. editor. Tiwary, Uma Shanker. editor. Singh, Dhananjay. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(520933.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-27199-1
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Trust Management IX 9th IFIP WG 11.11 International Conference, IFIPTM 2015, Hamburg, Germany, May 26-28, 2015, Proceedings
Trust Management IX 9th IFIP WG 11.11 International Conference, IFIPTM 2015, Hamburg, Germany, May 26-28, 2015, Proceedings
Author 
Damsgaard Jensen, Christian. editor. Marsh, Stephen. editor. Dimitrakos, Theo. editor. Murayama, Yuko. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518679.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-18491-3
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Advances in Cryptology - EUROCRYPT 2015 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part I
Advances in Cryptology - EUROCRYPT 2015 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part I
Author 
Oswald, Elisabeth. editor. Fischlin, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518965.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46800-5
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Applied Reconfigurable Computing 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings
Applied Reconfigurable Computing 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings
Author 
Sano, Kentaro. editor. Soudris, Dimitrios. editor. Hübner, Michael. editor. Diniz, Pedro C. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519004.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-16214-0
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings
Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings
Author 
Pontelli, Enrico. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518922.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19686-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets