561. 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) ↗
562. 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) ↗
563. 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) ↗
564. 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) ↗
565. Salesforce.com lightning process builder and visual workflow : a practical guide to model-driven development on the Force.com platform /: a practical guide to model-driven development on the Force.com platform. (2016) Authors: Keel, Jonathan Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
566. 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) ↗
567. Scalable uncertainty management : 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings /: 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings. (2017) Editors: Moral, Serafín, 1952-; Pivert, Olivier; Sánchez, Daniel; Marín, Nicolás Other Names: SUM (Conference), 11th Record Type: Book Extent: 1 online resource (xix, 438 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
568. Scalable uncertainty management : 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings /: 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings. (2018) Editors: Ciucci, Davide; Pasi, Gabriella, 1961-; Vantaggi, Barbara Other Names: SUM (Conference), 12th Record Type: Book Extent: 1 online resource (xi, 413 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
569. Scaling OpenMP for Exascale Performance and Portability : 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings /: 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings. (2017) Editors: De Supinski, Bronis R; Olivier, Stephen L; Terboven, Christian; Chapman, Barbara, 1954-; Müller, Matthias S Other Names: IWOMP (Conference), 13th Record Type: Book Extent: 1 online resource (350 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
570. Scratch by example : programming for all ages /: programming for all ages. (2016) Authors: Vlieg, Eduardo A Record Type: Book Extent: 1 online resource (364 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗