Limit Search Results
Author
SpringerLink (Online service)
(288)
Apduhan, Bernady O. editor.
(14)
Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959
(14)
Hameurlain, Abdelkader. editor.
(9)
Küng, Josef. editor.
(9)
Language
English
(293)
Publication Date
-
Subject
Application software.
(214)
Computer and Information Systems Applications.
(188)
Artificial intelligence.
(156)
Computer networks .
(92)
Computer Communication Networks.
(78)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
293 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
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:
26. 
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:
27. 
Cover image for Guide to Distributed Algorithms Design, Analysis and Implementation Using Python
Guide to Distributed Algorithms Design, Analysis and Implementation Using Python
Author 
Erciyes, K. author. (orcid)0000-0001-9111-7156 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-79018-8
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Computational Visual Media 13th International Conference, CVM 2025, Hong Kong SAR, China, April 19-21, 2025, Proceedings, Part I
Computational Visual Media 13th International Conference, CVM 2025, Hong Kong SAR, China, April 19-21, 2025, Proceedings, Part I
Author 
Didyk, Piotr. editor. (orcid)0000-0003-0768-8939 Hou, Junhui. editor. (orcid)0000-0003-3431-2021 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-5809-1
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Computational Visual Media 13th International Conference, CVM 2025, Hong Kong SAR, China, April 19-21, 2025, Proceedings, Part II
Computational Visual Media 13th International Conference, CVM 2025, Hong Kong SAR, China, April 19-21, 2025, Proceedings, Part II
Author 
Didyk, Piotr. editor. (orcid)0000-0003-0768-8939 Hou, Junhui. editor. (orcid)0000-0003-3431-2021 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-5812-1
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Computational Visual Media 13th International Conference, CVM 2025, Hong Kong SAR, China, April 19-21, 2025, Proceedings, Part III
Computational Visual Media 13th International Conference, CVM 2025, Hong Kong SAR, China, April 19-21, 2025, Proceedings, Part III
Author 
Didyk, Piotr. editor. (orcid)0000-0003-0768-8939 Hou, Junhui. editor. (orcid)0000-0003-3431-2021 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-5815-2
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Technologies and Applications of Artificial Intelligence 28th International Conference, TAAI 2023, Yunlin, Taiwan, December 1-2, 2023, Proceedings, Part I
Technologies and Applications of Artificial Intelligence 28th International Conference, TAAI 2023, Yunlin, Taiwan, December 1-2, 2023, Proceedings, Part I
Author 
Lee, Chao-Yang. editor. (orcid)0000-0003-3898-3551 Lin, Chun-Li. editor. Chang, Hsuan-Ting. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-1711-8
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Technologies and Applications of Artificial Intelligence 28th International Conference, TAAI 2023, Yunlin, Taiwan, December 1-2, 2023, Proceedings, Part II
Technologies and Applications of Artificial Intelligence 28th International Conference, TAAI 2023, Yunlin, Taiwan, December 1-2, 2023, Proceedings, Part II
Author 
Lee, Chao-Yang. editor. (orcid)0000-0003-3898-3551 Lin, Chun-Li. editor. Chang, Hsuan-Ting. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-1714-9
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Computational Visual Media 12th International Conference, CVM 2024, Wellington, New Zealand, April 10-12, 2024, Proceedings, Part II
Computational Visual Media 12th International Conference, CVM 2024, Wellington, New Zealand, April 10-12, 2024, Proceedings, Part II
Author 
Zhang, Fang-Lue. editor. Sharf, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-2092-7
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Computational Visual Media 12th International Conference, CVM 2024, Wellington, New Zealand, April 10-12, 2024, Proceedings, Part I
Computational Visual Media 12th International Conference, CVM 2024, Wellington, New Zealand, April 10-12, 2024, Proceedings, Part I
Author 
Zhang, Fang-Lue. editor. Sharf, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-2095-8
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Comparative Genomics 21st International Conference, RECOMB-CG 2024, Boston, MA, USA, April 27-28, 2024, Proceedings
Comparative Genomics 21st International Conference, RECOMB-CG 2024, Boston, MA, USA, April 27-28, 2024, Proceedings
Author 
Scornavacca, Celine. editor. (orcid)0009-0004-0179-9771 Hernández-Rosales, Maribel. editor. (orcid)0000-0003-1878-1223 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-58072-7
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Web and Internet Economics 19th International Conference, WINE 2023, Shanghai, China, December 4-8, 2023, Proceedings
Web and Internet Economics 19th International Conference, WINE 2023, Shanghai, China, December 4-8, 2023, Proceedings
Author 
Garg, Jugal. editor. Klimm, Max. editor. Kong, Yuqing. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-48974-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action