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)
Intelligence artificielle.
(8)
Logic design.
(7)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
49 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 Traditional vs generative AI pentesting : a hands-on approach to hacking
Traditional vs generative AI pentesting : a hands-on approach to hacking
Author 
Maleh, Yassine, 1987- author.
Preferred Shelf Number 
Q335
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003640318
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Microsoft Copilot Studio quick start : learn to create and deploy personalized AI solutions
Microsoft Copilot Studio quick start : learn to create and deploy personalized AI solutions
Author 
Matfess, Jared, author.
Preferred Shelf Number 
Q335 .M38 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394352418
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Generative AI, cybersecurity, and ethics
Generative AI, cybersecurity, and ethics
Author 
Islam, Ray (Mohammad Rubyet), author.
Preferred Shelf Number 
QA76.9 .A25
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394279326
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Microsoft 365 Copilot at work : using AI to get the most from your business data and favorite apps
Microsoft 365 Copilot at work : using AI to get the most from your business data and favorite apps
Author 
Van Laan, Sandar, author. Matfess, Jared, author. Flock, Thomas, author. Reid, Ann, author.
Preferred Shelf Number 
QA76.76 .C52 V36 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394319756
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Smart cyber-physical power systems : solutions from emerging technologies. Volume 2
Smart cyber-physical power systems : solutions from emerging technologies. Volume 2
Author 
Parizad, Ali, editor. Baghaee, Hamid Reza, editor. Rahman, Saifur, editor.
Preferred Shelf Number 
TJ213 .S485 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394334599
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Deep learning on embedded systems : a hands-on approach using Jetson Nano and Raspberry Pi
Deep learning on embedded systems : a hands-on approach using Jetson Nano and Raspberry Pi
Author 
Arif, Tariq M., author. John Wiley & Sons, publisher.
Preferred Shelf Number 
Q325.73 .A75 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394269297
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Conversational artificial intelligence
Conversational artificial intelligence
Author 
Rawat, Romil, 1986- editor. Chakrawarti, Rajesh Kumar, editor Sarangi, Sanjaya Kumar, editor Vyas, Piyush, editor Alamanda, Mary Sowjanya, editor
Preferred Shelf Number 
Q335 .C66 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394200801
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Artificial intelligence-based system models in healthcare
Artificial intelligence-based system models in healthcare
Author 
Anand, A. Jose, editor. Kalaiccelvi, Kā., editor. Chatterje, Jyotir Moy, editor.
Preferred Shelf Number 
R859.7 .A78
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394242528
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action