101. Wireless and Satellite Systems : 9th International Conference, WiSATS 2017, Oxford, UK, September 14-15, 2017, Proceedings /: 9th International Conference, WiSATS 2017, Oxford, UK, September 14-15, 2017, Proceedings. (2018) Editors: Pillai, Prashant; Sithamparanathan, Kandeepan; Giambene, Giovanni, 1966-; Vázquez, Miguel Ángel; Mitchell, Paul Daniel Other Names: WiSATS (Conference), 9th Record Type: Book Extent: 1 online resource (XI, 205 pages), 89 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
102. Formal methods : 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings /: 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings. (2018) Editors: Havelund, Klaus, 1955-; Peleska, Jan; Roscoe, A. W; Vink, Erik de Other Names: International Symposium of Formal Methods Europe, 22nd; Federated Logic Conference Record Type: Book Extent: 1 online resource (xiv, 692 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
103. NASA formal methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings /: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings. (2018) Editors: Dutle, Aaron Michael; Muñoz, César A, 1968-; Narkawicz, Anthony Joseph, 1982- Other Names: NFM (Symposium), 10th Record Type: Book Extent: 1 online resource (xi, 470 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
104. Engineering trustworthy software systems : third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial lectures /: third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial lectures. (2018) Editors: Bowen, J. P (Jonathan Peter), 1956-; Liu, Zhiming, 1961-; (Senior lecturer), Zhang, Zili Other Names: SETSS (International school), 3rd Record Type: Book Extent: 1 online resource (xvii, 219 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
105. Novel 3D Media Technologies. ([2015]) Editors: Kondoz, A. M (Ahmet M.); Dagiuklas, Tasos Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
106. High performance computing for computational science -- VECPAR 2014 : 11th International Conference, Eugene, OR, USA, June 30-July 3, 2014, Revised selected papers /: 11th International Conference, Eugene, OR, USA, June 30-July 3, 2014, Revised selected papers. (2015) Editors: Daydé, Michel; Marques, Osni; Nakajima, Kengo, 1962- Other Names: VECPAR (Conference), 11th Record Type: Book Extent: 1 online resource (xvii, 311 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
107. High performance computing systems : performance modeling, benchmarking, and simulation : 5th International Workshop, PMBS 2014, New Orleans, LA, USA, November 16, 2014. Revised selected papers /: performance modeling, benchmarking, and simulation : 5th International Workshop, PMBS 2014, New Orleans, LA, USA, November 16, 2014. Revised selected papers. (2015) Editors: Jarvis, Stephen A, 1970-; (Research fellow), Wright, Steven A; Hammond, Simon (Simon David) Other Names: PMBS (Workshop), 5th Record Type: Book Extent: 1 online resource (xii, 276 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
108. Advances in data mining : applications and theoretical aspects : 16h Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016, Proceedings /: applications and theoretical aspects : 16h Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016, Proceedings. (2016) Editors: Perner, Petra Other Names: Industrial Conference on Data Mining, 16th Record Type: Book Extent: 1 online resource (x, 279 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
109. Critical information infrastructures security : 10th international workshop, CRITIS 2015, Berlin, Germany, October 5-7, 2015 : revised selected papers /: 10th international workshop, CRITIS 2015, Berlin, Germany, October 5-7, 2015 : revised selected papers. (2016) Editors: Theocharidou, Marianthi; Wolthusen, Stephen; Rome, Erich Other Names: CRITIS (Workshop), 10th Record Type: Book Extent: 1 online resource (xiii, 266 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
110. Big data : 6th CCF Conference, Big Data 2018, Xi'an, China, October 11-13, 2018, Proceedings /: 6th CCF Conference, Big Data 2018, Xi'an, China, October 11-13, 2018, Proceedings. (2018) Editors: Xu, Zongben; Gao, Xinbo, 1972-; Miao, Qiguang; Zhang, Yunquan; Bu, Jiajun Other Names: CCF Academic Conference on Big Data, 6th Record Type: Book Extent: 1 online resource (xx, 590 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗