541. Relational database programming : a set-oriented approach /: a set-oriented approach. (2016) Authors: Ardeleanu, Stefan Record Type: Book Extent: 1 online resource (xxi, 149 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
542. Reliability, safety, and security of railway systems : modelling, analysis, verification, and certification : first International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings /: modelling, analysis, verification, and certification : first International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings. (2016) Editors: Lecomte, Thierry; Pinger, Ralf; Romanovsky, Alexander, 1954- Other Names: RSSRail (Conference), 1st Record Type: Book Extent: 1 online resource (xii, 255 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
543. 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) ↗
544. 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) ↗
545. 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) ↗
546. 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) ↗
547. Requirements engineering : foundation for software quality : 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27-March 2, 2017, Proceedings /: foundation for software quality : 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27-March 2, 2017, Proceedings. (2017) Editors: Grünbacher, Paul; Perini, Anna Other Names: REFSQ (Conference), 23rd Record Type: Book Extent: 1 online resource (xix, 380 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
548. 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) ↗
549. Reusable firmware development : a practical approach to APIs, HALs and drivers /: a practical approach to APIs, HALs and drivers. (2017) Authors: Beningo, Jacob Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
550. 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) ↗