491. Pursuit of the universal : 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27-July 1, 2016, Proceedings /: 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27-July 1, 2016, Proceedings. (2016) Editors: Beckmann, Arnold; Bienvenu, Laurent; Jonoska, Nataša, 1961- Other Names: Conference on Computability in Europe, 12th Record Type: Book Extent: 1 online resource (xvi, 375 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
492. Descriptional complexity of formal systems : 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings /: 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings. (2015) Editors: Shallit, Jeffrey Outlaw; Okhotin, Alexander Other Names: DCFS (Workshop), 17th Record Type: Book Extent: 1 online resource (xii, 293 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
493. Approximation and online algorithms : 12th International Workshop, WAOA 2014, Wrocław, Poland, September 11-12, 2014, Revised selected papers /: 12th International Workshop, WAOA 2014, Wrocław, Poland, September 11-12, 2014, Revised selected papers. (2015) Editors: Bampis, Evripidis; Svensson, Ola Other Names: WAOA (Workshop), 12th Record Type: Book Extent: 1 online resource (x, 273 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
494. Biomimetic design method for innovation and sustainability. ([2016]) Authors: Cohen, Yael Helfman; Reich, Yoram Record Type: Book Extent: 1 online resource (xxvii, 254 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
495. Intelligent cloud computing : first International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014, Revised selected papers /: first International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014, Revised selected papers. (2015) Editors: Al-Saidi, Asma; Fleischer, Rudolf, 1964-; Maamar, Zakaria; Rana, Omer Other Names: ICC (Conference : Oman), 1st Record Type: Book Extent: 1 online resource (x, 169 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
496. Hybrid artificial intelligent systems : 10th International Conference, HAIS 2015, Bilbao, Spain, June 22-24, 2015, Proceedings /: 10th International Conference, HAIS 2015, Bilbao, Spain, June 22-24, 2015, Proceedings. (2015) Editors: Onieva, Enrique Other Names: HAIS (Conference), 10th Record Type: Book Extent: 1 online resource (xviii, 740 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
497. Information security and cryptology : 11th International Conference, Inscrypt 2015, Beijing, China, November 1-3, 2015 ; proceedings /: 11th International Conference, Inscrypt 2015, Beijing, China, November 1-3, 2015 ; proceedings. (2016) Editors: Lin, Dongdai; Wang, Xiaofeng, 1971-; Yung, Moti Other Names: Inscrypt (Conference), 11th Record Type: Book Extent: 1 online resource (xiii, 490 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
498. Internet of vehicles - safe and intelligent mobility : second International Conference, IOV 2015, Chengdu, China, December 19-21, 2015, proceedings /: second International Conference, IOV 2015, Chengdu, China, December 19-21, 2015, proceedings. (2015) Editors: Hsu, Ching-Hsien Other Names: IOV (Conference), 2nd Record Type: Book Extent: 1 online resource (480 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
499. Computational methods and clinical applications for spine imaging : third International Workshop and Challenge, CSI 2015, held in conjunction with MICCAI 2015, Munich, Germany, October 5, 2015, Proceedings /: third International Workshop and Challenge, CSI 2015, held in conjunction with MICCAI 2015, Munich, Germany, October 5, 2015, Proceedings. (2016) Editors: Vrtovec, Tomaž; (Manager of clinical image processing services), Yao, Jianhua; Glocker, Ben; Klinder, Tobias; Frangi, Alejandro F; Zheng, Guoyan; Li, Shuo, 1974- Other Names: Computational Methods and Clinical Applications for Spine Imaging (Workshop), 3rd; International Conference on Medical Image Computing and Computer-Assisted Intervention, 18th Record Type: Book Extent: 1 online resource (x, 159 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
500. Java 11 cookbook : a definitive guide to learning the key concepts of modern application development.: a definitive guide to learning the key concepts of modern application development. (2017) Other Names: Samoylov, Nick; Sanaulla, Mohamed Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗