211. Integrated Formal Methods : 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings /: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings. (2018) Editors: Furia, Carlo A; Winter, Kirsten Record Type: Book Extent: 1 online resource (420 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
212. Integrated Formal Methods : 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings /: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings. (2020) Editors: Ahrendt, Wolfgang; Tapia Tarifa, Silvia Lizeth Record Type: Book Extent: 1 online resource (554 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
213. 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) ↗
214. 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) ↗
215. Intelligent computer mathematics : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016. Proceedings /: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016. Proceedings. (2016) Editors: Kohlhase, Michael, 1964-; Johansson, Moa; Miller, Bruce; Moura, Leonardo de; Tompa, Frank Other Names: CICM (Conference), 9th Record Type: Book Extent: 1 online resource (xv, 384 pages), illustrations (black and white) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
216. Interactive C# : fundamentals, core concepts and patterns /: fundamentals, core concepts and patterns. (2018) Authors: Sarcar, Vaskaran Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
217. Interactive Data Visualization with Python : Present your data as an effective and compelling story, 2nd Edition /: Present your data as an effective and compelling story, 2nd Edition. (2020) Authors: Belorkar, Abha; Guntuku, Sharath Chandra; Hora, Shubhangi; Kumar, Anshu Record Type: Book Extent: 1 online resource (362 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
218. 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) ↗
219. 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) ↗
220. 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) ↗