81. Functional and logic programming : 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings /: 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings. (2018) Editors: Gallagher, John P; Sulzmann, Martin Other Names: Fuji International Symposium on Functional and Logic Programming, 14th Record Type: Book Extent: 1 online resource (XVI, 281 pages), 74 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
82. Future access enablers for ubiquitous and intelligent infrastructures : first International Conference, FABULOUS 2015, Ohrid, Republic of Macedonia, September 23-25, 2015, revised selected papers /: first International Conference, FABULOUS 2015, Ohrid, Republic of Macedonia, September 23-25, 2015, revised selected papers. (2015) Editors: Atanasovski, Vladimir; Leon-Garcia, Alberto Other Names: FABULOUS (Conference), 1st Record Type: Book Extent: 1 online resource (xii, 316 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
83. Future network systems and security : third International Conference, FNSS 2017, Gainesville, FL, USA, August 31-September 2, 2017, Proceedings /: third International Conference, FNSS 2017, Gainesville, FL, USA, August 31-September 2, 2017, Proceedings. (2017) Editors: Doss, Robin; Piramuthu, Selwyn; (Associate professor), Zhou, Wei Other Names: FNSS (Conference), 3rd Record Type: Book Extent: 1 online resource (x, 199 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
84. Geo-informatics in resource management and sustainable ecosystem : third International Conference, GRMSE 2015, Wuhan, China, October 16-18, 2015. Proceedings /: third International Conference, GRMSE 2015, Wuhan, China, October 16-18, 2015. Proceedings. (2016) Editors: Bian, Fuling; Xie, Yichun Other Names: GRMSE (Conference), 3rd Record Type: Book Extent: 1 online resource (xviii, 765 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
85. Geo-spatial knowledge and intelligence. 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016, Revised selected papers /: 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016, Revised selected papers. Part I : (2017) Editors: Yuan, Hanning; Geng, Jing; Bian, Fuling Other Names: GRMSE (Conference), 4th Record Type: Book Extent: 1 online resource (xlix, 605 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
86. Geo-spatial knowledge and intelligence. 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016, Revised selected papers /: 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016, Revised selected papers. Part II : (2017) Editors: Yuan, Hanning; Geng, Jing; Bian, Fuling Other Names: GRMSE (Conference), 4th Record Type: Book Extent: 1 online resource (l, 497 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
87. Graph Transformation : 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings /: 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings. (2017) Editors: Lara, Juan de (Lara Jaramillo); Plump, Detlef Other Names: ICGT (Conference), 10th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
88. Guide to software development : designing and managing the life cycle /: designing and managing the life cycle. (2016) Authors: Langer, Arthur M Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
89. Healthcare interoperability standards compliance handbook : conformance and testing of healthcare data exchange standards /: conformance and testing of healthcare data exchange standards. (2016) Authors: Oemig, Frank; Snelick, Robert Record Type: Book Extent: 1 online resource (662 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
90. High performance computing : 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedings /: 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedings. (2015) Editors: Kunkel, Julian Martin; (Computer scientist), Ludwig, Thomas Other Names: ISC High Performance (Conference), 30th Record Type: Book Extent: 1 online resource (xii, 530 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗