411. Reliable software technologies -- Ada-Europe 2017 : 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings /: 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings. (2017) Editors: Blieberger, Johann; Bader, Markus Other Names: Ada-Europe International Conference on Reliable Software Technologies, 22nd Record Type: Book Extent: 1 online resource (xiv, 251 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
412. Requirements engineering : foundation for software quality : 24th International Working Conference, REFSQ 2018, Utrecht, the Netherlands, March 19-22, 2018, Proceedings /: foundation for software quality : 24th International Working Conference, REFSQ 2018, Utrecht, the Netherlands, March 19-22, 2018, Proceedings. (2018) Editors: Kamsties, Erik; Horkoff, Jennifer; Dalpiaz, Fabiano Other Names: REFSQ (Conference), 24th Record Type: Book Extent: 1 online resource (xvii, 369 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
413. Reversible computation : 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings /: 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings. (2018) Editors: Kari, J (Jarkko); Ulidowski, Irek Other Names: RC (Workshop : Reversible Computation), 10th Record Type: Book Extent: 1 online resource (xiii, 353 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
414. 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) ↗
415. 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) ↗
416. 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) ↗
417. Robot Operating System Cookbook : Over 70 recipes to help you master advanced ROS concepts /: Over 70 recipes to help you master advanced ROS concepts. (2018) Authors: Bipin, Kumar Record Type: Book Extent: 1 online resource (484 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
418. 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) ↗
419. 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) ↗
420. 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) ↗