Limit Search Results
Author
SpringerLink (Online service)
(155)
Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
(11)
Sloot, Peter M. A. editor. (orcid)0000-0002-3848-5395
(11)
Cao, Longbing. editor. (orcid)0000-0003-1524-9063
(7)
Franco, Leonardo. editor. (orcid)0000-0003-0012-5914
(7)
Language
English
(155)
Publication Date
-
2024
(62)
2025
(57)
2017
(16)
2016
(15)
2013
(5)
Subject
Computer science -- Mathematics.
(150)
Artificial intelligence.
(94)
Computer networks .
(92)
Computer science.
(75)
Theory of Computation.
(66)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
155 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Scale Space and Variational Methods in Computer Vision 10th International Conference, SSVM 2025, Dartington, UK, May 18-22, 2025, Proceedings, Part I
Scale Space and Variational Methods in Computer Vision 10th International Conference, SSVM 2025, Dartington, UK, May 18-22, 2025, Proceedings, Part I
Author 
Bubba, Tatiana A. editor. (orcid)0000-0003-0020-9210 Gaburro, Romina. editor. (orcid)0000-0002-6186-0712 Gazzola, Silvia. editor. (orcid)0000-0001-9588-0896 Papafitsoros, Kostas. editor. (orcid)0000-0001-9691-4576 Pereyra, Marcelo. editor. (orcid)0000-0001-6438-6772
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-92366-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Scale Space and Variational Methods in Computer Vision 10th International Conference, SSVM 2025, Dartington, UK, May 18-22, 2025, Proceedings, Part II
Scale Space and Variational Methods in Computer Vision 10th International Conference, SSVM 2025, Dartington, UK, May 18-22, 2025, Proceedings, Part II
Author 
Bubba, Tatiana A. editor. (orcid)0000-0003-0020-9210 Gaburro, Romina. editor. (orcid)0000-0002-6186-0712 Gazzola, Silvia. editor. (orcid)0000-0001-9588-0896 Papafitsoros, Kostas. editor. (orcid)0000-0001-9691-4576 Pereyra, Marcelo. editor. (orcid)0000-0001-6438-6772
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-92369-2
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Application and Theory of Petri Nets and Concurrency 46th International Conference, PETRI NETS 2025, Paris, France, June 22-27, 2025, Proceedings
Application and Theory of Petri Nets and Concurrency 46th International Conference, PETRI NETS 2025, Paris, France, June 22-27, 2025, Proceedings
Author 
Amparore, Elvio. editor. (orcid)0000-0003-1147-8985 Mikulski, Łukasz. editor. (orcid)0000-0002-6711-557X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-94634-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Integer Programming and Combinatorial Optimization 26th International Conference, IPCO 2025, Baltimore, MD, USA, June 11-13, 2025, Proceedings
Integer Programming and Combinatorial Optimization 26th International Conference, IPCO 2025, Baltimore, MD, USA, June 11-13, 2025, Proceedings
Author 
Megow, Nicole. editor. (orcid)0000-0002-3531-7644 Basu, Amitabh. editor. (orcid)0000-0002-1070-2626 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-93112-3
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for World Conference of AI-Powered Innovation and Inventive Design 24th IFIP WG 5.4 International TRIZ Future Conference, TFC 2024, Cluj-Napoca, Romania, November 6-8, 2024, Proceedings, Part I
World Conference of AI-Powered Innovation and Inventive Design 24th IFIP WG 5.4 International TRIZ Future Conference, TFC 2024, Cluj-Napoca, Romania, November 6-8, 2024, Proceedings, Part I
Author 
Cavallucci, Denis. editor. (orcid)0000-0003-1815-5601 Brad, Stelian. editor. (orcid)0000-0003-1129-3358 Livotov, Pavel. editor. (orcid)0000-0001-8784-1117 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75919-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for World Conference of AI-Powered Innovation and Inventive Design 24th IFIP WG 5.4 International TRIZ Future Conference, TFC 2024, Cluj-Napoca, Romania, November 6-8, 2024, Proceedings, Part II
World Conference of AI-Powered Innovation and Inventive Design 24th IFIP WG 5.4 International TRIZ Future Conference, TFC 2024, Cluj-Napoca, Romania, November 6-8, 2024, Proceedings, Part II
Author 
Cavallucci, Denis. editor. (orcid)0000-0003-1815-5601 Brad, Stelian. editor. (orcid)0000-0003-1129-3358 Livotov, Pavel. editor. (orcid)0000-0001-8784-1117 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75923-9
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Smart Grid and Cyber Security Technologies 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part II
Smart Grid and Cyber Security Technologies 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part II
Author 
Du, Dajun. editor. Jia, Xinchun. editor. Zhao, Wanqing. editor. Li, Xue. editor. Sun, Xin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0225-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Advanced Control and Intelligent Computing Applications 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part IV
Advanced Control and Intelligent Computing Applications 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part IV
Author 
Peng, Chen. editor. Wang, Yulong. editor. (orcid)0000-0002-6508-0051 Guan, Yanpeng. editor. Sun, Qing. editor. (orcid)0000-0002-9662-2685 Chen, Zhi. editor. (orcid)0000-0002-9307-4871
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0294-0
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II
Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II
Author 
Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-82703-7
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I
Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I
Author 
Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-82700-6
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Algorithms and Discrete Applied Mathematics 11th International Conference, CALDAM 2025, Coimbatore, India, February 13-15, 2025, Proceedings
Algorithms and Discrete Applied Mathematics 11th International Conference, CALDAM 2025, Coimbatore, India, February 13-15, 2025, Proceedings
Author 
Gaur, Daya. editor. (orcid)0000-0001-6876-6000 Mathew, Rogers. editor. (orcid)0000-0003-4536-1136 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-83438-7
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for New Trends in Information and Communications Technology Applications 8th National Conference, NTICT 2024, Baghdad, Iraq, December 18-19, 2024, Proceedings
New Trends in Information and Communications Technology Applications 8th National Conference, NTICT 2024, Baghdad, Iraq, December 18-19, 2024, Proceedings
Author 
Al-Bakry, Abbas M. editor. (orcid)0000-0001-9518-1024 Sahib, Mouayad A. editor. (orcid)0000-0001-5670-0979 Aldhaibani, Jaafar A. editor. (orcid)0000-0002-5592-2294 Al-Shuwaili, Ali N. editor. (orcid)0000-0001-5353-3335 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-87076-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action