31. Automated technology for verification and analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings /: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings. (2016) Editors: Artho, Cyrille; Legay, Axel; Peled, Doron A, 1962- Other Names: ATVA (Symposium), 14th Record Type: Book Extent: 1 online resource (xi, 530 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
32. Automated technology for verification and analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings /: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings. (2018) Editors: Lahiri, Shuvendu; Wang, Chao, 1985- Other Names: ATVA (Symposium), 16th Record Type: Book Extent: 1 online resource (xiii, 560 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
33. Bidirectional transformations : International Summer School, Oxford, UK, July 25-29, 2016, tutorial lectures /: International Summer School, Oxford, UK, July 25-29, 2016, tutorial lectures. (2018) Editors: Gibbons, Jeremy, 1966-; Stevens, Perdita Other Names: International Summer School on Bidirectional Transformations Record Type: Book Extent: 1 online resource (ix, 189 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
34. Building secure defenses against code-reuse attacks. ([2015]) Authors: Davi, Lucas; Sadeghi, Ahmad-Reza Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
35. Business process management : 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings /: 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings. (2017) Editors: Carmona, Josep; Engels, G; Kumar, Akhil Other Names: BPM (Conference), 15th Record Type: Book Extent: 1 online resource (xxi, 341 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
36. 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) ↗
37. Central European Functional Programming School : 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised selected papers /: 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised selected papers. (2015) Editors: Zsók, Viktória; Horváth, Zoltán, 1962-; Csató, Lehel Other Names: Central European Functional Programming School, 5th Record Type: Book Extent: 1 online resource (vii, 507 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
38. 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) ↗
39. Coalgebraic methods in computer science : 13th IFIP WG 1.3 International Workshop, CMCS 2016, colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised selected papers /: 13th IFIP WG 1.3 International Workshop, CMCS 2016, colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised selected papers. (2016) Editors: Hasuo, Ichiro Other Names: Workshop on Coalgebraic Methods in Computer Science, 13th; ETAPS (Conference), 19th Record Type: Book Extent: 1 online resource (ix, 235 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
40. Coalgebraic methods in computer science : 14th IFIP WG 1.3 International Workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, Revised selected papers /: 14th IFIP WG 1.3 International Workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, Revised selected papers. (2018) Editors: Cîrstea, Corina Other Names: Workshop on Coalgebraic Methods in Computer Science, 14th; ETAPS (Conference), 20th Record Type: Book Extent: 1 online resource (ix, 235 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗