1. 12 × 12 Schlüsselkonzepte zur Mathematik. (2015) Authors: Deiser, Oliver; Lasser, Caroline; Vogt, Elmar; Werner, Dirk Record Type: Book Extent: 1 online resource (355 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. AI 2015: advances in artificial intelligence : 28th Australasian Joint Conference, Canberra, ACT, Australia, November 30 - December 4, 2015 : proceedings /: 28th Australasian Joint Conference, Canberra, ACT, Australia, November 30 - December 4, 2015 : proceedings. (2015) Editors: Pfahringer, Bernhard; Renz, Jochen Other Names: Australasian Joint Conference on Artificial Intelligence, 28th Record Type: Book Extent: 1 online resource (652 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Automated deduction in geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised selected papers /: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised selected papers. (2015) Editors: Botana, Francisco; Quaresma, Pedro Other Names: International Workshop on Automated Deduction in Geometry, 10th Record Type: Book Extent: 1 online resource (ix, 181 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Automated technology for verification and analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings /: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings. (2015) Editors: Finkbeiner, Bernd; Pu, G (Geguang); Zhang, Lijun, 1979- Other Names: ATVA (Symposium), 13th Record Type: Book Extent: 1 online resource (xiii, 520 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Combinatorial algorithms : 25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised selected papers /: 25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised selected papers. (2015) Editors: Kratochvíl, Jan; Miller, Mirka, 1949-; Froncek, Dalibor Other Names: International Workshop on Combinatorial Algorithms, 25th Record Type: Book Extent: 1 online resource (xiii, 377 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Combinatorics on words : 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings /: 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings. (2015) Editors: Manea, Florin; Nowotka, Dirk Other Names: WORDS (Conference), 10th Record Type: Book Extent: 1 online resource (xviii, 237 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Computational complexity of solving equation systems. (2015) Authors: Broniek, Przemysław Record Type: Book Extent: 1 online resource (ix, 64 pages), illustration View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Computer aided verification. 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings /: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings. Part II : (2015) Editors: Kroening, Daniel; Păsăreanu, Corina S Other Names: CAV (Conference), 27th Record Type: Book Extent: 1 online resource (xviii, 469 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Computer aided verification. 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings /: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings. Part I : (2015) Editors: Kroening, Daniel; Păsăreanu, Corina S Other Names: CAV (Conference), 27th Record Type: Book Extent: 1 online resource (xxiii, 677 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. 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) ↗