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
1. 
Cover image for Data Science 20th International Conference, ICDATA 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers
Data Science 20th International Conference, ICDATA 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers
Author 
Stahlbock, Robert. editor. (orcid)0000-0002-0393-4904 Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-85856-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Trends in Sustainable Computing and Machine Intelligence Proceedings of ICTSM 2024
Trends in Sustainable Computing and Machine Intelligence Proceedings of ICTSM 2024
Author 
Lanka, Surekha. editor. Cabezuelo, Antonio Sarasa. editor. (orcid)0000-0003-3698-7954 Vuppalapati, Chandrasekar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-1452-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
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:
4. 
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:
5. 
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:
6. 
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:
7. 
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:
8. 
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:
9. 
Cover image for Verification and Evaluation of Computer and Communication Systems 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings
Verification and Evaluation of Computer and Communication Systems 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings
Author 
Ben Hedia, Belgacem. editor. Maleh, Yassine. editor. Krichen, Moez. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-49737-7
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
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:
11. 
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:
12. 
Cover image for Neural Networks with Model Compression
Neural Networks with Model Compression
Author 
Zhang, Baochang. author. (orcid)0000-0001-8476-4371 Wang, Tiancheng. author. Xu, Sheng. author. Doermann, David. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-5068-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action