Limit Search Results
Author
SpringerLink (Online service)
(161)
Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
(7)
Franco, Leonardo. editor. (orcid)0000-0003-0012-5914
(7)
Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
(7)
Paszynski, Maciej. editor.
(7)
Language
English
(161)
Publication Date
-
2025
(38)
2016
(37)
2024
(37)
2017
(36)
2015
(10)
Subject
Computer Communication Networks.
(122)
Computer Modelling.
(73)
Computer simulation.
(73)
Artificial intelligence.
(71)
Software engineering.
(62)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
161 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
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:
26. 
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:
27. 
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:
28. 
Cover image for Computational Intelligence Methods for Bioinformatics and Biostatistics 18th International Meeting, CIBB 2023, Padova, Italy, September 6-8, 2023, Revised Selected Papers
Computational Intelligence Methods for Bioinformatics and Biostatistics 18th International Meeting, CIBB 2023, Padova, Italy, September 6-8, 2023, Revised Selected Papers
Author 
Vettoretti, Martina. editor. (orcid)0000-0002-5020-1818 Tavazzi, Erica. editor. (orcid)0000-0001-6188-6413 Longato, Enrico. editor. (orcid)0000-0001-5940-645X Baruzzo, Giacomo. editor. (orcid)0000-0001-6129-5007 Bellato, Massimo. editor. (orcid)0000-0001-7428-0656
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90714-2
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Computational Intelligence Methods for Bioinformatics and Biostatistics 19th International Meeting, CIBB 2024, Benevento, Italy, September 4-6, 2024, Revised Selected Papers
Computational Intelligence Methods for Bioinformatics and Biostatistics 19th International Meeting, CIBB 2024, Benevento, Italy, September 4-6, 2024, Revised Selected Papers
Author 
Cerulo, Luigi. editor. (orcid)0000-0001-8342-3487 Napolitano, Francesco. editor. (orcid)0000-0002-7782-8506 Bardozzo, Francesco. editor. (orcid)0000-0003-0199-6623 Cheng, Lu. editor. (orcid)0000-0002-6391-2360 Occhipinti, Annalisa. editor. (orcid)0000-0001-6075-1496
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-89704-7
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Advances in Computer Science and Ubiquitous Computing Proceedings of CSA 2024
Advances in Computer Science and Ubiquitous Computing Proceedings of CSA 2024
Author 
Park, Ji Su. editor. (orcid)0000-0001-9003-1131 Camacho, David. editor. (orcid)0000-0002-5051-3475 Gritzalis, Stefanos. editor. (orcid)0000-0002-8037-2191 Park, James J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-5693-6
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings
NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings
Author 
Dutle, Aaron. editor. (orcid)0000-0002-8503-5514 Humphrey, Laura. editor. (orcid)0000-0002-3148-9035 Titolo, Laura. editor. (orcid)0000-0001-7820-7640 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-93706-4
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for 6GN for Future Wireless Networks 7th EAI International Conference, 6GN 2024, Chongqing, China, October 19-20, 2024, Proceedings
6GN for Future Wireless Networks 7th EAI International Conference, 6GN 2024, Chongqing, China, October 19-20, 2024, Proceedings
Author 
Li, Xiuhua. editor. (orcid)0000-0001-9041-0297 Leung, Victor C. M. editor. (orcid)0000-0003-3529-2640 Wang, Xiaofei. editor. (orcid)0000-0002-7223-1030 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-93193-2
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Recent Advances in the Message Passing Interface 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25-27, 2024, Proceedings
Recent Advances in the Message Passing Interface 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25-27, 2024, Proceedings
Author 
Blaas-Schenner, Claudia. editor. Niethammer, Christoph. editor. (orcid)0000-0002-3840-1016 Haas, Tobias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-73370-3
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024, Revised Selected Papers, Part I
Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024, Revised Selected Papers, Part I
Author 
Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Antonov, Alexander. editor. (orcid)0000-0003-2820-7196 Nikitenko, Dmitry. editor. (orcid)0000-0002-2864-7995 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78459-0
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024, Revised Selected Papers, Part II
Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024, Revised Selected Papers, Part II
Author 
Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Antonov, Alexander. editor. (orcid)0000-0003-2820-7196 Nikitenko, Dmitry. editor. (orcid)0000-0002-2864-7995 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78462-0
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Advanced Research in Technologies, Information, Innovation and Sustainability ARTIIS 2024 International Workshops, Santiago de Chile, Chile, October 21-23, 2024, Revised Selected Papers, Part I
Advanced Research in Technologies, Information, Innovation and Sustainability ARTIIS 2024 International Workshops, Santiago de Chile, Chile, October 21-23, 2024, Revised Selected Papers, Part I
Author 
Guarda, Teresa. editor. (orcid)0000-0002-9602-0692 Portela, Filipe. editor. (orcid)0000-0003-2181-6837 Augusto, Maria Fernanda. editor. (orcid)0000-0003-4891-5747 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-83435-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action