541. Verified software : theories, tools, and experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers /: theories, tools, and experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers. (2016) Editors: Blazy, Sandrine; Chechik, Marsha Other Names: VSTTE (Conference), 8th Record Type: Book Extent: 1 online resource (xiv, 199 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
542. Rewriting logic and its applications : 11th International Workshop, WRLA 2016, held as a satellite event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised selected papers /: 11th International Workshop, WRLA 2016, held as a satellite event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised selected papers. (2016) Editors: Lucanu, Dorel Other Names: WRLA (Conference), 11th; ETAPS (Conference), 19th Record Type: Book Extent: 1 online resource (xiii, 185 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
543. 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) ↗
544. Human-centered and error-resilient systems development : IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings /: IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings. (2016) Editors: Bogdan, Cristian; Gulliksen, Jan; Sauer, Stefan; Forbrig, Peter, 1954-; Winckler, Marco; Johnson, Chris; Palanque, Philippe, 1966-; Bernhaupt, Regina; Kis, Filip Other Names: International Conference on Human-Centered Software Engineering, 6th; International Conference on Human Error, Safety, and System Development, 8th Record Type: Book Extent: 1 online resource (xvii, 383 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
545. OpenSHMEM and related technologies : enhancing OpenSHMEM for hybrid environments : third workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2-4, 2016, Revised selected papers /: enhancing OpenSHMEM for hybrid environments : third workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2-4, 2016, Revised selected papers. (2016) Editors: Venkata, Manjunath Gorentla; Imam, Neena; Pophale, Swaroop; Mintz, Tiffany M Other Names: OpenSHMEM (Workshop), 3rd Record Type: Book Extent: 1 online resource (x, 239 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
546. Hardware and software : verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings /: verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings. ([2016]) Editors: Bloem, Roderick P; Arbel, Eli Other Names: International Haifa Verification Conference, 12th Record Type: Book Extent: 1 online resource (xvi, 211 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
547. Modelling foundations and applications : 12th European Conference, ECMFA 2016, held as part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings /: 12th European Conference, ECMFA 2016, held as part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings. (2016) Editors: Wąsowski, Andrzej; Lönn, Henrik Other Names: ECMFA (Conference), 12th; STAF (Federation of conferences) Record Type: Book Extent: 1 online resource (xviii, 265 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
548. NASA formal methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings /: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings. (2017) Editors: Barrett, Clark; Davies, Misty; Kahsai, Temesghen Other Names: NFM (Symposium), 9th Record Type: Book Extent: 1 online resource (xi, 436 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
549. Intelligent computer mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings /: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings. (2017) Editors: Geuvers, Herman, 1964-; England, Matthew; Hasan, Osman, 1975-; Rabe, Florian; Teschke, Olaf Other Names: CICM (Conference), 10th Record Type: Book Extent: 1 online resource (xviii, 375 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
550. Verified software : theories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised selected papers /: theories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised selected papers. (2017) Editors: Paskevich, Andrei; Wies, Thomas Other Names: VSTTE (Conference), 9th Record Type: Book Extent: 1 online resource (xiii, 211 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗