Limit Search Results
Author
SpringerLink (Online service)
(212)
Legay, Axel. editor.
(3)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(3)
Taylor and Francis.
(3)
Ait Ameur, Yamine. editor.
(2)
Language
English
(273)
Publication Date
-
Subject
Computer logic.
(161)
Software engineering.
(101)
Artificial intelligence.
(82)
Mathematical logic.
(66)
Programming languages (Electronic computers).
(59)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
273 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for AI-Enabled Threat Intelligence and Cyber Risk Assessment
AI-Enabled Threat Intelligence and Cyber Risk Assessment
Author 
Martiri, Edlira, editor Vajjhala, Narasimha, 1978- editor. Dalipi, Fisnik, editor
Preferred Shelf Number 
QA76.9 .A25
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003504979
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Handbook of intelligent automation systems using computer vision and artificial intelligence
Handbook of intelligent automation systems using computer vision and artificial intelligence
Preferred Shelf Number 
T59.5 .H36 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394302734
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Becoming a computational thinker : success in the digital age
Becoming a computational thinker : success in the digital age
Author 
Wang, Paul S., author.
Preferred Shelf Number 
QA76.9 .L63
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003437680
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Computational intelligent techniques in mechatronics
Computational intelligent techniques in mechatronics
Author 
Prakash, Kolla Bhanu, editor. Peddapelli, Satish Kumar, editor. Tam, Ivan CK, editor. Woo, Wai Lok, editor. Jain, Vishal, 1983- editor.
Preferred Shelf Number 
TJ163.12 .C66 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394175437
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Computational intelligence : theory and applications
Computational intelligence : theory and applications
Author 
Kumar, T. Ananth (Tamilarasan Ananth), editor.
Preferred Shelf Number 
Q342 .C66 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394214259
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Higher Education Computer Science A Manual of Practical Approaches
Higher Education Computer Science A Manual of Practical Approaches
Author 
Carter, Jenny. editor. O'Grady, Michael. editor. Rosen, Clive. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-29386-3
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Konrad Zuse's Early Computers The Quest for the Computer in Germany
Konrad Zuse's Early Computers The Quest for the Computer in Germany
Author 
Rojas, Raúl. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-39876-6
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Author 
Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-27481-7
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Beyond-CMOS : state of the art and trends
Beyond-CMOS : state of the art and trends
Author 
Cresti, Alessandro, editor.
Preferred Shelf Number 
TK7871.99 .M44 B49 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394228713
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Computational Intelligence in Data Science 6th IFIP TC 12 International Conference, ICCIDS 2023, Chennai, India, February 23-25, 2023, Revised Selected Papers
Computational Intelligence in Data Science 6th IFIP TC 12 International Conference, ICCIDS 2023, Chennai, India, February 23-25, 2023, Revised Selected Papers
Author 
Chandran K R, Sarath. editor. N, Sujaudeen. editor. A, Beulah. editor. Hamead H, Shahul. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-38296-3
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for AIxIA 2022 - Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings
AIxIA 2022 - Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings
Author 
Dovier, Agostino. editor. Montanari, Angelo. editor. Orlandini, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-27181-6
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Sentiment Analysis and Deep Learning Proceedings of ICSADL 2022
Sentiment Analysis and Deep Learning Proceedings of ICSADL 2022
Author 
Shakya, Subarna. editor. Du, Ke-Lin. editor. Ntalianis, Klimis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-5443-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action