91. Interactive theorem proving : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings. (2015) Editors: Urban, Christian; Zhang, Xingyuan Other Names: ITP (Conference), 6th Record Type: Book Extent: 1 online resource (xi, 469 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
92. Internet and distributed computing systems : 8th International Conference, IDCS 2015, Windsor, UK, September 2-4, 2015. Proceedings /: 8th International Conference, IDCS 2015, Windsor, UK, September 2-4, 2015. Proceedings. (2015) Editors: Di Fatta, Giuseppe; Fortino, Giancarlo, 1971-; Li, Wenfeng, 1966-; Pathan, Mukaddim; Stahl, Frederic; Guerrieri, Antonio Other Names: IDCS (Conference), 8th Record Type: Book Extent: 1 online resource (xiii, 306 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
93. 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) ↗
94. Job scheduling strategies for parallel processing : 18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014. Revised selected papers /: 18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014. Revised selected papers. (2015) Editors: Cirne, Walfredo; Desai, Narayan (Narayan L.) Other Names: JSSPP (Workshop), 18th Record Type: Book Extent: 1 online resource (ix, 169 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
95. Languages and compilers for parallel computing : 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised selected papers /: 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised selected papers. (2015) Editors: Brodman, James; Tu, Peng Other Names: LCPC (Workshop), 27th Record Type: Book Extent: 1 online resource (ix, 398 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
96. Large-scale scientific computing : 10th international conference, LSSC 2015, Sozopol, Bulgaria, June 8-12, 2015, revised selected papers /: 10th international conference, LSSC 2015, Sozopol, Bulgaria, June 8-12, 2015, revised selected papers. (2015) Editors: Lirkov, Ivan, 1963-; Margenov, Svetozar; Waśniewski, Jerzy, 1931- Other Names: LSSC (Conference), 10th Record Type: Book Extent: 1 online resource (444 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
97. Latent variable analysis and signal separation : 12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 25-28, 2015, Proceedings /: 12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 25-28, 2015, Proceedings. (2015) Editors: Vincent, Emmanuel; Yeredor, Arie; Koldovský, Zbyněk; Tichavský, Petr Other Names: International Conference on Latent Variable Analysis and Signal Separation, 12th Record Type: Book Extent: 1 online resource (xvi, 532 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
98. Learning and intelligent optimization : 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised selected papers /: 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised selected papers. (2015) Editors: Dhaenens, Clarisse; Jourdan, Laetitia, 1976-; Marmion, Marie-Eléonore Other Names: LION (Conference), 9th Record Type: Book Extent: 1 online resource (xi, 313 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
99. Learning MATLAB : a problem solving approach /: a problem solving approach. (2015) Authors: Gander, Walter Record Type: Book Extent: 1 online resource (149 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
100. Lightweight cryptography for security and privacy : third International Workshop, LightSec 2014, Istanbul, Turkey, September 1-2, 2014, Revised selected papers /: third International Workshop, LightSec 2014, Istanbul, Turkey, September 1-2, 2014, Revised selected papers. (2015) Editors: Eisenbarth, Thomas; Öztürk, Erdinç Other Names: LightSec (Workshop), 3rd Record Type: Book Extent: 1 online resource (xiii, 169 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗