511. Green, pervasive, and cloud computing : 12th International Conference, GPC 2017, Cetara, Italy, May 11-14, 2017, Proceedings /: 12th International Conference, GPC 2017, Cetara, Italy, May 11-14, 2017, Proceedings. (2017) Editors: Au, Man Ho Allen; Castiglione, Arcangelo; Choo, Kim-Kwang Raymond; Palmieri, Francesco; Li, Kuan-Ching Other Names: GPC (Conference), 12th Record Type: Book Extent: 1 online resource (xx, 815 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
512. Simulation and synthesis in medical imaging : first International Workshop, SASHIMI 2016, held in conjunction with MICCAI 2016, Athens, Greece, October 21, 2016, Proceedings /: first International Workshop, SASHIMI 2016, held in conjunction with MICCAI 2016, Athens, Greece, October 21, 2016, Proceedings. (2016) Editors: Tsaftaris, Sotirios A; Gooya, Ali; Frangi, Alejandro F; Prince, Jerry L Other Names: SASHIMI (Workshop), 1st; International Conference on Medical Image Computing and Computer-Assisted Intervention, 19th Record Type: Book Extent: 1 online resource (x, 178 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
513. Advances in artificial intelligence : 18th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2018, Granada, Spain, October 23-26, 2018, Proceedings /: 18th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2018, Granada, Spain, October 23-26, 2018, Proceedings. (2018) Editors: Dr, Herrera, Francisco; Damas, Sergio; Montes, Rosana; Alonso, Sergio; Cordón, Oscar; González, Antonio; Troncoso, Alicia Other Names: Asociación Española de Inteligencia Artificial., Conferencia, (18th) 2018 (Granada, Spain) Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
514. Handbook of Floating-Point Arithmetic. (2018) Authors: Muller, Jean-Michel; Brunie, Nicolas; Dinechin, Florent de; Jeannerod, Claude-Pierre; Joldes, Mioara; Lefèvre, Vincent; Melquiond, Guillaume; Revol, Nathalie; Torres, Serge Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
515. Computer performance engineering : 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings /: 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings. (2018) Editors: Bakhshi, Rena; Ballarini, Paolo; Barbot, Benoît; Castel-Taleb, Hind; Remke, Anne Other Names: EPEW (Workshop), 15th Record Type: Book Extent: 1 online resource (xvi, 265 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
516. Provable security : 11th International Conference, ProvSec 2017, Xi'an, China, October 23-25, 2017, Proceedings /: 11th International Conference, ProvSec 2017, Xi'an, China, October 23-25, 2017, Proceedings. (2017) Editors: Okamoto, Tatsuaki; Yu, Yong; Au, Man-Ho; Li, Yannan Other Names: ProvSec (Conference), 11th Record Type: Book Extent: 1 online resource (xiii, 508 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
517. Multi-disciplinary trends in artificial intelligence : 10th international workshop, MIWAI 2016, Chiang Mai, Thailand, December 7-9, 2016 : proceedings /: 10th international workshop, MIWAI 2016, Chiang Mai, Thailand, December 7-9, 2016 : proceedings. ([2016]) Other Names: MIWAI (Workshop), 10th Record Type: Book Extent: 1 online resource (xxiii, 314 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
518. Algorithms and architectures for parallel processing : 17th International Conference, ICA3PP 2017, Helsinki, Finland, August 21-23, 2017, Proceedings /: 17th International Conference, ICA3PP 2017, Helsinki, Finland, August 21-23, 2017, Proceedings. (2017) Editors: Ibrahim, Shadi; Choo, Kim-Kwang Raymond; Yan, Zheng; Pedrycz, Witold, 1953- Other Names: International Conference on Algorithms and Architectures for Parallel Processing, 17th Record Type: Book Extent: 1 online resource (xxiii, 829 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
519. Modeling discrete competitive facility location. ([2015]) Authors: Karakitsiou, Athanasia Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
520. Information processing and management of uncertainty in knowledge-based systems. theory and foundations ; 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, proceedings /: theory and foundations ; 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, proceedings. Part II : (2018) Editors: Medina, Jesús Other Names: International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, 17th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗