Limit Search Results
Author
SpringerLink (Online service)
(35)
Ab Rahman, Nurul Hidayah. editor.
(2)
Aldini, Alessandro. editor.
(2)
Alrabaee, Saed. editor.
(2)
Barthe, Gilles. editor.
(2)
Language
Publication Date
-
Subject
Computer science.
(24)
Logic design.
(21)
Software engineering.
(15)
Computer Communication Networks.
(13)
Data and Information Security.
(9)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
39 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Emerging Trends in Expert Applications and Security Proceedings of 2nd ICETEAS 2023, Volume 1
Emerging Trends in Expert Applications and Security Proceedings of 2nd ICETEAS 2023, Volume 1
Author 
Rathore, Vijay Singh. editor. Tavares, João Manuel R. S. editor. Piuri, Vincenzo. editor. Surendiran, B. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-1909-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Intelligent Computing and Applications Proceedings of ICDIC 2020
Intelligent Computing and Applications Proceedings of ICDIC 2020
Author 
Rao, B. Narendra Kumar. editor. Balasubramanian, R. editor. Wang, Shiuh-Jeng. editor. Nayak, Richi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-4162-7
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Proceedings of 3rd International Conference on Recent Trends in Machine Learning, IoT, Smart Cities and Applications ICMISC 2022
Proceedings of 3rd International Conference on Recent Trends in Machine Learning, IoT, Smart Cities and Applications ICMISC 2022
Author 
Gunjan, Vinit Kumar. editor. Zurada, Jacek M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-6088-8
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Explainable AI for Cybersecurity
Explainable AI for Cybersecurity
Author 
Pan, Zhixin. author. Mishra, Prabhat. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-46479-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Network and Parallel Computing 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 – December 1, 2018, Proceedings
Network and Parallel Computing 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 – December 1, 2018, Proceedings
Author 
Zhang, Feng. editor. (orcid)0000-0003-1983-7321 Zhai, Jidong. editor. Snir, Marc. editor. Jin, Hai. editor. Kasahara, Hironori. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05677-3
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Smart Blockchain First International Conference, SmartBlock 2018, Tokyo, Japan, December 10–12, 2018, Proceedings
Smart Blockchain First International Conference, SmartBlock 2018, Tokyo, Japan, December 10–12, 2018, Proceedings
Author 
Qiu, Meikang. editor. (orcid)0000-0002-1004-0140 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05764-0
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Trusted Computing for Embedded Systems
Trusted Computing for Embedded Systems
Author 
Candaele, Bernard. editor. Soudris, Dimitrios. editor. Anagnostopoulos, Iraklis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09420-5
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Enterprise architecture and information assurance : developing a secure foundation
Enterprise architecture and information assurance : developing a secure foundation
Author 
Scholz, James A., author.
Preferred Shelf Number 
QA76.9 .D314 S34 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
Author 
Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334825.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39634-2
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings
Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings
Author 
Higashino, Teruo. editor. Katayama, Yoshiaki. editor. Masuzawa, Toshimitsu. editor. Potop-Butucaru, Maria. editor. Yamashita, Masafumi. editor.
Preferred Shelf Number 
ONLINE(332964.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03089-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Programming Languages and Systems 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings
Programming Languages and Systems 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings
Author 
Jhala, Ranjit. editor. Igarashi, Atsushi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35182-2
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
Author 
Beringer, Lennart. editor. Felty, Amy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32347-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action