Limit Search Results
Author
SpringerLink (Online service)
(182)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(6)
Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258
(4)
Longo, Luca. editor.
(4)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(4)
Language
English
(186)
Publication Date
-
Subject
Computer science.
(86)
Software engineering.
(83)
Computer Science Logic and Foundations of Programming.
(73)
Computer logic.
(56)
Formal Languages and Automata Theory.
(51)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
186 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I
Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I
Author 
Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-63498-7
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II
Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II
Author 
Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-63501-4
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part I
Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part I
Author 
Longo, Luca. editor. Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258 Seifert, Christin. editor. (orcid)0000-0002-6776-3868 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-63787-2
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part II
Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part II
Author 
Longo, Luca. editor. Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258 Seifert, Christin. editor. (orcid)0000-0002-6776-3868 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-63797-1
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part III
Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part III
Author 
Longo, Luca. editor. Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258 Seifert, Christin. editor. (orcid)0000-0002-6776-3868 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-63800-8
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part IV
Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part IV
Author 
Longo, Luca. editor. Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258 Seifert, Christin. editor. (orcid)0000-0002-6776-3868 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-63803-9
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Implementation and Application of Automata 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024, Proceedings
Implementation and Application of Automata 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024, Proceedings
Author 
Fazekas, Szilárd Zsolt. editor. (orcid)0000-0001-5319-0395 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71112-1
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Advanced Engineering Optimization Through Intelligent Techniques Select Proceedings of the 4th International Conference-AEOTIT 2023
Advanced Engineering Optimization Through Intelligent Techniques Select Proceedings of the 4th International Conference-AEOTIT 2023
Author 
Venkata Rao, Ravipudi. editor. Taler, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-4654-5
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
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:
34. 
Cover image for Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings
Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings
Author 
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-46002-9
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Fourth Congress on Intelligent Systems CIS 2023, Volume 1
Fourth Congress on Intelligent Systems CIS 2023, Volume 1
Author 
Kumar, Sandeep. editor. (orcid)0000-0003-4125-4165 K., Balachandran. editor. Kim, Joong Hoon. editor. Bansal, Jagdish Chand. editor. (orcid)0000-0001-9029-5129 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-9037-5
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings
Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings
Author 
Muggleton, Stephen H. editor. (orcid)0000-0001-6061-6104 Tamaddoni-Nezhad, Alireza. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-55630-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action