Limit Search Results
Author
SpringerLink (Online service)
(39)
Biere, Armin. editor.
(2)
Caro, Jaime. editor.
(2)
Kabassi, Katerina. editor.
(2)
Kacprzyk, Janusz. editor.
(2)
Language
Publication Date
-
Subject
Computational intelligence.
(19)
Computer science.
(14)
Computer software.
(9)
Logic design.
(7)
Software engineering.
(7)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
40 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings
Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings
Author 
Marques-Silva, João. editor. Sakallah, Karem A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72788-0
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings
Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings
Author 
Biere, Armin. editor. Gomes, Carla P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11814948
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings
Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings
Author 
Bacchus, Fahiem. editor. Walsh, Toby. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137280
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
Author 
Hoos, Holger H. editor. Mitchell, David G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11527695
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Embracing Machines and Humanity Through Cognitive Computing and IoT
Embracing Machines and Humanity Through Cognitive Computing and IoT
Author 
Usman, Mohammed. editor. Gao, Xiao-Zhi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-4522-9
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Data Management, Analytics and Innovation Proceedings of ICDMAI 2022
Data Management, Analytics and Innovation Proceedings of ICDMAI 2022
Author 
Goswami, Saptarsi. editor. Barara, Inderjit Singh. editor. Goje, Amol. editor. Mohan, C. editor. Bruckstein, Alfred M. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-2600-6
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Proceedings of 2nd International Conference on Artificial Intelligence, Robotics, and Communication ICAIRC 2022
Proceedings of 2nd International Conference on Artificial Intelligence, Robotics, and Communication ICAIRC 2022
Author 
Yadav, Sanjay. editor. Kumar, Harish. editor. Kankar, Pavan Kumar. editor. Dai, Wanyang. editor. Huang, Fenghua. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-4554-2
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Elements of Data Science, Machine Learning, and Artificial Intelligence Using R
Elements of Data Science, Machine Learning, and Artificial Intelligence Using R
Author 
Emmert-Streib, Frank. author. Moutari, Salissou. author. Dehmer, Matthias. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-13339-8
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Proceedings of 2023 Chinese Intelligent Systems Conference Volume I
Proceedings of 2023 Chinese Intelligent Systems Conference Volume I
Author 
Jia, Yingmin. editor. Zhang, Weicun. editor. Fu, Yongling. editor. Wang, Jiqiang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-6847-3
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Green Sustainability: Towards Innovative Digital Transformation Proceedings of ITAF 2023
Green Sustainability: Towards Innovative Digital Transformation Proceedings of ITAF 2023
Author 
Magdi, Dalia. editor. El-Fetouh, Ahmed Abou. editor. Mamdouh, Mohamed. editor. Joshi, Amit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-4764-5
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Novel & Intelligent Digital Systems: Proceedings of the 3rd International Conference (NiDS 2023) Volume 1
Novel & Intelligent Digital Systems: Proceedings of the 3rd International Conference (NiDS 2023) Volume 1
Author 
Kabassi, Katerina. editor. Mylonas, Phivos. editor. Caro, Jaime. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-44097-7
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Intelligent Control, Robotics, and Industrial Automation Proceedings of International Conference, RCAAI 2022
Intelligent Control, Robotics, and Industrial Automation Proceedings of International Conference, RCAAI 2022
Author 
Sharma, Sanjay. editor. Subudhi, Bidyadhar. editor. Sahu, Umesh Kumar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-4634-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action