971. 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) ↗
972. 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) ↗
973. Concise Guide to Software Engineering : From Fundamentals to Application Methods /: From Fundamentals to Application Methods. (2017) Authors: O'Regan, Gerard Record Type: Book Extent: 1 online resource (331 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
974. 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) ↗
975. 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) ↗
976. 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) ↗
977. 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) ↗
978. Software Technologies : 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, revised selected papers /: 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, revised selected papers. (2015) Editors: Holzinger, Andreas; Cardoso, Jorge, 1970-; Cordeiro, José; Libourel, Thérèse; Maciaszek, Leszek; Sinderen, Marten J. van, 1958- Other Names: ICSOFT (Conference), 9th Record Type: Book Extent: 1 online resource (xvi, 385 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
979. 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) ↗
980. Applications and techniques in information security : 6th [i.e. 7th] International Conference, ATIS 2016, Cairns, QLD, Australia, October 26-28, 2016, Proceedings /: 6th [i.e. 7th] International Conference, ATIS 2016, Cairns, QLD, Australia, October 26-28, 2016, Proceedings. (2016) Editors: Batten, Lynn; (Computer scientist), Li, Gang Other Names: ATIS (Conference), 7th Record Type: Book Extent: 1 online resource (xvi, 163 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗