Limit Search Results
Author
SpringerLink (Online service)
(1855)
Yung, Moti. editor.
(38)
Fischer-Hübner, Simone. editor.
(16)
Lopez, Javier. editor.
(16)
Jajodia, Sushil. editor.
(15)
Language
Publication Date
-
Subject
Computer science.
(1324)
Data encryption (Computer science).
(969)
Data structures (Computer science).
(833)
Computer Communication Networks.
(692)
Computer software.
(561)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
2664 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for HANDBOOK OF FORMAL ANALYSIS AND VERIFICATION IN CRYPTOGRAPHY
HANDBOOK OF FORMAL ANALYSIS AND VERIFICATION IN CRYPTOGRAPHY
Author 
Akleylek, Sedat. Dundua, Besik.
Preferred Shelf Number 
QA76.9 .D335
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003090052
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Deep learning and scientific computing with R torch
Deep learning and scientific computing with R torch
Author 
Keydana, Sigrid, author.
Preferred Shelf Number 
Q325.73
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003275923
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Nature-inspired algorithms : for engineers and scientists
Nature-inspired algorithms : for engineers and scientists
Author 
Mishra, K. K. (Professor of Computer Science), author.
Preferred Shelf Number 
QA76.9 .N37
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003313649
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for AI for scientific discovery
AI for scientific discovery
Author 
Hastings, Janna, author.
Preferred Shelf Number 
Q180.55 .E4
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003226642
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Making with data : physical design and craft in a data-driven world
Making with data : physical design and craft in a data-driven world
Author 
Huron, Samuel, editor. Nagel, Till, editor. Oehlberg, Lora, editor. Willett, Wesley, editor.
Preferred Shelf Number 
QA76.9 .I52 M355 2023
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003264903
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Data structure using C : theory and program
Data structure using C : theory and program
Author 
Siddiqui, Ahmad Talha, author. Siddiqui, Shoeb Ahad, author.
Preferred Shelf Number 
QA76.9 .D35
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003453291
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Emerging Research in Computing, Information, Communication and Applications Proceedings of ERCICA 2022
Emerging Research in Computing, Information, Communication and Applications Proceedings of ERCICA 2022
Author 
Shetty, N. R. editor. Patnaik, L. M. editor. Prasad, N. H. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-5482-5
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part II
Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part II
Author 
Jan, Mian Ahmad. editor. Khan, Fazlullah. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-23947-2
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Research and Innovation Forum 2022 Rupture, Resilience and Recovery in the Post-Covid World
Research and Innovation Forum 2022 Rupture, Resilience and Recovery in the Post-Covid World
Author 
Visvizi, Anna. editor. Troisi, Orlando. editor. Grimaldi, Mara. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-19560-0
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Blockchain and its Applications in Industry 4.0
Blockchain and its Applications in Industry 4.0
Author 
Namasudra, Suyel. editor. Akkaya, Kemal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-8730-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Intelligent Systems and Machine Learning First EAI International Conference, ICISML 2022, Hyderabad, India, December 16-17, 2022, Proceedings, Part II
Intelligent Systems and Machine Learning First EAI International Conference, ICISML 2022, Hyderabad, India, December 16-17, 2022, Proceedings, Part II
Author 
Nandan Mohanty, Sachi. editor. Garcia Diaz, Vicente. editor. Satish Kumar, G. A. E. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-35081-8
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Research and Education in Urban History in the Age of Digital Libraries Third International Workshop, UHDL 2023, Munich, Germany, March 27-28, 2023, Revised Selected Papers
Research and Education in Urban History in the Age of Digital Libraries Third International Workshop, UHDL 2023, Munich, Germany, March 27-28, 2023, Revised Selected Papers
Author 
Münster, Sander. editor. Pattee, Aaron. editor. Kröber, Cindy. editor. Niebling, Florian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-38871-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action