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 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) ↗
3. 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) ↗
4. Accelerator programming using directives : 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings /: 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings. ([2018]) Editors: Chandrasekaran, Sunita; Juckeland, Guido Other Names: WACCPD (Workshop), 4th; International Conference for High-Performance Computing, Networking, Storage and Analysis Record Type: Book Extent: 1 online resource (IX, 183 pages), 59 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Advanced computer architecture : 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings /: 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings. (2018) Editors: Li, Chao; (College teacher), Wu, Junjie Other Names: ACA (Conference), 12th Record Type: Book Extent: 1 online resource (x, 233 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. AI approaches to the complexity of legal systems : AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papers /: AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papers. (2018) Editors: Pagallo, Ugo; Palmirani, Monica; Casanovas Romeu, Pompeu; Sartor, Giovanni; Villata, Serena Other Names: AICOL (Conference), 6th; AICOL (Conference), 7th; AICOL (Conference), 8th; AICOL (Conference), 9th; AICOL (Conference), 10th Record Type: Book Extent: 1 online resource (xii, 576 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. AI*IA 2017 : Advances in Artificial Intelligence : XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings /: Advances in Artificial Intelligence : XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings. (2017) Editors: Esposito, Floriana, 1947-; Basili, Roberto; Ferilli, Stefano; Lisi, Francesca A Other Names: Associazione italiana per l'intelligenza artificiale., Congress, (16th) 2017 (Bari, Italy) Record Type: Book Extent: 1 online resource (xiv, 514 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Algorithmic aspects of cloud computing : first International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised selected papers /: first International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised selected papers. (2016) Editors: Karydis, Ioannis; Sioutas, Spyros; Triantafillou, Peter, 1963-; Tsoumakos, Dimitrios Other Names: ALGOCLOUD (Workshop), 1st Record Type: Book Extent: 1 online resource (xiv, 193 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Application and theory of petri nets and concurrency : 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings /: 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings. (2016) Editors: Kordon, Fabrice; Moldt, Daniel Other Names: International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, 37th Record Type: Book Extent: 1 online resource (xvi, 345 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Application and Theory of Petri Nets and Concurrency : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 2530, 2017, proceedings /: 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 2530, 2017, proceedings. ([2017]) Editors: Best, Eike; Aalst, Wil van der Other Names: International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, 38th Record Type: Book Extent: 1 online resource (xiv, 351 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗