291. Interactive theorem proving : 9th International Conference, ITP 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings /: 9th International Conference, ITP 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings. (2018) Editors: Avigad, Jeremy; Mahboubi, Assia Other Names: ITP (Conference), 9th; Federated Logic Conference Record Type: Book Extent: 1 online resource (xvii, 642 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
292. Interpreting LISP : programming and data structures /: programming and data structures. ([2017]) Authors: Knott, Gary D Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
293. Introducing Bootstrap 4. (2016) Authors: Krause, Jörg Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
294. Introducing Jakarta EE CDI : Contexts and Dependency Injection for Enterprise Java Development /: Contexts and Dependency Injection for Enterprise Java Development. (2020) Authors: Saeed, Luqman Record Type: Book Extent: 1 online resource (91 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
295. Introducing Materialize. (2016) Authors: Prabhu, Anirudh; Shenoy, Aravind Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
296. Introducing the MySQL 8 document store. ([2018]) Authors: Bell, Charles Record Type: Book Extent: 1 online resource (xxiii, 532 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
297. Introduction to HPC with MPI for data science. (2016) Authors: Nielsen, Frank Record Type: Book Extent: 1 online resource (xxxiii, 282 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
298. Introduction to MATLAB for engineers and scientists : solutions for numerical computation and modeling /: solutions for numerical computation and modeling. (2017) Other Names: Nagar, Sandeep Record Type: Book Extent: 1 online resource (222 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
299. Introduction to parallel computing : from algorithms to programming on state-of-the-art platforms /: from algorithms to programming on state-of-the-art platforms. (2018) Authors: Trobec, Roman; Slivnik, Boštjan; Bulić, Patricio; Robič, Borut, 1960- Record Type: Book Extent: 1 online resource (xii, 256 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
300. Introduction to programming with Fortran : with coverage of Fortran 90, 95, 2003, 2008 and 77 /: with coverage of Fortran 90, 95, 2003, 2008 and 77. (2015) Authors: Chivers, I. D (Ian David), 1952-; Sleighthome, Jane, 1950- Record Type: Book Extent: 1 online resource (xxx, 674 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗