161. Advanced intelligent computing theories and applications. 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015. Proceedings /: 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015. Proceedings. Part III : (2015) Editors: Huang, De-Shuang; Han, Kyungsook Other Names: International Conference on Intelligent Computing, 11th Record Type: Book Extent: 1 online resource (xxii, 797 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
162. Fundamentals of computation theory : 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings /: 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings. (2015) Editors: Kosowski, Adrian; Walukiewicz, Igor Other Names: FCT (Symposium), 20th Record Type: Book Extent: 1 online resource (xix, 395 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
163. Search-based software engineering : 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015 : proceedings /: 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015 : proceedings. ([2015]) Editors: Barros, Márcio; Labiche, Yvan Other Names: SSBSE (Symposium), 7th Record Type: Book Extent: 1 online resource (xv, 355 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
164. 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) ↗
165. 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) ↗
166. 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) ↗
167. Operational research : IO 2013 - XVI Congress of APDIO, Bragança, Portugal, June 3--5, 2013 /: IO 2013 - XVI Congress of APDIO, Bragança, Portugal, June 3--5, 2013. (2015) Editors: Almeida, JoQao Paulo; Oliveira, José Fernando; Pinto, Alberto Ago Other Names: Portuguese Operational Research Association (APDIO)., Congress, (16th) 2013 (Bragança, Portugal) Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
168. 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) ↗
169. Optimal interconnection trees in the plane : theory, algorithms and applications /: theory, algorithms and applications. (2015) Authors: Brazil, Marcus; Zachariasen, Martin Record Type: Book Extent: 1 online resource (xvii, 344 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
170. 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) ↗