1. 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) ↗
2. 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) ↗
3. Product-focused software process improvement : 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016, Proceedings /: 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016, Proceedings. (2016) Editors: Abrahamsson, Pekka; Jedlitschka, Andreas; Duc, Anh Nguyen; Felderer, Michael; Amasaki, Sousuke; Mikkonen, Tommi Other Names: PROFES (Conference), 17th Record Type: Book Extent: 1 online resource (xvii, 777 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Software engineering research, management and applications. (2016) Editors: Lee, R. Y (Roger Y.) Other Names: SERA (Conference), 14th Record Type: Book Extent: 1 online resource (xiii, 199 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Systems, software and services process improvement : 23rd European Conference, EuroSPI 2016, Graz, Austria, September 14-16, 2016, proceedings /: 23rd European Conference, EuroSPI 2016, Graz, Austria, September 14-16, 2016, proceedings. (2016) Editors: Kreiner, Christian Other Names: EuroSPI (Conference), 23rd Record Type: Book Extent: 1 online resource (344 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Theory and practice of model transformations : 9th International Conference, ICMT 2016, held as part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings /: 9th International Conference, ICMT 2016, held as part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings. (2016) Editors: Gorp, Pieter van; Engels, G Other Names: ICMT (Conference), 9th; STAF (Federation of conferences) Record Type: Book Extent: 1 online resource (xiv, 207 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗