21. Rules and reasoning : second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings /: second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings. (2018) Editors: Benzmüller, Christoph; Ricca, Francesco; Parent, Xavier; (Research scientist), Roman, Dumitru Other Names: RuleML+RR (Joint Conference), 2nd Record Type: Book Extent: 1 online resource (xxiii, 328 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
22. Static analysis : 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings /: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings. (2018) Editors: Podelski, Andreas Other Names: International Static Analysis Symposium, 25th Record Type: Book Extent: 1 online resource (x, 445 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
23. Accelerator programming using directives : 6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised selected papers /: 6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised selected papers. (2020) Other Names: Wienke, Sandra; Bhalachandra, Sridutt; WACCPD (Workshop), 6th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
24. Open source systems 16th IFIP WG 2. 13 International Conference, OSS 2020, Innopolis, Russia, May 12-14, 2020, Proceedings /: 16th IFIP WG 2. 13 International Conference, OSS 2020, Innopolis, Russia, May 12-14, 2020, Proceedings. (2020) Other Names: Ivanov, Vladimir; Kruglov, Artem; Masyagin, Sergey; Sillitti, Alberto; Succi, Giancarlo, 1964-; IFIP WG 2.13 International Conference on Open Source Systems, 16th Record Type: Book Extent: 1 online resource (217 p.) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
25. Rules and reasoning : third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019, Proceedings /: third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019, Proceedings. (2019) Editors: Fodor, Paul; Montali, Marco; Calvanese, Diego; Roman, Dumitru Other Names: RuleML+RR (Joint Conference), 3rd Record Type: Book Extent: 1 online resource (xvi, 207 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
26. Unifying theories of programming : 7th International Symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019, Proceedings /: 7th International Symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019, Proceedings. (2019) Editors: Ribeiro, Pedro; Sampaio, Augusto Other Names: Hoare, C. A. R (Charles Antony Richard) 1934- honouree.; UTP (Symposium), 7th Record Type: Book Extent: 1 online resource (xiv, 217 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
27. Static analysis : 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings /: 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings. (2019) Editors: Chang, Bor-Yuh Evan Other Names: SAS (Symposium), 26th Record Type: Book Extent: 1 online resource (xiv, 481 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
28. Programming Languages and Systems : 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings /: 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings. (2019) Editors: Lin, Anthony Widjaja Other Names: APLAS (Symposium), 17th Record Type: Book Extent: 1 online resource (xiii, 492 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
29. Programming languages and systems : 28th European Symposium on Programming, ESOP 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings /: 28th European Symposium on Programming, ESOP 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings. (2019) Editors: Caires, Luís Other Names: European Symposium on Programming, 28th; ETAPS (Conference), 22nd Record Type: Book Extent: 1 online resource (xv, 816 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
30. Programming languages and systems : 27th European Symposium on Programming, ESOP 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings /: 27th European Symposium on Programming, ESOP 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. (2018) Editors: Ahmed, Amal Other Names: European Symposium on Programming, 27th; ETAPS (Conference), 21st Record Type: Book Extent: 1 online resource (xvi, 1058 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗