421. 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) ↗
422. 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) ↗
423. Runtime verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings /: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings. (2017) Editors: Lahiri, Shuvendu; Reger, Giles Other Names: RV (Conference), 17th Record Type: Book Extent: 1 online resource (xix, 432 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
424. Runtime verification : 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings /: 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings. (2018) Editors: Colombo, Christian; Leucker, Martin Other Names: RV (Conference), 18th Record Type: Book Extent: 1 online resource (xi, 470 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
425. 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) ↗
426. Rust for the IoT : building Internet of Things apps with Rust and Raspberry Pi /: building Internet of Things apps with Rust and Raspberry Pi. ([2020]) Authors: Nusairat, Joseph Faisal Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
427. Rust Quick Start Guide : The easiest way to learn Rust programming /: The easiest way to learn Rust programming. (2018) Authors: Arbuckle, Daniel Record Type: Book Extent: 1 online resource (180 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
428. 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) ↗
429. Scala for Java developers : a practical primer /: a practical primer. (2018) Authors: Weston, Toby Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
430. Scala Programming Projects : Build real world projects using popular Scala frameworks like Play, Akka, and Spark /: Build real world projects using popular Scala frameworks like Play, Akka, and Spark. (2018) Authors: Valot, Mikaël; Jorand, Nicolas Record Type: Book Extent: 1 online resource (398 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗