Limit Search Results
Author
SpringerLink (Online service)
(51)
Cao, Longbing. editor. (orcid)0000-0003-1524-9063
(7)
Kumar, Vipin. editor. (orcid)0000-0002-9040-2665
(7)
Spiliopoulou, Myra. editor. (orcid)0000-0002-1828-5759
(7)
Wang, Can. editor. (orcid)0000-0002-2890-0057
(7)
Language
Publication Date
-
2025
(29)
2024
(22)
Subject
Algorithms.
(51)
Artificial intelligence.
(46)
Computer networks .
(24)
Computer science -- Mathematics.
(22)
Computer Communication Networks.
(21)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
51 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Advances in Knowledge Discovery and Data Mining 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024, Proceedings, Part V
Advances in Knowledge Discovery and Data Mining 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024, Proceedings, Part V
Author 
Yang, De-Nian. editor. (orcid)0000-0002-3765-9293 Xie, Xing. editor. (orcid)0000-0002-8608-8482 Tseng, Vincent S. editor. (orcid)0000-0002-4853-1594 Pei, Jian. editor. (orcid)0000-0002-2200-8711 Huang, Jen-Wei. editor. (orcid)0000-0001-5482-8311
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-2262-4
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Advances in Knowledge Discovery and Data Mining 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024, Proceedings, Part VI
Advances in Knowledge Discovery and Data Mining 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024, Proceedings, Part VI
Author 
Yang, De-Nian. editor. (orcid)0000-0002-3765-9293 Xie, Xing. editor. (orcid)0000-0002-8608-8482 Tseng, Vincent S. editor. (orcid)0000-0002-4853-1594 Pei, Jian. editor. (orcid)0000-0002-2200-8711 Huang, Jen-Wei. editor. (orcid)0000-0001-5482-8311
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-2266-2
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Intelligent Computer Mathematics 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings
Intelligent Computer Mathematics 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings
Author 
Kohlhase, Andrea. editor. (orcid)0000-0001-5384-6702 Kovács, Laura. editor. (orcid)0000-0002-8299-2714 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66997-2
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II
Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II
Author 
Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-98679-6
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I
Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I
Author 
Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-98668-0
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III
Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III
Author 
Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-98682-6
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Algorithmics of Wireless Networks 20th International Symposium, ALGOWIN 2024, Egham, UK, September 5-6, 2024, Proceedings
Algorithmics of Wireless Networks 20th International Symposium, ALGOWIN 2024, Egham, UK, September 5-6, 2024, Proceedings
Author 
Bramas, Quentin. editor. (orcid)0000-0003-0612-5616 Casteigts, Arnaud. editor. (orcid)0000-0002-7819-7013 Meeks, Kitty. editor. (orcid)0000-0001-5299-3073 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74580-5
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Machines, Computations, and Universality 10th International Conference, MCU 2024, Nice, France, June 5-7, 2024, Revised Selected Papers
Machines, Computations, and Universality 10th International Conference, MCU 2024, Nice, France, June 5-7, 2024, Revised Selected Papers
Author 
Formenti, Enrico. editor. (orcid)0000-0002-1007-7912 Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-81202-6
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Algorithms and Complexity 14th International Conference, CIAC 2025, Rome, Italy, June 10-12, 2025, Proceedings, Part I
Algorithms and Complexity 14th International Conference, CIAC 2025, Rome, Italy, June 10-12, 2025, Proceedings, Part I
Author 
Finocchi, Irene. editor. (orcid)0000-0002-6394-6798 Georgiadis, Loukas. editor. (orcid)0000-0002-9706-7409 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-92932-8
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Algorithms and Complexity 14th International Conference, CIAC 2025, Rome, Italy, June 10-12, 2025, Proceedings, Part II
Algorithms and Complexity 14th International Conference, CIAC 2025, Rome, Italy, June 10-12, 2025, Proceedings, Part II
Author 
Finocchi, Irene. editor. (orcid)0000-0002-6394-6798 Georgiadis, Loukas. editor. (orcid)0000-0002-9706-7409 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-92935-9
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Structural, Syntactic, and Statistical Pattern Recognition Joint IAPR International Workshops, S+SSPR 2024, Venice, Italy, September 9-10, 2024, Revised Selected Papers
Structural, Syntactic, and Statistical Pattern Recognition Joint IAPR International Workshops, S+SSPR 2024, Venice, Italy, September 9-10, 2024, Revised Selected Papers
Author 
Torsello, Andrea. editor. (orcid)0000-0001-9189-4924 Rossi, Luca. editor. (orcid)0000-0002-6116-9761 Cosmo, Luca. editor. (orcid)0000-0001-7729-4666 Minello, Giorgia. editor. (orcid)0000-0002-0923-7640 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-80507-3
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV
Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV
Author 
Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-98685-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action