31. OpenSHMEM and related technologies : OpenSHMEM in the era of extreme heterogeneity : 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21-23, 2018, Revised Selected Papers /: OpenSHMEM in the era of extreme heterogeneity : 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21-23, 2018, Revised Selected Papers. (2019) Editors: Pophale, Swaroop; Imam, Neena; Aderholdt, Ferrol; Venkata, Manjunath Gorentla Other Names: OpenSHMEM (Workshop), 5th Record Type: Book Extent: 1 online resource (x, 217 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
32. 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) ↗
33. 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) ↗
34. 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) ↗
35. 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) ↗
36. Perspectives of system informatics : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers /: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers. (2019) Editors: Björner, Nikolaj; Virbitskaite, Irina; Voronkov, Andrei, 1959- Other Names: International Andrei Ershov Memorial Conference, 12th Record Type: Book Extent: 1 online resource (xviii, 263 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗