Limit Search Results
Author
SpringerLink (Online service)
(147)
Liu, Derong. editor.
(10)
Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X
(10)
Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758
(10)
Tetko, Igor V. editor. (orcid)0000-0002-6855-0012
(10)
Language
Publication Date
-
Subject
Computational intelligence.
(70)
Computer vision.
(42)
Neural networks (Computer science) .
(38)
Mathematical Models of Cognitive Processes and Neural Networks.
(32)
Application software.
(30)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
163 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II
Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II
Author 
Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-98679-6
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I
Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I
Author 
Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-98668-0
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III
Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III
Author 
Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-98682-6
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV
Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV
Author 
Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-98685-7
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Pattern Recognition 17th Mexican Conference, MCPR 2025, Guanajuato, Mexico, June 25-28, 2025, Proceedings
Pattern Recognition 17th Mexican Conference, MCPR 2025, Guanajuato, Mexico, June 25-28, 2025, Proceedings
Author 
López-Monroy, Adrián Pastor. editor. (orcid)0000-0003-1018-4221 Rosales-Pérez, Alejandro. editor. (orcid)0000-0003-1768-339X Carrasco-Ochoa, Jesús Ariel. editor. (orcid)0000-0002-9982-7758 Martínez-Trinidad, José Francisco. editor. (orcid)0000-0001-7973-9075 Olvera-López, José Arturo. editor. (orcid)0000-0003-0639-1463
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-96255-4
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Proceedings of International Conference on Computational Intelligence ICCI 2024
Proceedings of International Conference on Computational Intelligence ICCI 2024
Author 
Saraswat, Mukesh. editor. Tiwari, Ritu. editor. Pavone, Mario. editor. Zaveri, Mukesh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4539-8
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Recent Advances in Artificial Intelligence and Smart Applications Proceedings of RAAISA 2024
Recent Advances in Artificial Intelligence and Smart Applications Proceedings of RAAISA 2024
Author 
Mandal, Jyotsna K. editor. (orcid)0000-0001-9447-647X Hinchey, Mike. editor. Chakrabarti, Satyajit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-5822-0
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Nature inspired robotics
Nature inspired robotics
Author 
Dhatterwal, Jagjit Singh, author. Kaswan, Kuldeep Singh, author. Batra, Reenu, author.
Preferred Shelf Number 
TA164.4 .D43 2024
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781032624358
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Modern Approaches in Machine Learning and Cognitive Science: A Walkthrough Volume 4
Modern Approaches in Machine Learning and Cognitive Science: A Walkthrough Volume 4
Author 
Gunjan, Vinit Kumar. editor. Zurada, Jacek M. editor. Singh, Ninni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43009-1
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Explainable Uncertain Rule-Based Fuzzy Systems
Explainable Uncertain Rule-Based Fuzzy Systems
Author 
Mendel, Jerry M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-35378-9
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Advances and Trends in Artificial Intelligence. Theory and Applications 37th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2024, Hradec Kralove, Czech Republic, July 10-12, 2024, Proceedings
Advances and Trends in Artificial Intelligence. Theory and Applications 37th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2024, Hradec Kralove, Czech Republic, July 10-12, 2024, Proceedings
Author 
Fujita, Hamido. editor. (orcid)0000-0001-5256-210X Cimler, Richard. editor. (orcid)0000-0001-6712-9894 Hernandez-Matamoros, Andres. editor. (orcid)0000-0002-4896-2909 Ali, Moonis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-4677-4
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for New Approaches for Multidimensional Signal Processing Proceedings of International Workshop, NAMSP 2023
New Approaches for Multidimensional Signal Processing Proceedings of International Workshop, NAMSP 2023
Author 
Kountchev, Roumen. editor. Mironov, Rumen. editor. Draganov, Ivo. editor. Kountcheva, Roumiana. editor. Nakamatsu, Kazumi. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-0109-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action