Limit Search Results
Author
Garau, Chiara. editor. (orcid)
(3)
Gelbukh, Alexander. editor.
(3)
Gervasi, Osvaldo. editor. (orcid)
(3)
Karaca, Yeliz. editor.
(3)
Murgante, Beniamino. editor. (orcid)
(3)
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
67 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
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:
26. 
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:
27. 
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:
28. 
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:
29. 
Cover image for Multiword Expressions Acquisition A Generic and Open Framework
Multiword Expressions Acquisition A Generic and Open Framework
Author 
Ramisch, Carlos. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(518363.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-09207-2
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for From Requirements to Java in a Snap Model-Driven Requirements Engineering in Practice
From Requirements to Java in a Snap Model-Driven Requirements Engineering in Practice
Author 
Śmiałek, Michał. author. Nowakowski, Wiktor. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(518399.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-12838-2
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Business Process Management Workshops BPM 2014 International Workshops, Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers
Business Process Management Workshops BPM 2014 International Workshops, Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers
Author 
Fournier, Fabiana. editor. Mendling, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518625.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15895-2
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings
Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings
Author 
Bieger, Jordi. editor. Goertzel, Ben. editor. Potapov, Alexey. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518878.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21365-1
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Computational Linguistics and Intelligent Text Processing 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part I
Computational Linguistics and Intelligent Text Processing 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part I
Author 
Gelbukh, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519079.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-18111-0
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Chinese Lexical Semantics 16th Workshop, CLSW 2015, Beijing, China, May 9-11, 2015, Revised Selected Papers
Chinese Lexical Semantics 16th Workshop, CLSW 2015, Beijing, China, May 9-11, 2015, Revised Selected Papers
Author 
Lu, Qin. editor. Gao, Hong. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519081.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-27194-1
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Compounding in Modern Greek
Compounding in Modern Greek
Author 
Ralli, Angela. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335858.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-4960-3
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Semantics of Genitive Objects in Russian A Study of Genitive of Negation and Intensional Genitive Case
Semantics of Genitive Objects in Russian A Study of Genitive of Negation and Intensional Genitive Case
Author 
Kagan, Olga. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335922.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-5225-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action