171. Software development, design and coding : with patterns, debugging, unit testing, and refactoring /: with patterns, debugging, unit testing, and refactoring. ([2017]) Authors: Dooley, John, 1952- Record Type: Book Extent: 1 online resource (xxii, 320 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
172. Software engineering : International Summer Schools, LASER 2013-2014, Elba, Italy, Revised tutorial lectures /: International Summer Schools, LASER 2013-2014, Elba, Italy, Revised tutorial lectures. (2015) Editors: Meyer, Bertrand, 1950-; Nordio, Martin Other Names: LASER Summer School on Software Engineering, 10th; LASER Summer School on Software Engineering, 11th Record Type: Book Extent: 1 online resource (vii, 191 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
173. Software engineering : specification, implementation, verification /: specification, implementation, verification. (2017) Authors: Alagić, Suad, 1946- Record Type: Book Extent: 1 online resource (xv, 178 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
174. Software engineering and formal methods : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. (2015) Editors: Calinescu, Radu C, 1968-; Rumpe, Bernhard Other Names: International Conference on Software Engineering and Formal Methods, 13th Record Type: Book Extent: 1 online resource (xi, 369 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
175. Software engineering and formal methods : 16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings /: 16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings. (2018) Editors: Johnsen, Einar Broch; Schaefer, Ina Other Names: International Conference on Software Engineering and Formal Methods, 16th; STAF (Federation of conferences) Record Type: Book Extent: 1 online resource (xiv, 303 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
176. Software engineering for resilient systems : 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings /: 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings. (2015) Editors: Fantechi, Alessandro; Pelliccione, P (Patrizio) Other Names: SERENE (Workshop), 7th Record Type: Book Extent: 1 online resource (ix, 145 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
177. Software reading techniques : twenty techniques for more effective software review and inspection /: twenty techniques for more effective software review and inspection. (2016) Authors: Zhu, Yang-Ming Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
178. Software technologies : 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24-26, 2017, Revised selected papers /: 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24-26, 2017, Revised selected papers. (2018) Editors: Cabello, Enrique; Cardoso, Jorge; Maciaszek, Leszek A; van Sinderen, Marten Other Names: ICSOFT (Conference), 12th Record Type: Book Extent: 1 online resource (xiv, 309 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
179. Source code analytics with Roslyn and JavaScript data visualization. ([2016]) Authors: Mukherjee, Sudipta Other Names: Blasband, Darius author of foreword. Record Type: Book Extent: 1 online resource (XXI, 170 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
180. Speech and language processing for human-machine communications : proceedings of CSI 2015 /: proceedings of CSI 2015. ([2018]) Editors: Agrawal, S. S; Devi, Amita; Wason, Ritika; Bansal, Poonam Record Type: Book Extent: 1 online resource (223 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗