Limit Search Results
Author
SpringerLink (Online service)
(147)
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
English
(147)
Publication Date
-
2024
(46)
2016
(39)
2025
(32)
2017
(22)
2013
(8)
Subject
Computer science.
(145)
Computer science -- Mathematics.
(132)
Artificial intelligence.
(79)
Mathematics of Computing.
(77)
Discrete Mathematics in Computer Science.
(54)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
147 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
Author 
Paule, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332822.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-00966-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Progress in Cryptology - INDOCRYPT 2024 25th International Conference on Cryptology in India, Chennai, India, December 18-21, 2024, Proceedings, Part I
Progress in Cryptology - INDOCRYPT 2024 25th International Conference on Cryptology in India, Chennai, India, December 18-21, 2024, Proceedings, Part I
Author 
Mukhopadhyay, Sourav. editor. Stănică, Pantelimon. editor. (orcid)0000-0002-8622-7120 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-80308-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Progress in Cryptology - INDOCRYPT 2024 25th International Conference on Cryptology in India, Chennai, India, December 18-21, 2024, Proceedings, Part II
Progress in Cryptology - INDOCRYPT 2024 25th International Conference on Cryptology in India, Chennai, India, December 18-21, 2024, Proceedings, Part II
Author 
Mukhopadhyay, Sourav. editor. Stănică, Pantelimon. editor. (orcid)0000-0002-8622-7120 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-80311-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
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:
5. 
Cover image for Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part III
Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part III
Author 
Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-1195-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for WALCOM: Algorithms and Computation 19th International Conference and Workshops on Algorithms and Computation, WALCOM 2025, Chengdu, China, February 28 - March 2, 2025, Proceedings
WALCOM: Algorithms and Computation 19th International Conference and Workshops on Algorithms and Computation, WALCOM 2025, Chengdu, China, February 28 - March 2, 2025, Proceedings
Author 
Nakano, Shin-ichi. editor. (orcid)0000-0003-2368-6183 Xiao, Mingyu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-2845-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
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:
8. 
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:
9. 
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:
10. 
Cover image for Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part II
Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part II
Author 
Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-1093-8
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part I
Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part I
Author 
Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-1090-7
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
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:
Go to:Search Results
|
Top of Page
|
Search Facets