81. Inductive logic programming : 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised selected papers /: 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised selected papers. (2017) Editors: Cussens, James; Russo, Alessandra Other Names: ILP (Conference), 26th Record Type: Book Extent: 1 online resource (xvii, 133 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
82. 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) ↗
83. Interactive theorem proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings /: 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings. (2017) Editors: Ayala-Rincón, M (Mauricio); Muñoz, César A, 1968- Other Names: ITP (Conference), 8th Record Type: Book Extent: 1 online resource (xix, 532 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
84. 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) ↗
85. Introducing ethereum and solidity : foundations of cryptocurrency and blockchain programming for beginners /: foundations of cryptocurrency and blockchain programming for beginners. (2017) Authors: Dannen, Chris Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
86. Introducing ZFS on Linux : understand the basics of storage with ZFS /: understand the basics of storage with ZFS. (2017) Other Names: Wojsław, Damian Record Type: Book Extent: 1 online resource (116 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
87. 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) ↗
88. Introduction to Scilab : For Engineers and Scientists /: For Engineers and Scientists. (2017) Authors: Nagar, Sandeep Record Type: Book Extent: 1 online resource (193 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
89. IOS Code Testing : Test-Driven Development and Behavior-Driven Development with Swift /: Test-Driven Development and Behavior-Driven Development with Swift. (2017) Authors: Mishra, Abhishek Record Type: Book Extent: 1 online resource (440 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
90. Java 11 cookbook : a definitive guide to learning the key concepts of modern application development.: a definitive guide to learning the key concepts of modern application development. (2017) Other Names: Samoylov, Nick; Sanaulla, Mohamed Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗