1. 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) ↗
2. Model-Driven Engineering and Software Development : 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised selected papers /: 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised selected papers. (2017) Editors: Hammoudi, Slimane; Ferraira Pires, Luís, 1961-; Selic, Bran; Desfray, Philippe Other Names: MODELSWARD (Conference), 4th Record Type: Book Extent: 1 online resource (xiv, 355 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Proceedings of the 2015 Federated Conference on Software Development and Object Technologies. ([2017]) Editors: Janech, Jan; Kostolny, Jozef; Gratkowski, Tomasz Other Names: Federated Conference on Software Development and Object Technologies, 2nd Record Type: Book Extent: 1 online resource (xv, 386 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Product-focused software process improvement : 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29-December 1, 2017, Proceedings /: 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29-December 1, 2017, Proceedings. (2017) Editors: Felderer, Michael; Méndez Fernández, Daniel; Turhan, Burak; Kalinowski, Marcos; Sarro, Federica, 1984-; (Software engineer), Winkler, Dietmar Other Names: PROFES (Conference), 18th Record Type: Book Extent: 1 online resource (xvi, 632 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. 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) ↗
6. 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) ↗
7. Systems, software and services process improvement : 24th European Conference, EuroSPI 2017, Ostrava, Czech Republic, September 6-8, 2017, Proceedings /: 24th European Conference, EuroSPI 2017, Ostrava, Czech Republic, September 6-8, 2017, Proceedings. (2017) Editors: Stolfa, Jakub; Stolfa, Svatopluk; O'Connor, Rory V; Messnarz, Richard Other Names: EuroSPI (Conference), 24th Record Type: Book Extent: 1 online resource (xx, 688 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗