431. Numerical software verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers /: 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers. (2017) Editors: Bogomolov, Sergiy; Martel, Matthieu; Prabhakar, Pavithra Other Names: NSV (Workshop), 9th; CAV (Conference), 28th, jointly held conference Record Type: Book Extent: 1 online resource (vii, 107 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
432. Object-oriented analysis, design and implementation : an integrated approach /: an integrated approach. ([2015]) Authors: Dathan, Brahma; Ramnath, Sarnath Record Type: Book Extent: 1 online resource (xix, 471 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
433. Object-oriented technology. (2015) Authors: Alagić, Suad, 1946- Record Type: Book Extent: 1 online resource (xiv, 209 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
434. Oceanographic analysis with R. (2018) Authors: Kelley, Dan E Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
435. On sets and graphs : perspectives on logic and combinatorics /: perspectives on logic and combinatorics. (2017) Authors: Omodeo, Eugenio; Policriti, Alberto; Tomescu, Alexandru I Record Type: Book Extent: 1 online resource (xix, 275 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
436. Online game pioneers at work : interviews with some of the top online game pioneers of our times /: interviews with some of the top online game pioneers of our times. (2015) Authors: Ramsay, Morgan Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
437. Open source geospatial tools : applications in earth observation /: applications in earth observation. ([2015]) Authors: McInerney, Daniel O; Kempeneers, Pieter Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
438. OpenSHMEM and related technologies : big compute and big data convergence : 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised selected papers /: big compute and big data convergence : 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised selected papers. ([2018]) Editors: Venkata, Manjunath Gorentla; Imam, Neena; Pophale, Swaroop Other Names: OpenSHMEM (Workshop), 4th Record Type: Book Extent: 1 online resource (x, 181 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
439. 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) ↗
440. OpenSHMEM and related technologies : experiences, implementations, and technologies : second workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised selected papers /: experiences, implementations, and technologies : second workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised selected papers. (2015) Editors: Gorentla Venkata, Manjunath; Shamis, Pavel; Imam, Neena; Lopez, M. Graham Other Names: OpenSHMEM (Workshop), 2nd Record Type: Book Extent: 1 online resource (x, 199 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗