21. 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) ↗
22. Programming languages and systems : 25th European Symposium on Programming, ESOP 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016 : proceedings /: 25th European Symposium on Programming, ESOP 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016 : proceedings. (2016) Editors: Dr, Thiemann, Peter Other Names: European Symposium on Programming, 25th; ETAPS (Conference), 19th Record Type: Book Extent: 1 online resource (xiii, 806 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
23. Programming languages and systems : 26th European Symposium on Programming, ESOP 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, proceedings /: 26th European Symposium on Programming, ESOP 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, proceedings. (2017) Editors: Yang, Hongseok Other Names: European Symposium on Programming, 26th; ETAPS (Conference), 20th, jointly held conference Record Type: Book Extent: 1 online resource (xv, 992 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
24. 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) ↗
25. 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) ↗
26. Rules and Reasoning : International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings /: International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings. (2017) Editors: Costantini, Stefania; Franconi, Enrico; Van Woensel, William; Kontchakov, Roman; Sadri, Fariba; Roman, Dumitru Other Names: RuleML+RR (Joint Conference) Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
27. 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) ↗
28. 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) ↗
29. Static analysis : 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings /: 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings. (2015) Editors: Blazy, Sandrine; Jensen, Thomas Other Names: International Static Analysis Symposium, 22nd Record Type: Book Extent: 1 online resource (xvi, 333 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
30. Static analysis : 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, proceedings /: 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, proceedings. (2016) Editors: Rival, Xavier Other Names: International Static Analysis Symposium, 23rd Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗