211. Euro-Par 2015 : parallel processing : 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings /: parallel processing : 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings. (2015) Editors: Träff, Jesper; Hunold, Sascha; Versaci, Francesco Other Names: International EURO-PAR Conference, 21st Record Type: Book Extent: 1 online resource (xxxv, 703 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
212. Advances in cryptology -- CRYPTO 2016. 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings /: 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings. Part II : (2016) Editors: Robshaw, Matthew; Katz, Jonathan, 1974- Other Names: CRYPTO (Conference), 36th Record Type: Book Extent: 1 online resource (xiii, 703 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
213. 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) ↗
214. Developments in language theory : 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings /: 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings. (2016) Editors: Brlek, Srečko; Reutenauer, Christophe Other Names: Conference on Developments in Language Theory, 20th Record Type: Book Extent: 1 online resource (xvii, 407 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
215. Transactions on large-scale data- and knowledge-centered systems XVII : selected papers from DaWaK 2013 /: selected papers from DaWaK 2013. ([2015]) Other Names: Hameurlain, Abdelkader; Küng, Josef, 1962-; Wagner, Roland R; Bellatreche, Ladjel, 1968-; Mohania, Mukesh; DaWaK (Conference), 15th Record Type: Book Extent: 1 online resource (xiii, 129 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
216. Software engineering and formal methods : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised selected papers /: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised selected papers. (2015) Editors: Bianculli, Domenico; Calinescu, Radu C, 1968-; Rumpe, Bernhard Other Names: International Conference on Software Engineering and Formal Methods, 13th; ATSE (Workshop), 6th; HOFM (Workshop), 2nd; MoKMaSD (Workshop), 4th; VERY*SCART (Workshop), 1st Record Type: Book Extent: 1 online resource (xxix, 325 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
217. Algorithms in bioinformatics : 15th International Workshop, WABI 2015, Atlanta, GA, USA, September 10-12, 2015, proceedings /: 15th International Workshop, WABI 2015, Atlanta, GA, USA, September 10-12, 2015, proceedings. (2015) Editors: Pop, Mihai; Touzet, Hélène Other Names: WABI (Workshop), 15th Record Type: Book Extent: 1 online resource (xx, 328 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
218. Models of strategic reasoning : logics, games, and communities /: logics, games, and communities. (2015) Editors: Van Benthem, Johan; Ghosh, Sujata; Verbrugge, Rineke Record Type: Book Extent: 1 online resource (xi, 333 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
219. Transactions on large-scale data- and knowledge-centered systems XVIII : special issue on database- and expert-systems applications /: special issue on database- and expert-systems applications. (2015) Editors: Hameurlain, Abdelkader Record Type: Book Extent: 1 online resource (xi, 207 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
220. Advances in cryptology -- CRYPTO 2015. 35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015 : proceedings /: 35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015 : proceedings. Part II : ([2015]) Editors: (Computer scientist), Gennaro, Rosario; Robshaw, Matthew Other Names: CRYPTO (Conference), 35th Record Type: Book Extent: 1 online resource (xiv, 753 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗