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 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:
16. 
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:
17. 
Cover image for ITNG 2023 20th International Conference on Information Technology-New Generations
ITNG 2023 20th International Conference on Information Technology-New Generations
Author 
Latifi, Shahram. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-28332-1
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for System Analysis and Artificial Intelligence
System Analysis and Artificial Intelligence
Author 
Zgurovsky, Michael. editor. Pankratova, Nataliya. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-37450-0
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 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:
22. 
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:
23. 
Cover image for Data Science in Applications
Data Science in Applications
Author 
Dzemyda, Gintautas. editor. (orcid)0000-0003-2914-1328 Bernatavičienė, Jolita. editor. Kacprzyk, Janusz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-24453-7
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
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:
Select an Action