81. Interactive theorem proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016. Proceedings /: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016. Proceedings. (2016) Editors: Blanchette, Jasmin; Merz, Stephan Other Names: ITP (Conference), 7th Record Type: Book Extent: 1 online resource (xvii, 502 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
82. 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) ↗
83. 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) ↗
84. 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) ↗
85. Java design patterns : a tour of 23 gang of four design patterns in Java /: a tour of 23 gang of four design patterns in Java. ([2016]) Authors: Sarcar, Vaskaran Record Type: Book Extent: 1 online resource (xxiv, 271 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
86. Java XML and JSON. (2016) Authors: Friesen, Jeff Record Type: Book Extent: 1 online resource (xx, 284 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
87. JSON quick syntax reference. (2016) Authors: Jackson, Wallace Record Type: Book Extent: 1 online resource (xx, 142 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
88. Kubernetes microservices with Docker. (2016) Authors: Vohra, Deepak, 1966- Record Type: Book Extent: 1 online resource (xxi, 432 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
89. Languages and compilers for parallel computing : 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015. Revised selected papers /: 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015. Revised selected papers. (2016) Editors: Shen, Xipeng; Mueller, Frank, 1966-; Tuck, James Other Names: LCPC (Workshop), 28th Record Type: Book Extent: 1 online resource (x, 319 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
90. Lean Python : learn just enough Python to build useful tools /: learn just enough Python to build useful tools. ([2016]) Authors: Gerrard, Paul Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗