Limit Search Results
Author
SpringerLink (Online service)
(87)
Kamara, Seny F. editor.
(8)
Pattanaik, Kiran Kumar. editor.
(8)
Tauman Kalai, Yael. editor.
(8)
Verma, Anshul. editor.
(8)
Language
Publication Date
-
Subject
Coding theory.
(87)
Information theory.
(83)
Computer networks .
(51)
Computer Communication Networks.
(44)
Application software.
(42)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
87 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for A Concise Introduction to Software Engineering With Open Source and GenAI
A Concise Introduction to Software Engineering With Open Source and GenAI
Author 
Jalote, Pankaj. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74318-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Guide to Software Verification with Frama-C Core Components, Usages, and Applications
Guide to Software Verification with Frama-C Core Components, Usages, and Applications
Author 
Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813 Prevosto, Virgile. editor. Signoles, Julien. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-55608-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Fast Software Encryption 23rd International Conference, FSE 2016, Bochum, Germany, March 20-23, 2016, Revised Selected Papers
Fast Software Encryption 23rd International Conference, FSE 2016, Bochum, Germany, March 20-23, 2016, Revised Selected Papers
Author 
Peyrin, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-52993-5
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Human-Computer Interaction 10th Iberoamerican Conference, HCI-COLLAB 2024, Pereira, Colombia, June 4-7, 2024, Revised Selected Papers
Human-Computer Interaction 10th Iberoamerican Conference, HCI-COLLAB 2024, Pereira, Colombia, June 4-7, 2024, Revised Selected Papers
Author 
Agredo-Delgado, Vanessa. editor. (orcid)0000-0003-0870-6895 Ruiz, Pablo H. editor. (orcid)0000-0003-2098-2614 Meneses Escobar, Carlos Augusto. editor. (orcid)0000-0002-8192-6889 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-91328-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Advances in Cryptology - CRYPTO 2025 45th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2025, Proceedings, Part VII
Advances in Cryptology - CRYPTO 2025 45th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2025, Proceedings, Part VII
Author 
Tauman Kalai, Yael. editor. Kamara, Seny F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-032-01907-3
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Advances in Cryptology - CRYPTO 2025 45th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2025, Proceedings, Part III
Advances in Cryptology - CRYPTO 2025 45th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2025, Proceedings, Part III
Author 
Tauman Kalai, Yael. editor. Kamara, Seny F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-032-01881-6
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Advances in Cryptology - CRYPTO 2025 45th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2025, Proceedings, Part IV
Advances in Cryptology - CRYPTO 2025 45th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2025, Proceedings, Part IV
Author 
Tauman Kalai, Yael. editor. Kamara, Seny F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-032-01884-7
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Product Lifecycle Management. Integrating Digital Technologies for Sustainability and Innovation 21st IFIP WG 5.1 International Conference, PLM 2024, Bangkok, Thailand, July 7-10, 2024, Revised Selected Papers, Part I
Product Lifecycle Management. Integrating Digital Technologies for Sustainability and Innovation 21st IFIP WG 5.1 International Conference, PLM 2024, Bangkok, Thailand, July 7-10, 2024, Revised Selected Papers, Part I
Author 
Sureephong, Pradorn. editor. (orcid)0000-0002-2158-1495 Danjou, Christophe. editor. (orcid)0000-0002-9575-0087 Bouras, Abdelaziz. editor. (orcid)0000-0001-5765-1259 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-93319-6
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Product Lifecycle Management. Leveraging AI, Digital Twins, and Smart Technologies 21st IFIP WG 5.1 International Conference, PLM 2024, Bangkok, Thailand, July 7-10, 2024, Revised Selected Papers Part II
Product Lifecycle Management. Leveraging AI, Digital Twins, and Smart Technologies 21st IFIP WG 5.1 International Conference, PLM 2024, Bangkok, Thailand, July 7-10, 2024, Revised Selected Papers Part II
Author 
Sureephong, Pradorn. editor. (orcid)0000-0002-2158-1495 Danjou, Christophe. editor. (orcid)0000-0002-9575-0087 Bouras, Abdelaziz. editor. (orcid)0000-0001-5765-1259 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-93323-3
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Geographical Information Systems 5th Latin American Conference, GIS-LATAM 2024, Mexico City, Mexico, September 2-6, 2024, Proceedings
Geographical Information Systems 5th Latin American Conference, GIS-LATAM 2024, Mexico City, Mexico, September 2-6, 2024, Proceedings
Author 
Mata-Rivera, Miguel Félix. editor. (orcid)0000-0001-9714-7137 Zagal-Flores, Roberto. editor. (orcid)0000-0001-5649-6189 Elisabeth Ballari, Daniela. editor. (orcid)0000-0002-6926-4827 León-Borges, José Antonio. editor. (orcid)0000-0002-5840-7407 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-80017-7
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for HCI for Cybersecurity, Privacy and Trust 7th International Conference, HCI-CPT 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II
HCI for Cybersecurity, Privacy and Trust 7th International Conference, HCI-CPT 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II
Author 
Moallem, Abbas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-92840-6
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Advanced Network Technologies and Intelligent Computing 4th International Conference, ANTIC 2024, Varanasi, India, December 19-21, 2024, Proceedings, Part III
Advanced Network Technologies and Intelligent Computing 4th International Conference, ANTIC 2024, Varanasi, India, December 19-21, 2024, Proceedings, Part III
Author 
Verma, Anshul. editor. Verma, Pradeepika. editor. (orcid)0000-0001-7404-2500 Pattanaik, Kiran Kumar. editor. Buyya, Rajkumar. editor. Dasgupta, Dipankar. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-83793-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets