Limit Search Results
Author
SpringerLink (Online service)
(70)
Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
(11)
Sloot, Peter M. A. editor. (orcid)0000-0002-3848-5395
(11)
Franco, Leonardo. editor. (orcid)0000-0003-0012-5914
(7)
Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
(7)
Language
Publication Date
-
Subject
Computer science -- Mathematics.
(65)
Computer Engineering and Networks.
(63)
Computer networks .
(63)
Mathematics of Computing.
(42)
Artificial intelligence.
(39)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
70 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers
Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers
Author 
Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Martí-Oliet, Narciso. editor. (orcid)0000-0002-6576-762X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-65941-6
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings
Author 
Hillston, Jane. editor. (orcid)0000-0003-4914-9255 Soudjani, Sadegh. editor. Waga, Masaki. editor. (orcid)0000-0001-9360-7490 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-68416-6
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Simulation for a Sustainable Future 11th Congress, EUROSIM 2023, Amsterdam, The Netherlands, July 3-5, 2023, Proceedings, Part I
Simulation for a Sustainable Future 11th Congress, EUROSIM 2023, Amsterdam, The Netherlands, July 3-5, 2023, Proceedings, Part I
Author 
Mujica Mota, Miguel. editor. (orcid)0000-0002-0160-6827 Scala, Paolo. editor. (orcid)0000-0002-8253-3411 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-68435-7
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for KI 2024: Advances in Artificial Intelligence 47th German Conference on AI, Würzburg, Germany, September 25-27, 2024, Proceedings
KI 2024: Advances in Artificial Intelligence 47th German Conference on AI, Würzburg, Germany, September 25-27, 2024, Proceedings
Author 
Hotho, Andreas. editor. (orcid)0000-0002-0483-5772 Rudolph, Sebastian. editor. (orcid)0000-0002-1609-2080 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-70893-0
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Intelligence Computation and Applications 14th International Symposium, ISICA 2023, Guangzhou, China, November 18-19, 2023, Revised Selected Papers, Part I
Intelligence Computation and Applications 14th International Symposium, ISICA 2023, Guangzhou, China, November 18-19, 2023, Revised Selected Papers, Part I
Author 
Li, Kangshun. editor. (orcid)0000-0002-0429-446X Liu, Yong. editor. (orcid)0000-0002-4663-6739 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-4393-3
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Statistical Atlases and Computational Models of the Heart. Regular and CMRxRecon Challenge Papers 14th International Workshop, STACOM 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 12, 2023, Revised Selected Papers
Statistical Atlases and Computational Models of the Heart. Regular and CMRxRecon Challenge Papers 14th International Workshop, STACOM 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 12, 2023, Revised Selected Papers
Author 
Camara, Oscar. editor. (orcid)0000-0002-5125-6132 Puyol-Antón, Esther. editor. (orcid)0000-0002-9789-6629 Sermesant, Maxime. editor. (orcid)0000-0002-6256-8350 Suinesiaputra, Avan. editor. Tao, Qian. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-52448-6
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Artificial Life and Evolutionary Computation 17th Italian Workshop, WIVACE 2023, Venice, Italy, September 6-8, 2023, Revised Selected Papers
Artificial Life and Evolutionary Computation 17th Italian Workshop, WIVACE 2023, Venice, Italy, September 6-8, 2023, Revised Selected Papers
Author 
Villani, Marco. editor. (orcid)0000-0002-5991-5470 Cagnoni, Stefano. editor. Serra, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-57430-6
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Large-Scale Scientific Computations 14th International Conference, LSSC 2023, Sozopol, Bulgaria, June 5-9, 2023, Revised Selected Papers
Large-Scale Scientific Computations 14th International Conference, LSSC 2023, Sozopol, Bulgaria, June 5-9, 2023, Revised Selected Papers
Author 
Lirkov, Ivan. editor. (orcid)0000-0002-5870-2588 Margenov, Svetozar. editor. (orcid)0000-0001-8858-831X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-56208-2
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Structural Information and Communication Complexity 31st International Colloquium, SIROCCO 2024, Vietri sul Mare, Italy, May 27-29, 2024, Proceedings
Structural Information and Communication Complexity 31st International Colloquium, SIROCCO 2024, Vietri sul Mare, Italy, May 27-29, 2024, Proceedings
Author 
Emek, Yuval. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-60603-8
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Advances in Swarm Intelligence 15th International Conference on Swarm Intelligence, ICSI 2024, Xining, China, August 23-26, 2024, Proceedings, Part I
Advances in Swarm Intelligence 15th International Conference on Swarm Intelligence, ICSI 2024, Xining, China, August 23-26, 2024, Proceedings, Part I
Author 
Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-7181-3
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Advances in Swarm Intelligence 15th International Conference on Swarm Intelligence, ICSI 2024, Xining, China, August 23-26, 2024, Proceedings, Part II
Advances in Swarm Intelligence 15th International Conference on Swarm Intelligence, ICSI 2024, Xining, China, August 23-26, 2024, Proceedings, Part II
Author 
Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-7184-4
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Recent Advances in Next-Generation Data Science Third Southwest Data Science Conference, SDSC 2024, Waco, TX, USA, March 22, 2024, Revised Selected Papers
Recent Advances in Next-Generation Data Science Third Southwest Data Science Conference, SDSC 2024, Waco, TX, USA, March 22, 2024, Revised Selected Papers
Author 
Han, Henry. editor. (orcid)0000-0003-0273-6719 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-67871-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action