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)
Publication Date
-
Subject
Computer logic.
(161)
Software engineering.
(101)
Artificial intelligence.
(82)
Mathematical logic.
(66)
Programming languages (Electronic computers).
(59)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
284 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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:
2. 
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:
3. 
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:
4. 
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:
5. 
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:
6. 
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:
7. 
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:
8. 
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:
9. 
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:
10. 
Cover image for Embedded Systems Design using the MSP430FR2355 LaunchPad™
Embedded Systems Design using the MSP430FR2355 LaunchPad™
Author 
LaMeres, Brock J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-20888-1
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Advances in Computer Science for Engineering and Education VI
Advances in Computer Science for Engineering and Education VI
Author 
Hu, Zhengbing. editor. Dychka, Ivan. editor. He, Matthew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-36118-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Proceedings of the International Conference on Information Control, Electrical Engineering and Rail Transit ICEERT 2022
Proceedings of the International Conference on Information Control, Electrical Engineering and Rail Transit ICEERT 2022
Author 
Yadav, Sanjay. editor. Kumar, Rahul. editor. Zainuddin, Hidayat. editor. Deng, Lvxiang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-6431-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action