331. Languages, design methods, and tools for electronic system design : selected contributions from FDL 2015 /: selected contributions from FDL 2015. (2016) Editors: Drechsler, Rolf; Wille, Robert Other Names: FDL (Conference) Record Type: Book Extent: 1 online resource (viii, 193 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
332. Architecture of computing systems -- ARCS 2016 : 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings /: 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings. (2016) Editors: Hannig, Frank; Cardoso, João M. P; Pionteck, Thilo; Fey, Dietmar; Schröder-Preikschat, W (Wolfgang); Teich, Jürgen, 1964- Other Names: ARCS (Conference), 29th Record Type: Book Extent: 1 online resource (xx, 402 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
333. 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) ↗
334. A list of successes that can change the world : essays dedicated to Philip Wadler on the occasion of his 60th birthday /: essays dedicated to Philip Wadler on the occasion of his 60th birthday. (2016) Editors: Lindley, Sam; McBride, Conor; Trinder, Phil; Sannella, D (Donald), 1956- Other Names: Wadler, Philip 1956- honouree. Record Type: Book Extent: 1 online resource (479 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
335. Functional and logic programming : 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016. Proceedings /: 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016. Proceedings. (2016) Editors: Kiselyov, Oleg; King, Andrew Malcolm Other Names: Fuji International Symposium on Functional and Logic Programming, 13th Record Type: Book Extent: 1 online resource (xii, 253 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
336. Software engineering research, management and applications. (2016) Editors: Lee, R. Y (Roger Y.) Other Names: SERA (Conference), 14th Record Type: Book Extent: 1 online resource (xiii, 199 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
337. Algorithms and architectures for parallel processing : 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, proceedings /: 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, proceedings. (2015) Editors: (Computer scientist), Wang, Guojun; Zomaya, Albert Y; Martinez Pérez, Gregorio; Li, Kenli Other Names: International Conference on Algorithms and Architectures for Parallel Processing, 15th Record Type: Book Extent: 1 online resource (845 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
338. Smart city 360° : first EAI International Summit, Smart City 360°, Bratislava, Slovakia and Toronto, Canada, October 13-16, 2015. Revised selected papers /: first EAI International Summit, Smart City 360°, Bratislava, Slovakia and Toronto, Canada, October 13-16, 2015. Revised selected papers. (2016) Editors: Leon-Garcia, Alberto; Lenort, Radim; Holman, David; Staš, David; Krutilova, Veronika; Wicher, Pavel; Cagáňová, Dagmar; Špirková, Daniela; Golej, Julius; Nguyen, Kim Other Names: EAI International Conference on Sustainable Solution Beyond Mobility of Goods, 1st; MOBIDANUBE (Conference); International Conference Social Innovation and Community Aspects of Smart Cities; SmartCityCom (Conference); SUMS (Conference) Record Type: Book Extent: 1 online resource (xxxiv, 927 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
339. Information security : 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings /: 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings. (2015) Editors: Desmedt, Yvo Other Names: ISC (Conference : Information security), 16th Record Type: Book Extent: 1 online resource (xiv, 418 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
340. Engineering secure software and systems : 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings /: 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings. (2016) Editors: (Software engineer), Caballero, Juan; Bodden, Eric; Athanasopoulos, Elias Other Names: ESSoS (Symposium), 8th Record Type: Book Extent: 1 online resource (x, 269 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗