1. Unifying theories of programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised selected papers /: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised selected papers. (2017) Editors: Bowen, J. P (Jonathan Peter), 1956-; Zhu, Huibiao Other Names: UTP (Symposium), 6th Record Type: Book Extent: 1 online resource (ix, 217 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Open Source Systems: Towards Robust Practices : 13th IFIP WG 2.13 International Conference, OSS 2017, Buenos Aires, Argentina, May 2223, 2017, proceedings /: 13th IFIP WG 2.13 International Conference, OSS 2017, Buenos Aires, Argentina, May 2223, 2017, proceedings. ([2017]) Editors: Zacchiroli, Stefano; Robles, Gregorio; Kon, Fabio; Garrido, Alejandra; Di Cosmo, Roberto Other Names: Balaguer Sǹchez, Federico; International Conference on Open Source Systems, 6th Record Type: Book Extent: 1 online resource (xiv, 220 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Static analysis : 24th International Symposium, SAS 2017, New York, NY, USA, August 30-September 1, 2017, Proceedings /: 24th International Symposium, SAS 2017, New York, NY, USA, August 30-September 1, 2017, Proceedings. (2017) Editors: Ranzato, Francesco Other Names: International Static Analysis Symposium, 24th Record Type: Book Extent: 1 online resource (XIV, 473 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. 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) ↗
5. Tests and Proofs : 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings /: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings. (2017) Editors: Gabmeyer, Sebastian; Johnsen, Einar Broch Other Names: TAP (Conference), 11th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Graph Transformation : 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings /: 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings. (2017) Editors: Lara, Juan de (Lara Jaramillo); Plump, Detlef Other Names: ICGT (Conference), 10th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Coordination models and Languages : 19th IFIP WG 6.1 International Conference, COORDINATION 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings /: 19th IFIP WG 6.1 International Conference, COORDINATION 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings. (2017) Editors: Jacquet, J.-M (Jean-Marie); Massink, Mieke Other Names: COORDINATION (Conference), 19th; International Federated Conferences on Distributed Computing Techniques, 12th, jointly held conference Record Type: Book Extent: 1 online resource (xii, 279 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Modelling Foundations and Applications : 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings /: 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings. (2017) Editors: Anjorin, Anthony; Espinoza, Huáscar Other Names: ECMFA (Conference), 13th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Programming languages and systems : 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings /: 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings. (2017) Editors: Chang, Bor-Yuh Evan Other Names: APLAS (Symposium), 15th Record Type: Book Extent: 1 online resource (xix, 555 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. 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) ↗