141. Search-based software engineering : 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015 : proceedings /: 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015 : proceedings. ([2015]) Editors: Barros, Márcio; Labiche, Yvan Other Names: SSBSE (Symposium), 7th Record Type: Book Extent: 1 online resource (xv, 355 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
142. Python For ArcGIS. (2015) Authors: Tateosian, Laura Record Type: Book Extent: 1 online resource (xvi, 538 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
143. Theory and practice of model transformations : 8th International Conference, ICMT 2015, held as part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings /: 8th International Conference, ICMT 2015, held as part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings. (2015) Editors: Kolovos, Dimitrios; Wimmer, Manuel Other Names: ICMT (Conference), 8th; STAF (Federation of conferences) Record Type: Book Extent: 1 online resource (xiv, 231 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
144. Reliable software technologies -- Ada-Europe 2016 : 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings /: 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings. (2016) Editors: Bertogna, Marko; Pinho, Luís Miguel; Quiñones, Eduardo Other Names: Ada-Europe International Conference on Reliable Software Technologies, 21st Record Type: Book Extent: 1 online resource (xiv, 213 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
145. A list of successes that can change the world : essays dedicated to Philip Wadler on the occasion of his 60th birthday /: essays dedicated to Philip Wadler on the occasion of his 60th birthday. (2016) Editors: Lindley, Sam; McBride, Conor; Trinder, Phil; Sannella, D (Donald), 1956- Other Names: Wadler, Philip 1956- honouree. Record Type: Book Extent: 1 online resource (479 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
146. Functional and logic programming : 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016. Proceedings /: 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016. Proceedings. (2016) Editors: Kiselyov, Oleg; King, Andrew Malcolm Other Names: Fuji International Symposium on Functional and Logic Programming, 13th Record Type: Book Extent: 1 online resource (xii, 253 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
147. Information security : 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings /: 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings. (2015) Editors: Desmedt, Yvo Other Names: ISC (Conference : Information security), 16th Record Type: Book Extent: 1 online resource (xiv, 418 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
148. Formal methods: foundations and applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings /: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings. (2016) Editors: Cornelio, Marcio; Roscoe, A. W Other Names: Brazilian Symposium on Formal Methods, 18th Record Type: Book Extent: 1 online resource (xviii, 195 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
149. Programming languages and systems : 13th Asian symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, proceedings /: 13th Asian symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, proceedings. (2015) Editors: Feng, Xinyu; Park, Sungwoo Other Names: APLAS (Symposium), 13th Record Type: Book Extent: 1 online resource (xix, 506 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
150. Engineering trustworthy software systems : first International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures /: first International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures. (2016) Editors: Liu, Zhiming; Zhang, Zili Other Names: International School on Engineering Trustworthy Software Systems, 1st Record Type: Book Extent: 1 online resource (xi, 325 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗