1171. Mobile, secure, and programmable networking : First International Conference, MSPN 2015, Paris, France, June 15-17, 2015 : selected papers /: First International Conference, MSPN 2015, Paris, France, June 15-17, 2015 : selected papers. (2015) Editors: Boumerdassi, Selma; Bouzefrane, Samia; (Computer scientist), Renault, Éric Other Names: MSPN (Conference), 1st Record Type: Book Extent: 1 online resource (177 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1172. Software engineering for resilient systems : 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings /: 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings. (2015) Editors: Fantechi, Alessandro; Pelliccione, P (Patrizio) Other Names: SERENE (Workshop), 7th Record Type: Book Extent: 1 online resource (ix, 145 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1173. Understanding control flow : concurrent programming using [mu]C++ /: concurrent programming using [mu]C++. (2016) Authors: Buhr, Peter A Record Type: Book Extent: 1 online resource (xxi, 741 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1174. Logic, rewriting, and concurrency : essays dedicated to José Meseguer on the occasion of his 65th birthday /: essays dedicated to José Meseguer on the occasion of his 65th birthday. ([2015]) Editors: Martí-Oliet, N (Narciso); Ölveczky, Peter Csaba; Talcott, Carolyn L Other Names: Meseguer, José honouree. Record Type: Book Extent: 1 online resource (xi, 634 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1175. Programming languages with applications to biology and security : essays dedicated to Pierpaolo Degano on the occasion of his 65th birthday /: essays dedicated to Pierpaolo Degano on the occasion of his 65th birthday. (2015) Editors: Bodei, Chiara; Ferrari, Gian-Luigi; Priami, Corrado Other Names: Degano, Pierpaolo 1950- honouree.; Programming Languages with Applications to Biology and Security (Colloquium) Record Type: Book Extent: 1 online resource (375 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1176. Cloud computing and big data : second International Conference, CloudCom-Asia 2015, Huangshan, China, June 17-19, 2015, Revised selected papers /: second International Conference, CloudCom-Asia 2015, Huangshan, China, June 17-19, 2015, Revised selected papers. (2015) Editors: Qiang, Weizhong; Zheng, Xianghan; Hsu, Ching-Hsien Other Names: International Conference on Cloud Computing and Big Data, 2nd Record Type: Book Extent: 1 online resource (xvii, 400 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1177. Computational methods in systems biology : 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings /: 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings. (2015) Editors: Roux, Olivier; Bourdon, Jérémie Other Names: CMSB (Conference), 13th Record Type: Book Extent: 1 online resource (xix, 288 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1178. Logic programming and nonmonotonic reasoning : 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /: 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings. (2015) Editors: Calimeri, Francesco; Ianni, Giovambattista; Truszczyński, Mirosław Other Names: LPNMR (Conference), 13th Record Type: Book Extent: 1 online resource (xiv, 574 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1179. Advanced parallel processing technologies : 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings /: 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings. (2015) Editors: Chen, Yunji; Ienne, Paolo; Ji, Qing Other Names: APPT (Symposium), 11th Record Type: Book Extent: 1 online resource (ix, 117 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1180. Model checking software : 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings /: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings. (2015) Editors: Fischer, Bernd; Geldenhuys, Jaco Other Names: International SPIN Workshop, 22nd Record Type: Book Extent: 1 online resource (xviii, 319 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗