Limit Search Results
Author
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
25 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
Author 
Glück, Robert. editor. Kafle, Bishoksan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521245.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-45784-5
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
Author 
Ferreira, Carla. editor. Willemse, Tim A. C. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521275.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-47115-5
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Artificial Intelligence XL 43rd SGAI International Conference on Artificial Intelligence, AI 2023, Cambridge, UK, December 12-14, 2023, Proceedings
Artificial Intelligence XL 43rd SGAI International Conference on Artificial Intelligence, AI 2023, Cambridge, UK, December 12-14, 2023, Proceedings
Author 
Bramer, Max. editor. Stahl, Frederic. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521322.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-47994-6
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Pediatric Surgery Pediatric Urology
Pediatric Surgery Pediatric Urology
Author 
Puri, Prem. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521693.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-43567-0
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for The Misdiagnosis Casebook in Clinical Medicine A Case-Based Guide
The Misdiagnosis Casebook in Clinical Medicine A Case-Based Guide
Author 
Tohid, Hassaan. editor. Baratta, Larry G. editor. Maibach, Howard. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521696.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-28296-6
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Author 
Pientka, Brigitte. editor. Tinelli, Cesare. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(520976.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-38499-8
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Ontology of Communication Agent-Based Data-Driven or Sign-Based Substitution-Driven?
Ontology of Communication Agent-Based Data-Driven or Sign-Based Substitution-Driven?
Author 
Hausser, Roland. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520261.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-22739-4
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Foundation Mathematics for Computer Science A Visual Approach
Foundation Mathematics for Computer Science A Visual Approach
Author 
Vince, John. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520271.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-17411-7
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Neuro Symbolic Reasoning and Learning
Neuro Symbolic Reasoning and Learning
Author 
Shakarian, Paulo. author. Baral, Chitta. author. Simari, Gerardo I. author. Xi, Bowen. author. Pokala, Lahari. author.
Preferred Shelf Number 
XX(520609.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-39179-8
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings
Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings
Author 
Hansen, Helle Hvid. editor. Scedrov, Andre. editor. de Queiroz, Ruy J.G.B. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(520880.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-39784-4
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Intelligent Information and Database Systems 15th Asian Conference, ACIIDS 2023, Phuket, Thailand, July 24-26, 2023, Proceedings, Part II
Intelligent Information and Database Systems 15th Asian Conference, ACIIDS 2023, Phuket, Thailand, July 24-26, 2023, Proceedings, Part II
Author 
Nguyen, Ngoc Thanh. editor. Boonsang, Siridech. editor. Fujita, Hamido. editor. Hnatkowska, Bogumiła. editor. Hong, Tzung-Pei. editor. (orcid)
Preferred Shelf Number 
XX(520982.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-5837-5
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Reversible Computation 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings
Reversible Computation 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings
Author 
Kutrib, Martin. editor. (orcid) Meyer, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521090.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-38100-3
Format: 
Availability 
Online Library~1
Available:
Copies: