651. Machines, computations, and universality : 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings /: 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings. (2015) Editors: Durand-Lose, Jérôme; Nagy, Benedek Other Names: MCU (Conference), 7th Record Type: Book Extent: 1 online resource (xx, 199 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
652. Information retrieval technology : 11th Asia Information Retrieval Societies Conference, AIRS 2015, Brisbane, QLD, Australia, December 2-4, 2015, proceedings /: 11th Asia Information Retrieval Societies Conference, AIRS 2015, Brisbane, QLD, Australia, December 2-4, 2015, proceedings. (2015) Editors: Zuccon, Guido; Geva, Shlomo; Joho, Hideo; Scholer, Falk; Sun, Aixin; Zhang, Peng Other Names: Asia Information Retrieval Societies Conference, 11th Record Type: Book Extent: 1 online resource (xviii, 454 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
653. Programming languages with applications to biology and security : essays dedicated to Pierpaolo Degano on the occasion of his 65th birthday /: essays dedicated to Pierpaolo Degano on the occasion of his 65th birthday. (2015) Editors: Bodei, Chiara; Ferrari, Gian-Luigi; Priami, Corrado Other Names: Degano, Pierpaolo 1950- honouree.; Programming Languages with Applications to Biology and Security (Colloquium) Record Type: Book Extent: 1 online resource (375 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
654. Modeling decisions for artificial intelligence : 12th International Conference, MDAI 2015, Skövde, Sweden, September 21-23, 2015, Proceedings /: 12th International Conference, MDAI 2015, Skövde, Sweden, September 21-23, 2015, Proceedings. (2015) Editors: Torra, Vicenç; Narukawa, Yasuo Other Names: MDAI (Conference), 12th Record Type: Book Extent: 1 online resource (xxvi, 243 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
655. Advanced parallel processing technologies : 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings /: 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings. (2015) Editors: Chen, Yunji; Ienne, Paolo; Ji, Qing Other Names: APPT (Symposium), 11th Record Type: Book Extent: 1 online resource (ix, 117 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
656. Decision and game theory for security : 6th international conference, GameSec 2015, London, UK, November 4-5, 2015, proceedings /: 6th international conference, GameSec 2015, London, UK, November 4-5, 2015, proceedings. (2015) Editors: Khouzani, M. H. R; Panaousis, Emmanouil; Theodorakopoulos, George Other Names: GameSec (Conference), 6th Record Type: Book Extent: 1 online resource (371 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
657. Application and Theory of Petri Nets and Concurrency : 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings /: 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings. (2018) Editors: Khomenko, Victor; Roux, Olivier H Record Type: Book Extent: 1 online resource (427 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
658. Beginning Java Data Structures and Algorithms : Sharpen your problem solving skills by learning core computer science concepts in a pain-free manner /: Sharpen your problem solving skills by learning core computer science concepts in a pain-free manner. (2018) Authors: Cutajar, James Record Type: Book Extent: 1 online resource (202 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
659. Unity 2018 By Example : Learn about game and virtual reality development by creating five engaging projects, 2nd Edition /: Learn about game and virtual reality development by creating five engaging projects, 2nd Edition. (2018) Authors: Thorn, Alan Record Type: Book Extent: 1 online resource (484 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
660. Introduction to digital systems design. ([2019]) Authors: Donzellini, Giuliano; Oneto, Luca; Ponta, Domenico; Anguita, Davide Record Type: Book Extent: 1 online resource (xxiii, 536 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗