Limit Search Results
Author
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
18 Results Found Subscribe to search results
000000DEFAULT
Print
13. 
Cover image for Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part VIII
Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part VIII
Author 
Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.
Preferred Shelf Number 
XX(521014.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-37126-4
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Man-Machine Speech Communication 17th National Conference, NCMMSC 2022, Hefei, China, December 15-18, 2022, Proceedings
Man-Machine Speech Communication 17th National Conference, NCMMSC 2022, Hefei, China, December 15-18, 2022, Proceedings
Author 
Zhenhua, Ling. editor. Jianqing, Gao. editor. Kai, Yu. editor. Jia, Jia. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520242.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-2401-1
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
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. SpringerLink (Online service)
Preferred Shelf Number 
XX(520259.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-21112-6
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Health Information Processing 8th China Conference, CHIP 2022, Hangzhou, China, October 21-23, 2022, Revised Selected Papers
Health Information Processing 8th China Conference, CHIP 2022, Hangzhou, China, October 21-23, 2022, Revised Selected Papers
Author 
Tang, Buzhou. editor. Chen, Qingcai. editor. Lin, Hongfei. editor. Wu, Fei. editor. Liu, Lei. editor.
Preferred Shelf Number 
XX(520278.1)
Electronic Access 
https://doi.org/10.1007/978-981-19-9865-2
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Computational Linguistics and Intelligent Text Processing 19th International Conference, CICLing 2018, Hanoi, Vietnam, March 18-24, 2018, Revised Selected Papers, Part II
Computational Linguistics and Intelligent Text Processing 19th International Conference, CICLing 2018, Hanoi, Vietnam, March 18-24, 2018, Revised Selected Papers, Part II
Author 
Gelbukh, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520829.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-23804-8
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part III
Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part III
Author 
Tanveer, Mohammad. editor. Agarwal, Sonali. editor. Ozawa, Seiichi. editor. Ekbal, Asif. editor. Jatowt, Adam. editor.
Preferred Shelf Number 
XX(520935.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30111-7
Format: 
Availability 
Online Library~1
Available:
Copies: