41. Graph transformation : 8th International Conference, ICGT 2015, held as part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings /: 8th International Conference, ICGT 2015, held as part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings. (2015) Editors: Parisi Presicce, Francesco; Westfechtel, Bernhard, 1958- Other Names: ICGT (Conference), 8th; STAF (Federation of conferences) Record Type: Book Extent: 1 online resource (xiv, 283 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
42. Hardware and software: verification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings /: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings. (2015) Editors: Piterman, Nir Other Names: International Haifa Verification Conference, 11th Record Type: Book Extent: 1 online resource (293 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
43. Hybrid systems biology : Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised selected papers /: Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised selected papers. (2015) Editors: Abate, Alessandro; Šafránek, David Other Names: HSB (Workshop), 4th Record Type: Book Extent: 1 online resource (xiv, 249 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
44. Hybrid systems biology : Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014 : revised selected papers /: Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014 : revised selected papers. ([2015]) Editors: Maler, O (Oded) Other Names: Halász, Ádám editor of compilation.; Dang, Thao editor of compilation.; Piazza, Carla editor of compilation.; HSB (Workshop), 2nd; HSB (Workshop), 3rd Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
45. Inductive logic programming : 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014 : revised selected papers /: 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014 : revised selected papers. (2015) Editors: Davis, Jesse; Ramon, Jan Other Names: ILP (Conference), 24th Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
46. Information security : 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings /: 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings. (2015) Editors: Desmedt, Yvo Other Names: ISC (Conference : Information security), 16th Record Type: Book Extent: 1 online resource (xiv, 418 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
47. Intelligent cloud computing : first International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014, Revised selected papers /: first International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014, Revised selected papers. (2015) Editors: Al-Saidi, Asma; Fleischer, Rudolf, 1964-; Maamar, Zakaria; Rana, Omer Other Names: ICC (Conference : Oman), 1st Record Type: Book Extent: 1 online resource (x, 169 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
48. Interactive theorem proving : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings. (2015) Editors: Urban, Christian; Zhang, Xingyuan Other Names: ITP (Conference), 6th Record Type: Book Extent: 1 online resource (xi, 469 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
49. Introduction to programming with Fortran : with coverage of Fortran 90, 95, 2003, 2008 and 77 /: with coverage of Fortran 90, 95, 2003, 2008 and 77. (2015) Authors: Chivers, I. D (Ian David), 1952-; Sleighthome, Jane, 1950- Record Type: Book Extent: 1 online resource (xxx, 674 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
50. Languages and compilers for parallel computing : 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised selected papers /: 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised selected papers. (2015) Editors: Brodman, James; Tu, Peng Other Names: LCPC (Workshop), 27th Record Type: Book Extent: 1 online resource (ix, 398 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗