1331. Human aspects of information security, privacy and trust : 5th International Conference, HAS 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings /: 5th International Conference, HAS 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings. (2017) Editors: Tryfonas, Theodore Other Names: HAS (Conference), 5th; International Conference on Human-Computer Interaction, 19th, jointly held conference Record Type: Book Extent: 1 online resource (xix, 754 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1332. Artificial general intelligence : 10th International Conference, AGI 2017, Melbourne, VIC, Australia, August 15-18, 2017, Proceedings /: 10th International Conference, AGI 2017, Melbourne, VIC, Australia, August 15-18, 2017, Proceedings. ([2017]) Editors: (Researcher on artificial intelligence), Everitt, Tom; Goertzel, Ben; Potapov, Alexey Other Names: AGI (Conference), 10th Record Type: Book Extent: 1 online resource (xi, 275 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1333. Large-scale scientific computing : 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, revised selected papers /: 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, revised selected papers. (2018) Editors: Lirkov, Ivan, 1963-; Margenov, Svetozar Other Names: LSSC (Conference), 11th Record Type: Book Extent: 1 online resource (xv, 610 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1334. Advances in Computer Games : 15th International Conferences, ACG 2017, Leiden, the Netherlands, July 3-5, 2017 : revised selected papers /: 15th International Conferences, ACG 2017, Leiden, the Netherlands, July 3-5, 2017 : revised selected papers. ([2017]) Editors: Winands, Mark H. M, 1978-; Herik, Jaap van den; Kosters, Walter Other Names: Advances in Computer Games (Conference), 15th Record Type: Book Extent: 1 online resource (xx, 235 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1335. Software Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings /: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings. (2020) Editors: de Boer, Frank; Cerone, Antonio Record Type: Book Extent: 1 online resource (325 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1336. Computer security -- ESORICS 2020 : 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings.: 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings. Part I (2020) Other Names: Chen, Liqun; (Computer scientist), Li, Ninghui; Liang, Kaitai; Schneider, S. A (Steve A.); European Symposium on Research in Computer Security, 25th Record Type: Book Extent: 1 online resource, illustrations (some colour) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1337. Cognitive modeling for automated human performance evaluation at scale. (2020) Other Names: Yuan, Haiyue; (Writer on computer security), Li, Shujun; Rusconi, Patrice Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1338. Services – SERVICES 2020 : 16th World Congress, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings /: 16th World Congress, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings. (2020) Editors: Ferreira, Joao Eduardo; Palanisamy, Balaji; Ye, Kejiang; Kantamneni, Siva; Zhang, Liang-Jie Record Type: Book Extent: 1 online resource (113 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1339. Guide to scientific computing in C++. (2017) Authors: Pitt-Francis, Joe; Whiteley, Jonathan Record Type: Book Extent: 1 online resource (xiv, 287 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1340. Smart societies, infrastructure, technologies and applications : first International Conference, SCITA 2017, Jeddah, Saudi Arabia, November 27-29, 2017, Proceedings /: first International Conference, SCITA 2017, Jeddah, Saudi Arabia, November 27-29, 2017, Proceedings. (2018) Editors: Mehmood, Rashid; Bhaduri, Budhendra; Katib, Iyad; Chlamtac, Imrich Other Names: International Conference on Smart Cities, Infrastructures, Technologies and Applications, 1st Record Type: Book Extent: 1 online resource (xiv, 367 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗