Limit Search Results
Author
SpringerLink (Online service)
(135)
Fehr, Serge. editor.
(10)
Chung, Kai-Min. editor. (orcid)0000-0002-3356-369X
(9)
Sasaki, Yu. editor. (orcid)0000-0002-1273-2394
(9)
Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276
(8)
Language
English
(135)
Publication Date
-
2024
(43)
2025
(41)
2016
(30)
2017
(20)
2013
(1)
Subject
Computer networks .
(134)
Computer science.
(96)
Theory of Computation.
(96)
Artificial intelligence.
(52)
Application software.
(47)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
135 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III
Author 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90660-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
Author 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90653-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Algorithmic Aspects of Cloud Computing 9th International Symposium, ALGOCLOUD 2024, London, UK, September 2-3, 2024, Revised Selected Papers
Algorithmic Aspects of Cloud Computing 9th International Symposium, ALGOCLOUD 2024, London, UK, September 2-3, 2024, Revised Selected Papers
Author 
Doka, Katerina. editor. Tsiropoulou, Eirini Eleni. editor. (orcid)0000-0003-1322-1876 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-94677-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Advances in Cryptology - ASIACRYPT 2024 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part I
Advances in Cryptology - ASIACRYPT 2024 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part I
Author 
Chung, Kai-Min. editor. (orcid)0000-0002-3356-369X Sasaki, Yu. editor. (orcid)0000-0002-1273-2394 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0875-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Advances in Cryptology - ASIACRYPT 2024 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings. Part V
Advances in Cryptology - ASIACRYPT 2024 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings. Part V
Author 
Chung, Kai-Min. editor. (orcid)0000-0002-3356-369X Sasaki, Yu. editor. (orcid)0000-0002-1273-2394 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0935-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Advances in Cryptology - ASIACRYPT 2024 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part VII
Advances in Cryptology - ASIACRYPT 2024 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part VII
Author 
Chung, Kai-Min. editor. (orcid)0000-0002-3356-369X Sasaki, Yu. editor. (orcid)0000-0002-1273-2394 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0941-3
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4-8, 2025, Proceedings, Part VI
Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4-8, 2025, Proceedings, Part VI
Author 
Fehr, Serge. editor. Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-91095-1
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4-8, 2025, Proceedings, Part VII
Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4-8, 2025, Proceedings, Part VII
Author 
Fehr, Serge. editor. Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-91098-2
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques Madrid, Spain, May 4-8, 2025, Proceedings, Part I
Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques Madrid, Spain, May 4-8, 2025, Proceedings, Part I
Author 
Fehr, Serge. editor. Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-91107-1
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4-8, 2025, Proceedings, Part II
Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4-8, 2025, Proceedings, Part II
Author 
Fehr, Serge. editor. Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-91124-8
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4-8, 2025, Proceedings, Part IV
Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4-8, 2025, Proceedings, Part IV
Author 
Fehr, Serge. editor. Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-91134-7
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4-8, 2025, Proceedings, Part V
Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4-8, 2025, Proceedings, Part V
Author 
Fehr, Serge. editor. Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-91092-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action