1. Advances in visual computing : 12th International Symposium, ISVC 2016, Las Vegas, NV, USA, December 12-14, 2016, proceedings /: 12th International Symposium, ISVC 2016, Las Vegas, NV, USA, December 12-14, 2016, proceedings. (2016) Editors: Bebis, George Other Names: International Symposium on Visual Computing, 12th Record Type: Book Extent: 1 online resource (873 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Advances in visual computing. 12th International Symposium, ISVC 2016, Las Vegas, NV, USA, December 12-14, 2016, Proceedings /: 12th International Symposium, ISVC 2016, Las Vegas, NV, USA, December 12-14, 2016, Proceedings. Part II : (2016) Editors: Bebis, George Other Names: International Symposium on Visual Computing, 12th Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Beginning Samsung ARTIK. (2016) Other Names: Wootton, Cliff Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Cloud computing : 6th International Conference, CloudComp 2015, Daejeon, South Korea, October 28-29, 2015, Proceedings /: 6th International Conference, CloudComp 2015, Daejeon, South Korea, October 28-29, 2015, Proceedings. (2016) Editors: Zhang, Yin; Peng, Limei; Youn, Chan-Hyun Other Names: CloudComp (Conference), 6th Record Type: Book Extent: 1 online resource (xii, 356 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Communication technologies for vehicles : 10th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2016, San Sebastián, Spain, June 6-7, 2016, Proceedings /: 10th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2016, San Sebastián, Spain, June 6-7, 2016, Proceedings. (2016) Editors: Mendizábal Samper, Jaizki; Berbineau, Marion; Vinel, Alexey; Pfletschinger, Stephan; Bonneville, Hervé; Pirovano, Alain; Plass, Simon; Scopigno, Riccardo; Aniss, Hasnaa Other Names: Nets4Cars/Nets4Trains/Nets4Aircraft (Workshop), 10th Record Type: Book Extent: 1 online resource (xii, 187 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Compressive Sensing Based Algorithms for Electronic Defence. (2016) Authors: Mishra, Amit Kumar; Verster, Ryno Strauss Record Type: Book Extent: 1 online resource (184 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Computational intelligence and intelligent systems : 7th International Symposium, ISICA 2015, Guangzhou, China, November 21-22, 2015, Revised selected papers /: 7th International Symposium, ISICA 2015, Guangzhou, China, November 21-22, 2015, Revised selected papers. (2016) Editors: Li, Kangshun; Li, Jin; Liu, Yong; Castiglione, Aniello Other Names: ISICA (Symposium), 7th Record Type: Book Extent: 1 online resource (xv, 737 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Computer engineering and technology : 20th CCF Conference, NCCET 2016, Xi'an, China, August 10-12, 2016, Revised selected papers /: 20th CCF Conference, NCCET 2016, Xi'an, China, August 10-12, 2016, Revised selected papers. (2016) Editors: Xu, Weixia; Xiao, Liquan; (Computer scientist), Li, Jinwen; (Computer scientist), Zhang, Chengyi; Zhu, Zhenzhen Other Names: NCCET (Conference), 20th Record Type: Book Extent: 1 online resource (x, 232 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Contemporary consumer health informatics. ([2016]) Editors: Wickramasinghe, Nilmini; Troshani, Indrit; Tan, Joseph K. H Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Critical systems : formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings /: formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings. (2016) Editors: Beek, Maurice H. ter; Gnesi, Stefania, 1954-; Knapp, Alexander, 1971- Other Names: International Workshop on Formal Methods for Industrial Critical Systems, 21st; International Workshop on Automated Verification of Critical Systems, 16th Record Type: Book Extent: 1 online resource (xvi, 247 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗