Limit Search Results
Author
SpringerLink (Online service)
(991)
Jansen, Klaus. editor.
(13)
Mayr, Ernst W. editor.
(10)
Du, Ding-Zhu. editor.
(8)
Vorozhtsov, Evgenii V. editor.
(8)
Language
Publication Date
-
Subject
Computational complexity.
(920)
Computer science.
(775)
Computer software.
(548)
Computer Communication Networks.
(237)
Artificial intelligence.
(223)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
1069 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
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:
26. 
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:
27. 
Cover image for Genetic and Evolutionary Computing Proceedings of the Sixteenth International Conference on Genetic and Evolutionary Computing, August 28-30, 2024, Miyazaki, Japan (Volume 2)
Genetic and Evolutionary Computing Proceedings of the Sixteenth International Conference on Genetic and Evolutionary Computing, August 28-30, 2024, Miyazaki, Japan (Volume 2)
Author 
Pan, Jeng-Shyang. editor. (orcid)0000-0002-3128-9025 Zin, Thi Thi. editor. Sung, Tien-Wen. editor. Lin, Jerry Chun-Wei. editor. (orcid)0000-0001-8768-9709 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-1535-3
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for An Introduction to Theory of Computation An Algorithmic Approach
An Introduction to Theory of Computation An Algorithmic Approach
Author 
Ogihara, Mitsunori. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-84740-0
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
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:
30. 
Cover image for Sharding Blockchain: Fundamentals and Applications
Sharding Blockchain: Fundamentals and Applications
Author 
Liu, Yizhong. author. Li, Dongyu. author. (orcid)0000-0001-8338-0536 Liu, Jianwei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-3686-0
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Algorithms and Complexity 14th International Conference, CIAC 2025, Rome, Italy, June 10-12, 2025, Proceedings, Part II
Algorithms and Complexity 14th International Conference, CIAC 2025, Rome, Italy, June 10-12, 2025, Proceedings, Part II
Author 
Finocchi, Irene. editor. (orcid)0000-0002-6394-6798 Georgiadis, Loukas. editor. (orcid)0000-0002-9706-7409 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-92935-9
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Nature-Based Cities Performance-Driven Design Approaches for Climate Change Adaptation
Nature-Based Cities Performance-Driven Design Approaches for Climate Change Adaptation
Author 
Perini, Katia. author. (orcid)0000-0003-0415-8246 Mosca, Francesca. author. (orcid)0000-0001-8898-8727 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-94612-7
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Performance Analysis and Improvement in MIMO Communication Systems
Performance Analysis and Improvement in MIMO Communication Systems
Author 
Ding, Xuhui. editor. (orcid)0000-0003-3646-5312 Liu, Dekang. editor. Yang, Ziyi. editor. Li, Gaoyang. editor. Ye, Neng. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-5951-7
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Computation Trees A Generalization of Decision Trees
Computation Trees A Generalization of Decision Trees
Author 
Moshkov, Mikhail. author. (orcid)0000-0003-0085-9483 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-91748-6
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Genetic and Evolutionary Computing Proceedings of the Sixteenth International Conference on Genetic and Evolutionary Computing, August 28-30, 2024, Miyazaki, Japan (Volume 1)
Genetic and Evolutionary Computing Proceedings of the Sixteenth International Conference on Genetic and Evolutionary Computing, August 28-30, 2024, Miyazaki, Japan (Volume 1)
Author 
Pan, Jeng-Shyang. editor. (orcid)0000-0002-3128-9025 Zin, Thi Thi. editor. Sung, Tien-Wen. editor. Lin, Jerry Chun-Wei. editor. (orcid)0000-0001-8768-9709 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-1531-5
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Proceedings of The Fifth France's International Conference on Complex Systems (FRCCS 2025) Advances in Complex Systems Science, Machine Learning, and Interdisciplinary Applications
Proceedings of The Fifth France's International Conference on Complex Systems (FRCCS 2025) Advances in Complex Systems Science, Machine Learning, and Interdisciplinary Applications
Author 
Cherifi, Hocine. editor. Guillaume, Jean-Loup. editor. Melançon, Guy. editor. Pinaud, Bruno. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-032-00206-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets