151. 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) ↗
152. 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) ↗
153. 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) ↗
154. 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) ↗
155. Coalgebraic methods in computer science : 13th IFIP WG 1.3 International Workshop, CMCS 2016, colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised selected papers /: 13th IFIP WG 1.3 International Workshop, CMCS 2016, colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised selected papers. (2016) Editors: Hasuo, Ichiro Other Names: Workshop on Coalgebraic Methods in Computer Science, 13th; ETAPS (Conference), 19th Record Type: Book Extent: 1 online resource (ix, 235 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
156. Graphical models for security : second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised selected papers /: second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised selected papers. (2016) Editors: Mauw, S; Kordy, Barbara; Jajodia, Sushil Other Names: International Workshop on Graphical Models for Security, 2nd Record Type: Book Extent: 1 online resource (ix, 103 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
157. Computer science -- Theory and applications : 11th International Computer Science Symposium in Russia, CSR 2016, Saint Petersburg, Russia, June 9-13, 2016. Proceedings /: 11th International Computer Science Symposium in Russia, CSR 2016, Saint Petersburg, Russia, June 9-13, 2016. Proceedings. (2016) Editors: Kulikov, Alexander S; Woeginger, Gerhard Other Names: International Computer Science Symposium in Russia, 11th Record Type: Book Extent: 1 online resource (xxi, 425 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
158. Graph transformations : 9th International Conference, ICGT 2016 in memory of Hartmut Ehrig, held as part of STAF 2016, Vienna, Austria, July 5-6, 2016 /: 9th International Conference, ICGT 2016 in memory of Hartmut Ehrig, held as part of STAF 2016, Vienna, Austria, July 5-6, 2016. (2016) Editors: Echahed, Rachid; Minas, Mark Other Names: Ehrig, Hartmut honouree.; ICGT (Conference), 9th; STAF (Federation of conferences) Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
159. 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) ↗
160. 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) ↗