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
Select an Action
1069 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
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:
38. 
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:
39. 
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:
40. 
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:
41. 
Cover image for Quantum Machine Learning in Industrial Automation
Quantum Machine Learning in Industrial Automation
Author 
Ghosh, Anupam. editor. Dutta, Soumi. editor. Das, Asit Kumar. editor. (orcid)0000-0002-9886-1735 Shukla, Vinod Kumar. editor. Moreira, Fernando. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-99786-0
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for 5G technology : 3GPP evolution to 5G-advanced
5G technology : 3GPP evolution to 5G-advanced
Preferred Shelf Number 
TK5103.25 .A15 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119816058
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Theoretical Computer Science 41st National Conference, NCTCS 2023, Guangzhou, China, July 21-23, 2023, Revised Selected Papers
Theoretical Computer Science 41st National Conference, NCTCS 2023, Guangzhou, China, July 21-23, 2023, Revised Selected Papers
Author 
Cai, Zhiping. editor. (orcid)0000-0001-5726-833X Xiao, Mingyu. editor. Zhang, Jialin. editor. (orcid)0000-0002-6245-1013 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-7743-7
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Algorithms and Discrete Applied Mathematics 10th International Conference, CALDAM 2024, Bhilai, India, February 15-17, 2024, Proceedings
Algorithms and Discrete Applied Mathematics 10th International Conference, CALDAM 2024, Bhilai, India, February 15-17, 2024, Proceedings
Author 
Kalyanasundaram, Subrahmanyam. editor. Maheshwari, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-52213-0
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
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:
46. 
Cover image for WALCOM: Algorithms and Computation 18th International Conference and Workshops on Algorithms and Computation, WALCOM 2024, Kanazawa, Japan, March 18-20, 2024, Proceedings
WALCOM: Algorithms and Computation 18th International Conference and Workshops on Algorithms and Computation, WALCOM 2024, Kanazawa, Japan, March 18-20, 2024, Proceedings
Author 
Uehara, Ryuhei. editor. (orcid)0000-0003-0895-3765 Yamanaka, Katsuhisa. editor. Yen, Hsu-Chun. editor. (orcid)0000-0002-1764-1950 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-0566-5
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for 5G Edge Computing Technologies, Applications and Future Visions
5G Edge Computing Technologies, Applications and Future Visions
Author 
Ma, Xiao. author. (orcid)0000-0001-5742-8890 Xu, Mengwei. author. Li, Qing. author. Li, Yuanzhe. author. Zhou, Ao. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-0213-8
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
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:
Select an Action