31. LATIN 2016 : theoretical informatics : 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings /: theoretical informatics : 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings. (2016) Editors: Kranakis, Evangelos; Navarro, Gonzalo; Chávez, Edgar Other Names: Latin American Symposium on Theoretical Informatics, 12th Record Type: Book Extent: 1 online resource (xxvi, 714 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
32. Logic, language, information, and computation : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings /: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. (2016) Editors: Väänänen, J (Jouko), 1950-; Hirvonen, Åsa; Queiroz, Ruy J. G. B. de Other Names: Workshop on Logic, Language, Information and Computation, 23rd Record Type: Book Extent: 1 online resource (xxii, 447 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
33. Modelling and simulation for autonomous systems : third International Workshop, MESAS 2016, Rome, Italy, June 15-16, 2016, Revised selected papers /: third International Workshop, MESAS 2016, Rome, Italy, June 15-16, 2016, Revised selected papers. (2016) Editors: Hodicky, Jan Other Names: MESAS (Workshop), 3rd Record Type: Book Extent: 1 online resource (xvi, 408 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
34. Networked systems : 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised selected papers /: 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised selected papers. (2016) Editors: Abdulla, Parosh Aziz; Delporte-Gallet, Carole Other Names: NETYS (Conference), 4th Record Type: Book Extent: 1 online resource (x, 396 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
35. Patch-based techniques in medical imaging : Second International Workshop, Patch-MI 2016, held in conjunction with MICCAI 2016, Athens, Greece, October 17, 2016 : proceedings /: Second International Workshop, Patch-MI 2016, held in conjunction with MICCAI 2016, Athens, Greece, October 17, 2016 : proceedings. ([2016]) Editors: (Researcher in medical imaging), Wu, Guorong; Coupé, Pierrick; Zhan, Yiqiang; Munsell, Brent; Rueckert, Daniel Other Names: Patch-MI (Workshop), 2nd; International Conference on Medical Image Computing and Computer-Assisted Intervention, 19th Record Type: Book Extent: X, 141 pages, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
36. Practical aspects of declarative languages : 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings /: 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings. (2016) Editors: Gavanelli, Marco; Reppy, John Other Names: PADL (Symposium), 18th Record Type: Book Extent: 1 online resource (x, 187 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
37. Provable security : 10th International Conference, ProvSec 2016, Nanjing, China, November 10-11, 2016, proceedings /: 10th International Conference, ProvSec 2016, Nanjing, China, November 10-11, 2016, proceedings. (2016) Editors: Chen, Liqun; Han, Jinguang Other Names: ProvSec (Conference), 10th Record Type: Book Extent: 1 online resource (XIII, 394 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
38. Search based software engineering : 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings /: 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings. (2016) Editors: Sarro, Federica; Deb, Kalyanmoy Other Names: SSBSE (Symposium), 8th Record Type: Book Extent: 1 online resource (xxi, 318 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
39. Secure IT systems : 21st Nordic Conference, NordSec 2016, Oulu, Finland, November 2-4, 2016. Proceedings /: 21st Nordic Conference, NordSec 2016, Oulu, Finland, November 2-4, 2016. Proceedings. (2016) Editors: Brumley, Billy Bob; Röning, Juha Other Names: Nordic Conference on Secure IT Systems, 21st Record Type: Book Extent: 1 online resource (x, 269 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
40. Security, privacy, and anonymity in computation, communication, and storage : 9th International Conference, SpaCCS 2016, Zhangjiajie, China, November 16-18, 2016, Proceedings /: 9th International Conference, SpaCCS 2016, Zhangjiajie, China, November 16-18, 2016, Proceedings. (2016) Editors: (Computer scientist), Wang, Guojun; Ray, Indrakshi; Alcaraz Calero, Jose M; Thampi, Sabu M Other Names: SpaCCS (Conference), 9th Record Type: Book Extent: 1 online resource (xvi, 508 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗