731. Reliable software technologies -- Ada-Europe 2018 : 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings /: 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings. (2018) Editors: Casimiro, Antonio; Ferreira, Pedro M Other Names: Ada-Europe International Conference on Reliable Software Technologies, 23rd Record Type: Book Extent: 1 online resource (XIV, 175 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
732. Rendezvous in distributed systems : theory, algorithms and applications /: theory, algorithms and applications. (2017) Other Names: Gu, Zhaoquan Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
733. Research in attacks, intrusions, and defenses : 18th International Symposium, RAID 2015, Kyoto, Japan, November 2-4, 2015, proceedings /: 18th International Symposium, RAID 2015, Kyoto, Japan, November 2-4, 2015, proceedings. (2015) Editors: Bos, Herbert; Monrose, Fabian; Blanc, Gregory Other Names: RAID (Symposium), 18th Record Type: Book Extent: 1 online resource (638 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
734. Research in attacks, intrusions, and defenses : 19th International Symposium, RAID 2016, Paris, France, September 19-21, 2016, Proceedings /: 19th International Symposium, RAID 2016, Paris, France, September 19-21, 2016, Proceedings. (2016) Editors: Monrose, Fabian; Dacier, Marc; Blanc, Gregory; Garcia-Alfaro, Joaquin Other Names: RAID (Symposium), 19th Record Type: Book Extent: 1 online resource (xiii, 482 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
735. Research in computational molecular biology : 20th Annual Conference, RECOMB 2016, Santa Monica, CA, USA, April 17-21, 2016, Proceedings /: 20th Annual Conference, RECOMB 2016, Santa Monica, CA, USA, April 17-21, 2016, Proceedings. (2016) Editors: (Associate Professor of Computer Science), Singh, Mona Other Names: RECOMB (Conference : 2005- ), 20th Record Type: Book Extent: 1 online resource (xxxiv, 274 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
736. 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) ↗
737. Risk assessment and risk-driven quality assurance : 4th International Workshop, RISK 2016, held in conjunction with ICTSS 2016, Graz, Austria, October 18, 2016, Revised selected papers /: 4th International Workshop, RISK 2016, held in conjunction with ICTSS 2016, Graz, Austria, October 18, 2016, Revised selected papers. (2017) Editors: (Project manager), Grossmann, Jürgen; Felderer, Michael; Seehusen, Fredrik Other Names: RISK (Conference), 4th; ICTSS (Conference), 28th, jointly held conference Record Type: Book Extent: 1 online resource (viii, 157 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
738. 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) ↗
739. 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) ↗
740. Runtime verification : 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings /: 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings. (2015) Editors: (Computer scientist), Bartocci, Ezio; Majumdar, Rupak Other Names: RV (Conference), 6th Record Type: Book Extent: 1 online resource (xiv, 396 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗