1. A first introduction to quantum computing and information. (2018) Authors: Zygelman, Bernard Record Type: Book Extent: 1 online resource (xvii, 233 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. A journey through discrete mathematics : a tribute to Jiří Matoušek /: a tribute to Jiří Matoušek. (2017) Editors: Loebl, Martin; Nešetřil, Jaroslav; Thomas, Robin, 1962- Record Type: Book Extent: 1 online resource 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. A New Platform for Edge Mode Manipulations in the Quantum Hall Effect. (2019) Authors: Cohen, Yonatan Record Type: Book Extent: 1 online resource (55 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. A primer on scientific programming with Python. (2016) Authors: Langtangen, Hans Petter, 1962- Record Type: Book Extent: 1 online resource (xxxi, 922 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. 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) ↗
8. 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) ↗
9. Advanced concepts for intelligent vision systems : 19th International Conference, ACIVS 2018, Poitiers, France, September 24-27, 2018, Proceedings /: 19th International Conference, ACIVS 2018, Poitiers, France, September 24-27, 2018, Proceedings. (2018) Editors: Blanc-Talon, Jacques, 1962-; Helbert, David; Philips, Wilfried; Popescu, Dan, 1955-; Scheunders, Paul Other Names: ACIVS (Conference), 19th Record Type: Book Extent: 1 online resource (xvii, 635 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Advanced finite element simulation with MSC Marc : application of user subroutines /: application of user subroutines. (2017) Authors: Javanbakht, Zia; Öchsner, Andreas Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗