71. Guide to discrete mathematics : an accessible introduction to the history, theory, logic and applications /: an accessible introduction to the history, theory, logic and applications. (2016) Authors: O'Regan, Gerard (Cornelius Gerard) Record Type: Book Extent: 1 online resource (xxi, 368 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
72. Hardware and software : verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings /: verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings. ([2016]) Editors: Bloem, Roderick P; Arbel, Eli Other Names: International Haifa Verification Conference, 12th Record Type: Book Extent: 1 online resource (xvi, 211 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
73. Harley Hahn's Emacs field guide. (2016) Authors: Hahn, Harley, 1952- Record Type: Book Extent: 1 online resource (xxi, 276 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
74. Hybrid systems biology : 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, proceedings /: 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, proceedings. (2016) Editors: Cinquemani, Eugenio; Donzé, Alexandre Other Names: HSB (Workshop), 5th Record Type: Book Extent: 1 online resource (179 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
75. Implementation and application of automata : 21st International Conference, Proceedings, CIAA 2016, Seoul, South Korea, July 19-22, 2016. Proceedings /: 21st International Conference, Proceedings, CIAA 2016, Seoul, South Korea, July 19-22, 2016. Proceedings. ([2016]) Editors: Han, Yo-Sub; Salomaa, Kai Other Names: CIAA (Conference), 21st Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
76. Inductive logic programming : 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015 : revised selected papers /: 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015 : revised selected papers. (2016) Editors: Inoue, Katsumi; Ohwada, Hayato; Yamamoto, Akihiro, 1960- Other Names: ILP (Conference), 25th Record Type: Book Extent: 1 online resource (x, 215 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
77. Information and communication technologies in education, research, and industrial applications : 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers /: 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers. (2016) Editors: Yakovyna, Vitaliy; Mayr, H. C (Heinrich Christian); Nikitchenko, Mykola; Zholtkevych, Grygoriy; Spivakovsky, Aleksander; Batsakis, Sotiris Other Names: ICTERI (Conference), 11th Record Type: Book Extent: 1 online resource (xi, 157 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
78. Integrated formal methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings /: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. (2016) Editors: Ábrahám, Erika; Huisman, Marieke Other Names: International Conference on Integrated Formal Methods, 12th Record Type: Book Extent: 1 online resource (xiv, 538 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
79. 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) ↗
80. 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) ↗