551. 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) ↗
552. Rewriting logic and its applications : 12th International Workshop, WRLA 2018, held as a satellite event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings /: 12th International Workshop, WRLA 2018, held as a satellite event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings. (2018) Editors: Rusu, Vlad Other Names: WRLA (Conference), 12th; ETAPS (Conference), 21st Record Type: Book Extent: 1 online resource (xii, 261 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
553. Ripple Quick Start Guide : Get started with XRP and develop applications on Ripple's blockchain /: Get started with XRP and develop applications on Ripple's blockchain. (2018) Authors: James, Febin John Record Type: Book Extent: 1 online resource (160 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
554. Routines of substitution : John von Neumann's Work on Software Development, 1945-1948 /: John von Neumann's Work on Software Development, 1945-1948. ([2018]) Authors: Priestley, Mark Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
555. Ruby data processing : using map, reduce, and select /: using map, reduce, and select. ([2018]) Authors: Godse, Jay Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
556. 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) ↗
557. 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) ↗
558. Rules and Reasoning : International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings /: International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings. (2017) Editors: Costantini, Stefania; Franconi, Enrico; Van Woensel, William; Kontchakov, Roman; Sadri, Fariba; Roman, Dumitru Other Names: RuleML+RR (Joint Conference) Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
559. Rules and reasoning : second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings /: second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings. (2018) Editors: Benzmüller, Christoph; Ricca, Francesco; Parent, Xavier; (Research scientist), Roman, Dumitru Other Names: RuleML+RR (Joint Conference), 2nd Record Type: Book Extent: 1 online resource (xxiii, 328 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
560. 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) ↗