Limit Search Results
Author
SpringerLink (Online service)
(4850)
Leonardis, Aleš. editor. (orcid)0000-0003-0773-3277
(87)
Ricci, Elisa. editor. (orcid)0000-0002-0228-1147
(87)
Roth, Stefan. editor. (orcid)0000-0001-9002-9832
(87)
Russakovsky, Olga. editor. (orcid)0000-0001-5272-3241
(87)
Language
Publication Date
-
2025
(535)
2024
(492)
2011
(436)
2010
(388)
2012
(374)
Subject
Computer science.
(2860)
Computer networks .
(1778)
Artificial intelligence.
(1573)
Software engineering.
(1478)
Information systems.
(1057)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
4854 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Information and Communication Technology 13th International Symposium, SOICT 2024, Danang, Vietnam, December 13-15, 2024, Proceedings, Part III
Information and Communication Technology 13th International Symposium, SOICT 2024, Danang, Vietnam, December 13-15, 2024, Proceedings, Part III
Author 
Buntine, Wray. editor. (orcid)0000-0001-9292-1015 Fjeld, Morten. editor. (orcid)0000-0002-9562-5147 Tran, Truyen. editor. (orcid)0000-0001-6531-8907 Tran, Minh-Triet. editor. (orcid)0000-0003-3046-3041 Huynh Thi Thanh, Binh. editor. (orcid)0000-0003-1976-6113
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4288-5
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 I
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 I
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-90643-5
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
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:
4. 
Cover image for Information Security and Cryptology 20th International Conference, Inscrypt 2024, Kunming, China, December 14-16, 2024, Revised Selected Papers, Part I
Information Security and Cryptology 20th International Conference, Inscrypt 2024, Kunming, China, December 14-16, 2024, Revised Selected Papers, Part I
Author 
Lin, Dongdai. editor. Wang, Meiqin. editor. Yung, Moti. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4731-6
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Information Security and Cryptology 20th International Conference, Inscrypt 2024, Kunming, China, December 14-16, 2024, Revised Selected Papers, Part II
Information Security and Cryptology 20th International Conference, Inscrypt 2024, Kunming, China, December 14-16, 2024, Revised Selected Papers, Part II
Author 
Lin, Dongdai. editor. Wang, Meiqin. editor. Yung, Moti. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4734-7
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for The Digital Transformation of the Automotive Industry Catalysts, Roadmap, Practice
The Digital Transformation of the Automotive Industry Catalysts, Roadmap, Practice
Author 
Winkelhake, Uwe. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-70704-3
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Soft Computing and Its Engineering Applications 6th International Conference, icSoftComp 2024, Bangkok, Thailand, December 10-12, 2024, Revised Selected Papers, Part II
Soft Computing and Its Engineering Applications 6th International Conference, icSoftComp 2024, Bangkok, Thailand, December 10-12, 2024, Revised Selected Papers, Part II
Author 
Patel, Kanubhai K. editor. (orcid)0000-0001-9091-0419 Santosh, KC. editor. (orcid)0000-0003-4176-0236 Gomes de Oliveira, Gabriel. editor. (orcid)0000-0001-7164-2068 Patel, Atul. editor. (orcid)0000-0001-5697-2050 Ghosh, Ashish. editor. (orcid)0000-0003-1548-5576
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-88042-1
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Advanced Network Technologies and Intelligent Computing 4th International Conference, ANTIC 2024, Varanasi, India, December 19-21, 2024, Proceedings, Part IV
Advanced Network Technologies and Intelligent Computing 4th International Conference, ANTIC 2024, Varanasi, India, December 19-21, 2024, Proceedings, Part IV
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-83796-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
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:
10. 
Cover image for Decide Better Open and Interoperable Local Digital Twins
Decide Better Open and Interoperable Local Digital Twins
Author 
Raes, Lieven. editor. Ruston McAleer, Susie. editor. Croket, Ingrid. editor. Kogut, Pavel. editor. Brynskov, Martin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-81451-8
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Artificial Intelligence and Robotics 9th International Symposium, ISAIR 2024, Guilin, China, September 27-30, 2024, Revised Selected Papers, Part II
Artificial Intelligence and Robotics 9th International Symposium, ISAIR 2024, Guilin, China, September 27-30, 2024, Revised Selected Papers, Part II
Author 
Lu, Huimin. editor. (orcid)0000-0001-9794-3221 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-2914-5
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 II
Advanced Network Technologies and Intelligent Computing 4th International Conference, ANTIC 2024, Varanasi, India, December 19-21, 2024, Proceedings, Part II
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-83790-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets