Limit Search Results
Author
SpringerLink (Online service)
(619)
Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853
(13)
C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886
(11)
Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
(11)
Faginas Lago, Maria Noelia. editor. (orcid)0000-0002-4056-3364
(11)
Language
English
(619)
Publication Date
-
2024
(273)
2025
(196)
2017
(79)
2016
(38)
2023
(18)
Subject
Computer engineering.
(619)
Computer networks .
(619)
Artificial intelligence.
(305)
Application software.
(191)
Computer and Information Systems Applications.
(191)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
619 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I
Author 
Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78709-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Computing, Communication and Learning Third International Conference, CoCoLe 2024, Warangal, India, September 13-15, 2024, Revised Selected Papers
Computing, Communication and Learning Third International Conference, CoCoLe 2024, Warangal, India, September 13-15, 2024, Revised Selected Papers
Author 
Panda, Sanjaya Kumar. editor. (orcid)0000-0003-3242-525X Buyya, Rajkumar. editor. Rout, Rashmi Ranjan. editor. (orcid)0000-0003-3457-6633 Bisi, Manjubala. editor. (orcid)0000-0002-9555-1520 Godboley, Sangharatna. editor. (orcid)0000-0002-6169-6334
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-79041-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Information Security Applications 25th International Conference, WISA 2024, Jeju Island, South Korea, August 21-23, 2024, Revised Selected Papers
Information Security Applications 25th International Conference, WISA 2024, Jeju Island, South Korea, August 21-23, 2024, Revised Selected Papers
Author 
Lee, Jong-Hyouk. editor. (orcid)0000-0002-1753-1284 Emura, Keita. editor. (orcid)0000-0002-8969-3581 Lee, Sokjoon. editor. (orcid)0000-0002-4632-8322 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-1624-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II
Author 
Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78750-8
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Computational Intelligence in Communications and Business Analytics 6th International Conference, CICBA 2024, Patna, India, January 23-25, 2024, Revised Selected Papers, Part III
Computational Intelligence in Communications and Business Analytics 6th International Conference, CICBA 2024, Patna, India, January 23-25, 2024, Revised Selected Papers, Part III
Author 
Singh, Jyoti Prakash. editor. (orcid)0000-0002-3742-7484 Singh, Maheshwari Prasad. editor. (orcid)0000-0002-4121-4959 Singh, Amit Kumar. editor. (orcid)0000-0001-7359-2068 Mukhopadhyay, Somnath. editor. (orcid)0000-0002-4532-6245 Mandal, Jyotsna K. editor. (orcid)0000-0001-9447-647X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-81336-8
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Algorithms and Architectures for Parallel Processing 24th International Conference, ICA3PP 2024, Macau, China, October 29-31, 2024, Proceedings, Part II
Algorithms and Architectures for Parallel Processing 24th International Conference, ICA3PP 2024, Macau, China, October 29-31, 2024, Proceedings, Part II
Author 
Zhu, Tianqing. editor. (orcid)0000-0003-3411-7947 Li, Jin. editor. (orcid)0000-0003-0385-8793 Castiglione, Aniello. editor. (orcid)0000-0003-0571-1074 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-1528-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Algorithms and Architectures for Parallel Processing 24th International Conference, ICA3PP 2024, Macau, China, October 29-31, 2024, Proceedings, Part III
Algorithms and Architectures for Parallel Processing 24th International Conference, ICA3PP 2024, Macau, China, October 29-31, 2024, Proceedings, Part III
Author 
Zhu, Tianqing. editor. (orcid)0000-0003-3411-7947 Li, Jin. editor. (orcid)0000-0003-0385-8793 Castiglione, Aniello. editor. (orcid)0000-0003-0571-1074 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-1542-1
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Algorithms and Architectures for Parallel Processing 24th International Conference, ICA3PP 2024, Macau, China, October 29-31, 2024, Proceedings, Part I
Algorithms and Architectures for Parallel Processing 24th International Conference, ICA3PP 2024, Macau, China, October 29-31, 2024, Proceedings, Part I
Author 
Zhu, Tianqing. editor. (orcid)0000-0003-3411-7947 Li, Jin. editor. (orcid)0000-0003-0385-8793 Castiglione, Aniello. editor. (orcid)0000-0003-0571-1074 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-1525-4
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Algorithms and Architectures for Parallel Processing 24th International Conference, ICA3PP 2024, Macau, China, October 29-31, 2024, Proceedings, Part V
Algorithms and Architectures for Parallel Processing 24th International Conference, ICA3PP 2024, Macau, China, October 29-31, 2024, Proceedings, Part V
Author 
Zhu, Tianqing. editor. (orcid)0000-0003-3411-7947 Li, Jin. editor. (orcid)0000-0003-0385-8793 Castiglione, Aniello. editor. (orcid)0000-0003-0571-1074 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-1548-3
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Algorithms and Architectures for Parallel Processing 24th International Conference, ICA3PP 2024, Macau, China, October 29-31, 2024, Proceedings, Part VI
Algorithms and Architectures for Parallel Processing 24th International Conference, ICA3PP 2024, Macau, China, October 29-31, 2024, Proceedings, Part VI
Author 
Zhu, Tianqing. editor. (orcid)0000-0003-3411-7947 Li, Jin. editor. (orcid)0000-0003-0385-8793 Castiglione, Aniello. editor. (orcid)0000-0003-0571-1074 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-1551-3
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Intelligent Sustainable Systems Selected Papers of WorldS4 2024, Volume 1
Intelligent Sustainable Systems Selected Papers of WorldS4 2024, Volume 1
Author 
Nagar, Atulya. editor. (orcid)0000-0001-5549-6435 Jat, Dharm Singh. editor. Mishra, Durgesh. editor. Joshi, Amit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-9327-3
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
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:
Select an Action