1. Computer aided verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings.: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part I ([2019]) Other Names: Dillig, Isil; Tasiran, Serdar; CAV (Conference), 31st Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Julia quick syntax reference : a pocket guide for data science programming /: a pocket guide for data science programming. (2019) Authors: Lobianco, Antonello Record Type: Book Extent: 1 online resource (xvii, 216 pages. 66 illustrations) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Learn Java with math : using fun projects and games /: using fun projects and games. (2019) Authors: Dai, Ron Record Type: Book Extent: 1 online resource (xix, 231 pages. 36 illustrations) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Pro TBB : C++ Parallel Programming with Threading Building Blocks /: C++ Parallel Programming with Threading Building Blocks. (2019) Authors: Voss, Michael Other Names: Asenjo, Rafael; Reinders, James Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. R3 Corda for architects and developers : with case studies in finance, insurance, healthcare, travel, telecom, and agriculture /: with case studies in finance, insurance, healthcare, travel, telecom, and agriculture. ([2019]) Authors: Mohanty, Debajani Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. The joys of Hashing : Hash table programming with C /: Hash table programming with C. ([2019]) Other Names: Mailund, Thomas Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Transactions on high-performance embedded architectures and compilers V. (2019) Editors: Stenström, Per; Silvano, Cristina; Bertels, Koen; Schulte, Michael Record Type: Book Extent: 1 online resource (ix, 141 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Visual Studio code distilled : evolved code editing for Windows, macOS, and Linux /: evolved code editing for Windows, macOS, and Linux. ([2019]) Authors: Del Sole, Alessandro Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗