91. Reversible Computation : 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings /: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings. (2016) Editors: Devitt, Simon; Lanese, Ivan Record Type: Book Extent: 1 online resource (339 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
92. Rewriting logic and its applications : 11th International Workshop, WRLA 2016, held as a satellite event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised selected papers /: 11th International Workshop, WRLA 2016, held as a satellite event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised selected papers. (2016) Editors: Lucanu, Dorel Other Names: WRLA (Conference), 11th; ETAPS (Conference), 19th Record Type: Book Extent: 1 online resource (xiii, 185 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
93. Ruby recipes : a problem-solution approach /: a problem-solution approach. ([2016]) Authors: Mandal, Malay Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
94. Runtime verification : 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings /: 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings. (2016) Editors: Falcone, Yliès; Sánchez, César Other Names: RV (Conference), 16th Record Type: Book Extent: 1 online resource (xxi, 512 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
95. Scala : from a functional programming perspective : an introduction to the programming language /: from a functional programming perspective : an introduction to the programming language. (2016) Authors: Torra, Vicenç Record Type: Book Extent: 1 online resource (xiii, 124 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
96. Scratch by example : programming for all ages /: programming for all ages. (2016) Authors: Vlieg, Eduardo A Record Type: Book Extent: 1 online resource (364 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
97. Search based software engineering : 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings /: 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings. (2016) Editors: Sarro, Federica; Deb, Kalyanmoy Other Names: SSBSE (Symposium), 8th Record Type: Book Extent: 1 online resource (xxi, 318 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
98. Semantics, logics, and calculi : essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays /: essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays. (2016) Editors: Probst, Christian W; Hankin, Chris; Hansen, René Rydhof Other Names: Nielson, Hanne Riis 1954- honouree.; Nielson, Flemming 1955- honouree. Record Type: Book Extent: 1 online resource (x, 345 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
99. Software architecture : 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28-December 2, 2016, Proceedings /: 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28-December 2, 2016, Proceedings. (2016) Editors: Tekinerdogan, Bedir, 1970-; Zdun, Uwe; (Professor of Software Engineering), Babar, Ali Other Names: ECSA (Conference), 10th Record Type: Book Extent: 1 online resource (xiii, 340 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
100. Software engineering and formal methods : 14th International Conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings /: 14th International Conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings. (2016) Editors: De Nicola, Rocco; Kühn, Eva Other Names: International Conference on Software Engineering and Formal Methods, 14th; STAF (Federation of conferences) Record Type: Book Extent: 1 online resource (xv, 419 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗