141. 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) ↗
142. Requirements engineering : foundation for software quality : 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016, Proceedings /: foundation for software quality : 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016, Proceedings. (2016) Editors: Daneva, Maya; Pastor, Óscar, 1962- Other Names: REFSQ (Conference), 22nd Record Type: Book Extent: 1 online resource (xv, 319 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
143. Retrogame archeology : exploring old computer games /: exploring old computer games. ([2016]) Authors: Aycock, John Daniel, 1970- Record Type: Book Extent: 1 online resource (xix, 222 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
144. 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) ↗
145. 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) ↗
146. 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) ↗
147. Rule technologies : research, tools, and applications : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings /: research, tools, and applications : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings. (2016) Editors: Alferes, José Júlio; Bertossi, Leopoldo; Governatori, Guido; Fodor, Paul; (Research scientist), Roman, Dumitru Other Names: RuleML (Symposium : Rule-based modeling), 10th Record Type: Book Extent: 1 online resource (xxv, 351 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
148. 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) ↗
149. Salesforce.com lightning process builder and visual workflow : a practical guide to model-driven development on the Force.com platform /: a practical guide to model-driven development on the Force.com platform. (2016) Authors: Keel, Jonathan Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
150. 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) ↗