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
1. 
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:
2. 
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:
3. 
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:
4. 
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:
5. 
Cover image for Artificial Intelligence and Blockchain in Precision Medicine and Virology
Artificial Intelligence and Blockchain in Precision Medicine and Virology
Author 
Chatterjee, Jyotir Moy. editor. Saxena, Shailendra K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-8919-4
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Light sheet fluorescence microscopy
Light sheet fluorescence microscopy
Author 
Reynaud, Emmanuel G. editor. Tomancak, Pavel, editor.
Preferred Shelf Number 
QH212 .F55
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9783527803910
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Linear and nonlinear system modeling
Linear and nonlinear system modeling
Author 
Roy, Tamal, editor. Tripathi, Suman Lata, editor. Ganguli, Souvik, editor.
Preferred Shelf Number 
QA402.3 .L56 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119847533
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Genetic and Evolutionary Computing Proceedings of the Fifteenth International Conference on Genetic and Evolutionary Computing (Volume I), October 6-8, 2023, Kaohsiung, Taiwan
Genetic and Evolutionary Computing Proceedings of the Fifteenth International Conference on Genetic and Evolutionary Computing (Volume I), October 6-8, 2023, Kaohsiung, Taiwan
Author 
Lin, Jerry Chun-Wei. editor. (orcid)0000-0001-8768-9709 Shieh, Chin-Shiuh. editor. (orcid)0000-0003-3187-458X Horng, Mong-Fong. editor. Chu, Shu-Chuan. editor. (orcid)0000-0003-2117-0618 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-0068-4
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for SOFSEM 2024: Theory and Practice of Computer Science 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024, Proceedings
SOFSEM 2024: Theory and Practice of Computer Science 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024, Proceedings
Author 
Fernau, Henning. editor. (orcid)0000-0002-4444-3220 Gaspers, Serge. editor. (orcid)0000-0002-6947-9238 Klasing, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-52113-3
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Modelling Spark Ignition Combustion
Modelling Spark Ignition Combustion
Author 
Lakshminarayanan, P. A. editor. Agarwal, Avinash Kumar. editor. (orcid)0000-0002-7777-785X Ge, Haiwen. editor. Mallikarjuna, J. M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-0629-7
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Genetic and Evolutionary Computing Proceedings of the Fifteenth International Conference on Genetic and Evolutionary Computing (Volume II), October 6-8, 2023, Kaohsiung, Taiwan
Genetic and Evolutionary Computing Proceedings of the Fifteenth International Conference on Genetic and Evolutionary Computing (Volume II), October 6-8, 2023, Kaohsiung, Taiwan
Author 
Pan, Jeng-Shyang. editor. Pan, Zhigeng. editor. Hu, Pei. editor. (orcid)0000-0003-3711-4952 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-99-9412-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Nucleic Acid Photophysics and Photochemistry
Nucleic Acid Photophysics and Photochemistry
Author 
Matsika, Spiridoula. editor. Marcus, Andrew H. editor. (orcid)0000-0003-2109-327X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-68807-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets