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. A history of folding in mathematics : mathematizing the margins /: mathematizing the margins. (2018) Authors: Friedman, Michael Record Type: Book Extent: 1 online resource (xv, 419 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. A list of successes that can change the world : essays dedicated to Philip Wadler on the occasion of his 60th birthday /: essays dedicated to Philip Wadler on the occasion of his 60th birthday. (2016) Editors: Lindley, Sam; McBride, Conor; Trinder, Phil; Sannella, D (Donald), 1956- Other Names: Wadler, Philip 1956- honouree. Record Type: Book Extent: 1 online resource (479 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. A new perspective on nonmonotonic logics. (2016) Authors: Gabbay, Dov M, 1945-; Schlechta, Karl Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Abstract state machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings /: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. (2016) Editors: Butler, Michael; Schewe, Klaus-Dieter; Mashkoor, Atif; Biro, Mikloš Other Names: ABZ (Conference), 5th Record Type: Book Extent: 1 online resource (xxi, 426 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Advanced computing strategies for engineering : 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings.: 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings. Part II (2018) Editors: Smith, Ian F. C; Domer, Bernd Other Names: EG-ICE Workshop, 25th Record Type: Book Extent: 1 online resource (xvii, 488 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Advances in conceptual modeling : ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6-9, 2017, Proceedings /: ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6-9, 2017, Proceedings. (2017) Editors: De Cesare, Sergio; Frank, Ulrich Other Names: International Conference on Conceptual Modeling, 36th; AHA (Workshop), 3rd; MoBiD (Workshop), 6th; MREBA (Workshop), 4th; OntoCom (Workshop), 5th; QMMQ (Workshop), 4th Record Type: Book Extent: 1 online resource (xvii, 249 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Advances in proof theory. (2016) Editors: Kahle, Reinhard, 1967-; Strahm, Thomas (Thomas Adrian); Studer, Thomas Record Type: Book Extent: 1 online resource (xii, 425 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Agents and artificial intelligence : 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised selected papers /: 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised selected papers. (2017) Editors: Herik, Jaap van den; Filipe, Joaquim Other Names: ICAART (Conference), 8th Record Type: Book Extent: 1 online resource (xvi, 315 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Agents and artificial intelligence : 9th International Conference, ICAART 2017, Porto, Portugal, February 24-26, 2017, Revised selected papers /: 9th International Conference, ICAART 2017, Porto, Portugal, February 24-26, 2017, Revised selected papers. (2018) Editors: Herik, Jaap van den; Rocha, Ana Paula; Filipe, Joaquim Other Names: ICAART (Conference), 9th Record Type: Book Extent: 1 online resource (xv, 223 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗