11. Foundational and practical aspects of resource analysis : 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised selected papers /: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised selected papers. (2016) Editors: Eekelen, M. C. J. D. van; (Computer scientist), Dal Lago, Ugo Other Names: FOPARA (Workshop), 4th Record Type: Book Extent: 1 online resource (ix, 127 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
12. Software engineering : challenges and solutions : results of the XVIII KKIO 2016 Software Engineering Conference 2016 held at September 15-17 2016 in Wroclaw, Poland /: challenges and solutions : results of the XVIII KKIO 2016 Software Engineering Conference 2016 held at September 15-17 2016 in Wroclaw, Poland. ([2017]) Editors: Madeyski, Lech; Śmiałek, Michał; Hnatkowska, Bogumiła; Huzar, Zbigniew Record Type: Book Extent: 1 online resource (215 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
13. Recent trends in algebraic development techniques : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised selected papers /: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised selected papers. (2017) Editors: James, Phillip (Phillip D.); Roggenbach, Markus Other Names: WADT (Workshop), 23rd Record Type: Book Extent: 1 online resource (x, 223 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
14. Theory and practice of model transformation : 11th International Conference, ICMT 2018, held as part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings /: 11th International Conference, ICMT 2018, held as part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings. (2018) Editors: Rensink, Arend; Sánchez Cuadrado, Jesús Other Names: ICMT (Conference), 11th; STAF (Federation of conferences) Record Type: Book Extent: 1 online resource (xii, 195 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
15. Software engineering research, management and applications. (2015) Editors: Lee, Roger Other Names: SERA (Conference), 12th Record Type: Book Extent: 1 online resource (xvi, 306 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
16. Solving software challenges for exascale : International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised selected papers /: International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised selected papers. (2015) Editors: Markidis, Stefano; Laure, Erwin Other Names: International Conference on Exascale Applications and Software, 2nd Record Type: Book Extent: 1 online resource (viii, 149 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
17. Formal methods for multicore programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced lectures /: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced lectures. (2015) Editors: Bernardo, Marco; Johnsen, Einar Broch Other Names: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, 15th Record Type: Book Extent: 1 online resource (vii, 211 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
18. Software measurement : 25th International Workshop on Software Measurement and 10th International Conference on Software Process and Product Measurement, IWSM-Mensura 2015, Kraków, Poland, October 5-7, 2015, Proceedings /: 25th International Workshop on Software Measurement and 10th International Conference on Software Process and Product Measurement, IWSM-Mensura 2015, Kraków, Poland, October 5-7, 2015, Proceedings. (2015) Editors: Kobyliński, Andrzej; Czarnacka-Chrobot, Beata; Świerczek, Jarosław Other Names: International Workshop on Software Measurement, 25th; IWSM-Mensura (Conference), 10th Record Type: Book Extent: 1 online resource (ix, 216 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
19. Formal methods for the quantitative evaluation of collective adaptive systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced lectures /: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced lectures. (2016) Editors: Bernardo, Marco; De Nicola, Rocco; Hillston, J (Jane), 1963- Other Names: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, 16th Record Type: Book Extent: 1 online resource (vii, 261 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
20. Logic-based program synthesis and transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised selected papers /: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised selected papers. (2017) Editors: Hermenegildo, Manuel; Lopez-Garcia, Pedro Other Names: LOPSTR (Symposium), 26th Record Type: Book Extent: 1 online resource (xvi, 361 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗