Limit Search Results
Author
SpringerLink (Online service)
(85)
Ferrández Vicente, José Manuel. editor.
(10)
Huang, De-Shuang. editor.
(9)
Premaratne, Prashan. editor.
(7)
Hussain, Abir. editor.
(6)
Language
English
(103)
Publication Date
-
Subject
Artificial intelligence.
(58)
Computer science.
(38)
Computer vision.
(20)
Computational intelligence.
(18)
Theory of Computation.
(18)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
103 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Category Theory Using Haskell An Introduction with Moggi and Yoneda
Category Theory Using Haskell An Introduction with Moggi and Yoneda
Author 
Yukita, Shuichi. author. (orcid)0009-0006-5297-7501 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-68538-5
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Proceedings of International Conference on Theoretical and Applied Computing ICTAC 2024
Proceedings of International Conference on Theoretical and Applied Computing ICTAC 2024
Author 
Mathew, Lisa. editor. Subramanian, K. G. editor. (orcid)0000-0001-8726-5850 Nagar, Atulya K. editor. (orcid)0000-0001-5549-6435 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-6957-5
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
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:
40. 
Cover image for Adaptive Intelligence Select Proceedings of InCITe 2024, Volume 1
Adaptive Intelligence Select Proceedings of InCITe 2024, Volume 1
Author 
Hasteer, Nitasha. editor. (orcid)0000-0002-4648-7315 McLoone, Seán. editor. Sharma, Purushottam. editor. Nallamalli, Ranjana. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-9045-6
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Bio-Inspired Computational Paradigms : Security and Privacy in Dynamic Smart Networks
Bio-Inspired Computational Paradigms : Security and Privacy in Dynamic Smart Networks
Author 
S, Vijayalakshmi, editor.
Preferred Shelf Number 
TD159.4
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003248545
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Smart edge computing : an operation research perspective
Smart edge computing : an operation research perspective
Author 
Chakraborty, Rajdeep, editor. Ghosh, Anupam, editor. Mandal, Jyotsna Kumar, editor. Choudhury, Tanupriya, editor. Chatterjee, Prasenjit, editor.
Preferred Shelf Number 
QA76.583
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394277599
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Recent Advances in Intelligent Engineering Volume Dedicated to Imre J. Rudas' Seventy-Fifth Birthday
Recent Advances in Intelligent Engineering Volume Dedicated to Imre J. Rudas' Seventy-Fifth Birthday
Author 
Kovács, Levente. editor. (orcid)0000-0002-3188-0800 Haidegger, Tamás. editor. (orcid)0000-0003-1402-1139 Szakál, Anikó. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-58257-8
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Nature of Computation and Communication 9th EAI International Conference, ICTCC 2023, Ho Chi Minh City, Vietnam, October 26-27, 2023, Proceedings
Nature of Computation and Communication 9th EAI International Conference, ICTCC 2023, Ho Chi Minh City, Vietnam, October 26-27, 2023, Proceedings
Author 
Cong Vinh, Phan. editor. (orcid)0000-0002-0797-0152 Mahfooz Ul Haque, Hafiz. editor. (orcid)0000-0003-1074-8613 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-59462-5
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Advanced Intelligent Computing Technology and Applications 19th International Conference, ICIC 2023, Zhengzhou, China, August 10-13, 2023, Proceedings, Part V
Advanced Intelligent Computing Technology and Applications 19th International Conference, ICIC 2023, Zhengzhou, China, August 10-13, 2023, Proceedings, Part V
Author 
Huang, De-Shuang. editor. Premaratne, Prashan. editor. Jin, Baohua. editor. Qu, Boyang. editor. Jo, Kang-Hyun. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-4761-4
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Author 
Pientka, Brigitte. editor. Tinelli, Cesare. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-38499-8
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part IV
Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part IV
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-37114-1
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Information and Communications Security 25th International Conference, ICICS 2023, Tianjin, China, November 18-20, 2023, Proceedings
Information and Communications Security 25th International Conference, ICICS 2023, Tianjin, China, November 18-20, 2023, Proceedings
Author 
Wang, Ding. editor. Yung, Moti. editor. (orcid) Liu, Zheli. editor. Chen, Xiaofeng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-7356-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action