Limit Search Results
Author
SpringerLink (Online service)
(298)
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
(326)
Publication Date
-
Subject
Computer science -- Mathematics.
(228)
Mathematics of Computing.
(225)
Artificial intelligence.
(150)
Computer science.
(111)
Computer networks .
(110)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
326 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
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:
26. 
Cover image for Optimization and Applications 15th International Conference, OPTIMA 2024, Petrovac, Montenegro, September 16-20, 2024, Revised Selected Papers
Optimization and Applications 15th International Conference, OPTIMA 2024, Petrovac, Montenegro, September 16-20, 2024, Revised Selected Papers
Author 
Olenev, Nicholas. editor. (orcid)0000-0002-1032-2455 Evtushenko, Yuri. editor. (orcid)0000-0002-6094-7808 Jaćimović, Milojica. editor. (orcid)0000-0002-7068-8563 Khachay, Michael. editor. (orcid)0000-0003-3555-0080 Malkova, Vlasta. editor. (orcid)0000-0002-7928-512X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-79119-2
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
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:
28. 
Cover image for SOFSEM 2025: Theory and Practice of Computer Science 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part I
SOFSEM 2025: Theory and Practice of Computer Science 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part I
Author 
Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-82670-2
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for SOFSEM 2025: Theory and Practice of Computer Science 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part II
SOFSEM 2025: Theory and Practice of Computer Science 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part II
Author 
Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-82697-9
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Distributed Computer and Communication Networks 27th International Conference, DCCN 2024, Moscow, Russia, September 23-27, 2024, Revised Selected Papers
Distributed Computer and Communication Networks 27th International Conference, DCCN 2024, Moscow, Russia, September 23-27, 2024, Revised Selected Papers
Author 
Vishnevsky, Vladimir M. editor. (orcid)0000-0001-7373-4847 Samouylov, Konstantin E. editor. (orcid)0000-0002-6368-9680 Kozyrev, Dmitry V. editor. (orcid)0000-0003-0538-8430 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-80853-1
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Fault-Tolerant Distributed Consensus in Synchronous Networks
Fault-Tolerant Distributed Consensus in Synchronous Networks
Author 
Choudhury, Ashish. author. Patra, Arpita. author. (orcid)0000-0002-8036-4407 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-80460-1
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Quantum Computing Architecture and Hardware for Engineers Step by Step
Quantum Computing Architecture and Hardware for Engineers Step by Step
Author 
Wong, Hiu Yung. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78219-0
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Evolutionary Computation in Combinatorial Optimization 25th European Conference, EvoCOP 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings
Evolutionary Computation in Combinatorial Optimization 25th European Conference, EvoCOP 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings
Author 
Krejca, Martin S. editor. (orcid)0000-0002-1765-1219 Wagner, Markus. editor. (orcid)0000-0002-3124-0061 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-86849-8
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
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:
35. 
Cover image for Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Author 
Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-85352-4
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part I
Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part I
Author 
García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894 Hart, Emma. editor. Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90062-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action