531. Reachability problems : 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, proceedings /: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, proceedings. (2016) Editors: Larsen, K. G (Kim G.), 1957-; Potapov, Igor; Srba, Jiří Other Names: RP (Workshop), 10th Record Type: Book Extent: 1 online resource (xiv, 193 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
532. Reachability problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings /: 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings. (2017) Editors: Hague, Matthew; Potapov, Igor Other Names: RP (Workshop), 11th Record Type: Book Extent: 1 online resource (xv, 193 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
533. Reachability problems : 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings /: 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings. (2018) Editors: Potapov, Igor; Reynier, Pierre-Alain Other Names: RP (Workshop), 12th Record Type: Book Extent: 1 online resource (xxi, 161 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
534. Reactive with ClojureScript recipes : functional programming for the web /: functional programming for the web. (2017) Authors: Moyk, Nicolas Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
535. Recent trends in algebraic development techniques : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers /: 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers. (2015) Editors: Codescu, Mihai; Diaconescu, Răzvan; Tutu, Ionut Other Names: WADT (Workshop), 22nd Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
536. Recent trends in algebraic development techniques : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised selected papers /: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised selected papers. (2017) Editors: James, Phillip (Phillip D.); Roggenbach, Markus Other Names: WADT (Workshop), 23rd Record Type: Book Extent: 1 online resource (x, 223 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
537. Refinement : semantics, languages and applications /: semantics, languages and applications. ([2018]) Authors: Derrick, John, 1963-; Boiten, Eerke, 1966- Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
538. Regex quick syntax reference : understanding and using regular expressions /: understanding and using regular expressions. (2018) Authors: Nagy, Zsolt Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
539. Relational and algebraic methods in computer science : 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings /: 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings. (2017) Editors: Höfner, Peter; Pous, Damien; Struth, Georg Other Names: RAMiCS (Conference), 16th Record Type: Book Extent: 1 online resource (xiv, 323 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
540. Relational and algebraic methods in computer science : 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29-November 1, 2018, Proceedings /: 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29-November 1, 2018, Proceedings. (2018) Editors: Desharnais, Jules; Guttmann, Walter; Joosten, Stef Other Names: RAMiCS (Conference), 17th Record Type: Book Extent: 1 online resource (xvi, 385 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗