11. Automated reasoning : 9th International Joint Conference, IJCAR 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, proceedings /: 9th International Joint Conference, IJCAR 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, proceedings. (2018) Editors: Galmiche, Didier, 1958-; Schulz, Stephan; Sebastiani, R (Roberto) Other Names: IJCAR (Conference), 9th; Federated Logic Conference Record Type: Book Extent: 1 online resource (xvi, 724 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
12. Case-Based Reasoning Research and Development : 28th International Conference, ICCBR 2020, Salamanca, Spain, June 8–12, 2020, Proceedings /: 28th International Conference, ICCBR 2020, Salamanca, Spain, June 8–12, 2020, Proceedings. (2020) Editors: Watson, Ian; Weber, Rosina Record Type: Book Extent: 1 online resource (355 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
13. Chatbot Research and Design : Third International Workshop, CONVERSATIONS 2019, Amsterdam, The Netherlands, November 19–20, 2019, Revised Selected Papers /: Third International Workshop, CONVERSATIONS 2019, Amsterdam, The Netherlands, November 19–20, 2019, Revised Selected Papers. (2020) Editors: Følstad, Asbjørn; Araujo, Theo; Papadopoulos, Symeon; Law, Effie Lai-Chong; Granmo, Ole-Christoffer; Luger, Ewa; Brandtzaeg, Petter Bae Record Type: Book Extent: 1 online resource (273 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
14. Computational Complexity and Property Testing : On the Interplay Between Randomness and Computation /: On the Interplay Between Randomness and Computation. (2020) Editors: Goldreich, Oded Other Names: Benjamini, Itai contributor.; Decatur, Scott contributor.; Leshkowitz, Maya contributor.; Meir, Or contributor.; Ron, Dana contributor.; Rothblum, Guy contributor.; Tal, Avishay contributor.; Teichner, Liav contributor.; Tell, Roei contributor.; Wigderson, Avi contributor. Record Type: Book Extent: 1 online resource (382 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
15. Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings.: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part II ([2019]) Editors: Dillig, Isil; Tasiran, Serdar Other Names: CAV (Conference), 31st Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
16. Computer Algebra in Scientific Computing : 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings /: 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings. (2017) Editors: Gerdt, V. P; Koepf, Wolfram; Seiler, Werner M (Werner Markus); Vorozhtsov, E. V (Evgenii Vasilʹevich), 1946- Other Names: CASC (Workshop : 2001- ), 19th Record Type: Book Extent: 1 online resource (XIII, 407 pages), 75 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
17. Computer performance engineering 16th European Workshop, EPEW 2019, Milan, Italy, November 28-29, 2019, Revised Selected Papers /: 16th European Workshop, EPEW 2019, Milan, Italy, November 28-29, 2019, Revised Selected Papers. (2020) Other Names: Gribaudo, Marco, 1972-; Iacono, Mauro, 1975-; Phung-Duc, Tuan; Razumchik, Rostislav; EPEW (Workshop), 16th Record Type: Book Extent: 1 online resource (173 p.) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
18. Computer Performance Engineering : 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings /: 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings. (2017) Editors: Reinecke, Philipp; Di Marco, Antinisca Other Names: EPEW (Workshop), 14th Record Type: Book Extent: 1 online resource (XVI, 299 pages), 103 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
19. Computer safety, reliability, and security : SAFECOMP 2020 Workshops : DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings /: SAFECOMP 2020 Workshops : DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings. (2020) Other Names: Casimiro, Antonio; Ortmeier, Frank; Schoitsch, Erwin; Bitsch, Friedemann; Ferreira, Pedro; SAFECOMP (Conference), 39th; DECSoS (Workshop), 15th; DepDevOps (Workshop), 1st; USDAI (Workshop), 1st; WAISE (Workshop), 3rd Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
20. Computers, people, and thought : from data mining to evolutionary robotics /: from data mining to evolutionary robotics. ([2020]) Authors: Eaton, Malachy Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗