641. Numerical analysis using Sage. (2015) Authors: Anastassiou, George A, 1952-; Mezei, Razvan A, 1982- Record Type: Book Extent: 1 online resource (xii, 314 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
642. 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) ↗
643. 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) ↗
644. 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) ↗
645. 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) ↗
646. 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) ↗
647. 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) ↗
648. 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) ↗
649. 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) ↗
650. 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) ↗