81. Hybrid artificial intelligent systems : 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedings /: 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedings. (2017) Editors: Martínez de Pisón, Francisco Javier; Urraca, Rubén; Quintián, Héctor; Corchado, Emilio Other Names: HAIS (Conference), 12th Record Type: Book Extent: 1 online resource (xviii, 725 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. Intelligent computer mathematics : 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings /: 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings. (2018) Editors: Rabe, Florian; Farmer, William M; Passmore, Grant O; Youssef, Abdou Other Names: CICM (Conference), 11th Record Type: Book Extent: 1 online resource (XII, 287 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
84. Interactive object oriented programming in Java : learn and test your skills /: learn and test your skills. (2016) Authors: Sarcar, Vaskaran Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
85. 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) ↗
86. 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) ↗
87. 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) ↗
88. 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) ↗
89. Introduction to deep learning using R : a step-by-step guide to learning and implementing deep learning models using R /: a step-by-step guide to learning and implementing deep learning models using R. ([2017]) Authors: Beysolow II, Taweh Record Type: Book Extent: 1 online resource (xix, 227 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
90. Introduction to Python for engineers and scientists : open source solutions for numerical computation /: open source solutions for numerical computation. ([2018]) Authors: Nagar, Sandeep Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗