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 Database Systems for Advanced Applications. DASFAA 2024 International Workshops BDMS, GDMA, BDQM and ERDSE, Gifu, Japan, July 2-5, 2024, Proceedings
Database Systems for Advanced Applications. DASFAA 2024 International Workshops BDMS, GDMA, BDQM and ERDSE, Gifu, Japan, July 2-5, 2024, Proceedings
Author 
Morishima, Atsuyuki. editor. (orcid)0000-0003-4606-9065 Li, Guoliang. editor. (orcid)0000-0002-1398-0621 Ishikawa, Yoshiharu. editor. (orcid)0000-0003-3875-3262 Amer-Yahia, Sihem. editor. (orcid)0000-0002-6194-4502 Jagadish, H. V. editor. (orcid)0000-0003-0724-5214
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0914-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Mathematical Foundations for Side-Channel Analysis of Cryptographic Systems
Mathematical Foundations for Side-Channel Analysis of Cryptographic Systems
Author 
Cheng, Wei. author. (orcid)0000-0001-9433-7576 Guilley, Sylvain. author. (orcid)0000-0002-5044-3534 Rioul, Olivier. author. (orcid)0000-0002-8681-8916 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-64399-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024, Proceedings, Part II
Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024, Proceedings, Part II
Author 
Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Kim, Jinman. editor. (orcid)0000-0001-5960-1060 Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Deng, Zhigang. editor. (orcid)0000-0002-0452-8676 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-82021-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for PRIMA 2024: Principles and Practice of Multi-Agent Systems 25th International Conference, Kyoto, Japan, November 18-24, 2024, Proceedings
PRIMA 2024: Principles and Practice of Multi-Agent Systems 25th International Conference, Kyoto, Japan, November 18-24, 2024, Proceedings
Author 
Arisaka, Ryuta. editor. (orcid)0000-0003-3203-1517 Sanchez-Anguix, Victor. editor. (orcid)0000-0003-4851-0037 Stein, Sebastian. editor. (orcid)0000-0003-2858-8857 Aydoğan, Reyhan. editor. (orcid)0000-0002-5260-9999 van der Torre, Leon. editor. (orcid)0000-0003-4330-3717
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77367-9
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
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:
9. 
Cover image for Multi-Agent Systems 21st European Conference, EUMAS 2024, Dublin, Ireland, August 26-28, 2024, Proceedings
Multi-Agent Systems 21st European Conference, EUMAS 2024, Dublin, Ireland, August 26-28, 2024, Proceedings
Author 
Collier, Rem. editor. (orcid)0000-0003-0319-0797 Ricci, Alessandro. editor. (orcid)0000-0002-9222-5092 Nallur, Vivek. editor. (orcid)0000-0003-0447-4150 Burattini, Samuele. editor. (orcid)0009-0009-4853-7783 Omicini, Andrea. editor. (orcid)0000-0002-6655-3869
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-93930-3
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
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:
11. 
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:
12. 
Cover image for Advances in Cryptology - CRYPTO 2025 45th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2025, Proceedings, Part V
Advances in Cryptology - CRYPTO 2025 45th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2025, Proceedings, Part V
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-01901-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets