61. Innovative security solutions for information technology and communications : 10th International Conference, SecITC 2017, Bucharest, Romania, June 8-9, 2017, Revised selected papers /: 10th International Conference, SecITC 2017, Bucharest, Romania, June 8-9, 2017, Revised selected papers. (2017) Editors: Farshim, Pooya; (Associate professor), Simion, Emil Other Names: International Conference on Security for Information Technology and Communications, 10th Record Type: Book Extent: 1 online resource (xii, 201 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
62. 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) ↗
63. Internet of vehicles : technologies and services for smart cities : 4th International Conference, IOV 2017, Kanazawa, Japan, November 22-25, 2017, Proceedings /: technologies and services for smart cities : 4th International Conference, IOV 2017, Kanazawa, Japan, November 22-25, 2017, Proceedings. (2017) Editors: Peng, Sheng-Lung; Lee, Guan-Ling; Klette, Reinhard; Hsu, Ching-Hsien Other Names: IOV (Conference), 4th Record Type: Book Extent: 1 online resource (xii, 225 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
64. Internet science : 4th International Conference, INSCI 2017, Thessaloniki, Greece, November 22-24, 2017, Proceedings /: 4th International Conference, INSCI 2017, Thessaloniki, Greece, November 22-24, 2017, Proceedings. (2017) Editors: Kompatsiaris, Ioannis; Cave, Jonathan A. K, 1951-; Satsiou, Anna; Carle, Georg, 1965-; Passani, Antonella; Kontopoulos, Efstratios; Diplaris, Sotiris; McMillan, Donald Other Names: INSCI (Conference), 4th Record Type: Book Extent: 1 online resource (xiv, 438 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
65. Intravascular imaging and computer assisted stenting, and large-scale annotation of biomedical data and expert label synthesis : 6th Joint International Workshops, CVII-STENT 2017 and second International Workshop, LABELS 2017, held in conjunction with MICCAI 2017, Québec City, QC, Canada, September 10-14, 2017, Proceedings /: 6th Joint International Workshops, CVII-STENT 2017 and second International Workshop, LABELS 2017, held in conjunction with MICCAI 2017, Québec City, QC, Canada, September 10-14, 2017, Proceedings. (2017) Editors: Cardoso, M. Jorge; Arbel, Tal Other Names: International Workshops on Computing and Visualization for Intravascular Imaging and Computer Assisted Stenting, 6th; LABELS (Workshop), 2nd; International Conference on Medical Image Computing and Computer-Assisted Intervention, 20th Record Type: Book Extent: 1 online resource (xvi, 166 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
66. Languages and compilers for parallel computing : 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised papers /: 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised papers. (2017) Editors: Ding, Chen, 1970-; Criswell, John; Wu, Peng, 1974- Other Names: LCPC (Workshop), 29th Record Type: Book Extent: 1 online resource (xi, 348 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
67. Modeling, simulation and optimization of complex processes HPSC 2015 : Proceedings of the Sixth International Conference on High Performance Scientific Computing, March 16-20, 2015, Hanoi, Vietnam /: Proceedings of the Sixth International Conference on High Performance Scientific Computing, March 16-20, 2015, Hanoi, Vietnam. (2017) Other Names: Bock, Hans Georg; Phu, Hoang Xuan; Rannacher, Rolf; Schlöder, Johannes P; International Conference on High Performance Scientific Computing, 6th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
68. Modelling Foundations and Applications : 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings /: 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings. (2017) Editors: Anjorin, Anthony; Espinoza, Huáscar Other Names: ECMFA (Conference), 13th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
69. Network and parallel computing : 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings /: 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings. (2017) Editors: Shi, Xuanhua; An, Hong; Wang, Chao; Kandemir, Mahmut; Jin, Hai Other Names: NPC (Conference), 14th Record Type: Book Extent: 1 online resource (xii, 162 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
70. Network function virtualization : concepts and applicability in 5G networks /: concepts and applicability in 5G networks. (2017) Authors: Zhang, Ying Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗