Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
9 Results Found Subscribe to search results
000000000DEFAULT
Print
1. 
Cover image for Model Checking Software 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings
Model Checking Software 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings
Author 
Neele, Thomas. editor. (orcid)0000-0001-6117-9129 Wijs, Anton. editor. (orcid)0000-0002-2071-9624 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66149-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Robotics Goes MOOC Knowledge
Robotics Goes MOOC Knowledge
Author 
Siciliano, Bruno. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74095-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Neuro-Symbolic Artificial Intelligence Bridging Logic and Learning
Neuro-Symbolic Artificial Intelligence Bridging Logic and Learning
Author 
Bhuyan, Bikram Pratim. author. (orcid)0000-0001-5373-8912 Ramdane-Cherif, Amar. author. Singh, Thipendra P. author. (orcid)0000-0002-9991-6494 Tomar, Ravi. author. (orcid)0000-0002-8957-6756 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-8171-3
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Advances in Automation, Mechanical and Design Engineering SAMDE 2023
Advances in Automation, Mechanical and Design Engineering SAMDE 2023
Author 
Carbone, Giuseppe. editor. (orcid)0000-0003-0831-8358 Laribi, Med Amine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-62664-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Challenging Programming in Python: A Problem Solving Perspective
Challenging Programming in Python: A Problem Solving Perspective
Author 
Izadkhah, Habib. author. (orcid)0000-0001-7595-8350 Behzadidoost, Rashid. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-39999-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Computational Cognition
Computational Cognition
Author 
Hausser, Roland. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-37499-9
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Robot Intelligence Technology and Applications 4 Results from the 4th International Conference on Robot Intelligence Technology and Applications
Robot Intelligence Technology and Applications 4 Results from the 4th International Conference on Robot Intelligence Technology and Applications
Author 
Kim, Jong-Hwan. editor. Karray, Fakhri. editor. Jo, Jun. editor. Sincak, Peter. editor. Myung, Hyun. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-31293-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Advances in Physarum Machines Sensing and Computing with Slime Mould
Advances in Physarum Machines Sensing and Computing with Slime Mould
Author 
Adamatzky, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-26662-6
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Progress in Systems Engineering Proceedings of the Twenty-Third International Conference on Systems Engineering
Progress in Systems Engineering Proceedings of the Twenty-Third International Conference on Systems Engineering
Author 
Selvaraj, Henry. editor. Zydek, Dawid. editor. Chmaj, Grzegorz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08422-0
Format: 
Availability 
Online Library~1
Available:
Copies: