191. Automated deduction -- CADE-25 : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings /: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings. ([2015]) Editors: Felty, Amy; Middeldorp, Aart, 1963- Other Names: International Conference on Automated Deduction, 25th Record Type: Book Extent: 1 online resource (xxviii, 640 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
192. Combinatorial pattern matching : 26th Annual Symposium, CPM 2015, Ischia Island, Italy, June 29-July 1, 2015, Proceedings /: 26th Annual Symposium, CPM 2015, Ischia Island, Italy, June 29-July 1, 2015, Proceedings. (2015) Editors: Cicalese, Ferdinando; Porat, Ely; Vaccaro, Ugo Other Names: CPM (Symposium), 26th Record Type: Book Extent: 1 online resource (xix, 412 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
193. 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) ↗
194. Modelling and simulation for autonomous systems : second International Workshop, MESAS 2015, Prague, Czech Republic, April 29-30, 2015, revised selected papers /: second International Workshop, MESAS 2015, Prague, Czech Republic, April 29-30, 2015, revised selected papers. (2015) Editors: Hodicky, Jan Other Names: MESAS (Workshop), 2nd Record Type: Book Extent: 1 online resource (xii, 241 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
195. DNA computing and molecular programming : 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings /: 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings. (2015) Editors: Phillips, Andrew; Yin, Peng, 1973- Other Names: International Conference on DNA Computing and Molecular Programming, 21st Record Type: Book Extent: 1 online resource (xii, 213 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
196. Computer science -- theory and applications : 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings /: 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings. (2015) Editors: Beklemishev, Lev Dmitrievich, 1967-; Musatov, Daniil V Other Names: International Computer Science Symposium in Russia, 10th Record Type: Book Extent: 1 online resource (xx, 443 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
197. Constructive side-channel analysis and secure design : 6th International Workshop, COSADE 2015, Berlin, Germany, April 13-14, 2015. Revised selected papers /: 6th International Workshop, COSADE 2015, Berlin, Germany, April 13-14, 2015. Revised selected papers. (2015) Editors: Mangard, Stefan; Poschmann, Axel Y Other Names: COSADE (Workshop), 6th Record Type: Book Extent: 1 online resource (x, 271 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
198. Wireless algorithms, systems, and applications : 10th International Conference, WASA 2015, Qufu, China, August 10-12, 2015 : proceedings /: 10th International Conference, WASA 2015, Qufu, China, August 10-12, 2015 : proceedings. ([2015]) Other Names: Xu, Kuai; Zhu, Haojin, 1980-; WASA (Conference), 10th Record Type: Book Extent: 1 online resource (xvii, 858 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
199. Parallel computing technologies : 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings /: 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings. (2015) Editors: Malyshkin, V. Ė (Viktor Ėmmanuilovich) Other Names: International Conference on Parallel Computing Technologies, 13th Record Type: Book Extent: 1 online resource (xiii, 548 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
200. Data science : 30th British International Conference on Databases, BICOD 2015, Edinburgh, UK, July 6-8, 2015, Proceedings /: 30th British International Conference on Databases, BICOD 2015, Edinburgh, UK, July 6-8, 2015, Proceedings. (2015) Editors: Maneth, Sebastian Other Names: British International Conference on Databases, 30th Record Type: Book Extent: 1 online resource (xx, 221 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗