451. Enhanced quality of life and smart living : 15th International Conference, ICOST 2017, Paris, France, August 29-31, 2017, Proceedings /: 15th International Conference, ICOST 2017, Paris, France, August 29-31, 2017, Proceedings. (2017) Editors: Mokhtari, Mounir; Abdulrazak, Bessam; Aloulou, Hamdi Other Names: International Conference on Smart Homes and Health Telematics, 15th Record Type: Book Extent: 1 online resource (xxv, 262 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
452. Integrated formal methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings /: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings. (2017) Editors: Polikarpova, Nadia; Schneider, S. A (Steve A.) Other Names: International Conference on Integrated Formal Methods, 13th Record Type: Book Extent: 1 online resource (xxi, 438 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
453. Static analysis : 24th International Symposium, SAS 2017, New York, NY, USA, August 30-September 1, 2017, Proceedings /: 24th International Symposium, SAS 2017, New York, NY, USA, August 30-September 1, 2017, Proceedings. (2017) Editors: Ranzato, Francesco Other Names: International Static Analysis Symposium, 24th Record Type: Book Extent: 1 online resource (XIV, 473 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
454. The semantic web -- ISWC 2017. 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings /: 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings. Part I : (2017) Editors: d'Amato, Claudia, 1977-; Fernandez, Miriam; Tamma, Valentina; Lecue, Freddy; Cudré-Mauroux, Philippe; Sequeda, Juan; Lange, Christoph, 1980-; Heflin, Jeff Other Names: International Semantic Web Conference, 16th Record Type: Book Extent: 1 online resource (xlvi, 764 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
455. Communications and networking. 11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016, Proceedings /: 11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016, Proceedings. Part I : ([2018]) Editors: Chen, Qianbin; Meng, Weixiao; Zhao, Liqiang Other Names: ChinaCom (Conference), 11th Record Type: Book Extent: 1 online resource (xxii, 516 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
456. Representing scientific knowledge : the role of uncertainty /: the role of uncertainty. (2017) Other Names: Chen, Chaomei, 1960-; (Computer scientist), Song, Min Record Type: Book Extent: 1 online resource (375 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
457. 5G for future wireless networks : first International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedings /: first International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedings. (2018) Editors: Long, Keping; Leung, Victor Chung Ming, 1955-; Zhang, Haijun; Feng, Zhiyong; Li, Yonghui; Zhang, Zhongshan Other Names: International Conference on 5G for Future Wireless Networks, 1st Record Type: Book Extent: 1 online resource (xvi, 697 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
458. Computer vision systems : 11th International Conference, ICVS 2017, Shenzhen, China, July 10-13, 2017, Revised selected papers /: 11th International Conference, ICVS 2017, Shenzhen, China, July 10-13, 2017, Revised selected papers. (2017) Editors: Liu, Ming; Chen, Haoyao; Vincze, Markus, 1965- Other Names: ICVS (Conference : Computer vision systems), 11th Record Type: Book Extent: 1 online resource (xvi, 655 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
459. Cryptographic hardware and embedded systems -- CHES 2017 : 19th International Conference, Taipei, Taiwan, September 25-28, 2017, Proceedings /: 19th International Conference, Taipei, Taiwan, September 25-28, 2017, Proceedings. (2017) Editors: Fischer, Wieland; Homma, Naofumi Other Names: CHES (Workshop), 19th Record Type: Book Extent: 1 online resource (xiv, 710 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
460. Advances in Production Management Systems. The Path to Intelligent, Collaborative and Sustainable Manufacturing : IFIP WG 5.7 International Conference, APMS 2017, Hamburg, Germany, September 3-7, 2017, Proceedings, Part I /: IFIP WG 5.7 International Conference, APMS 2017, Hamburg, Germany, September 3-7, 2017, Proceedings, Part I. (2017) Editors: Lödding, Hermann; Riedel, Ralph; Thoben, K.-D; Von Cieminski, Gregor; Kiritsis, Dimitris Other Names: IFIP WG5.7 International Conference on Advances in Production Management Systems Record Type: Book Extent: 1 online resource (XXIV, 564 pages), 161 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗