1321. Quality of information and communications technology : 13th International Conference, QUATIC 2020, Faro, Portugal, September 9-11, 2020, proceedings /: 13th International Conference, QUATIC 2020, Faro, Portugal, September 9-11, 2020, proceedings. (2020) Other Names: Shepperd, Martin, 1959-; Abreu, Fernando Brito e; Rodrigues da Silva, Alberto; Perez-Castillo, Ricardo, 1984-; International Conference on the Quality of Information and Communications Technology, 13th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1322. Formal methods for industrial critical systems : 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings /: 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings. (2020) Other Names: Beek, Maurice H. ter; Ničković, Dejan; FMICS (Conference), 25th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1323. Software architecture : 14th European Conference, ECSA 2020 Tracks and Workshops, L'Aquila, Italy, September 14-18, 2020, proceedings /: 14th European Conference, ECSA 2020 Tracks and Workshops, L'Aquila, Italy, September 14-18, 2020, proceedings. (2020) Other Names: Muccini, H (Henry); ECSA (Conference), 14th Record Type: Book Extent: 1 online resource (560 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1324. Software architecture : 14th European Conference, ECSA 2020, L'Aquila, Italy, September 14-18, 2020, Proceedings /: 14th European Conference, ECSA 2020, L'Aquila, Italy, September 14-18, 2020, Proceedings. (2020) Other Names: Jansen, Anton; Malavolta, Ivano; Muccini, H (Henry); Ozkaya, Ipek; Zimmermann, Olaf; ECSA (Conference), 14th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1325. Functional and Logic Programming : 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings /: 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings. (2020) Editors: Nakano, Keisuke; Sagonas, Konstantinos Record Type: Book Extent: 1 online resource (221 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1326. Countdown to a moon launch : preparing Apollo for its historic journey /: preparing Apollo for its historic journey. ([2015]) Authors: Ward, Jonathan H Record Type: Book Extent: 1 online resource (xxvi, 435 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1327. Advances in computer games : 14th International Conference, ACG 2015, Leiden, the Netherlands, July 1-3, 2015, Revised selected papers /: 14th International Conference, ACG 2015, Leiden, the Netherlands, July 1-3, 2015, Revised selected papers. (2015) Editors: Herik, Jaap van den; Plaat, Aske; Kosters, Walter Other Names: Advances in Computer Games (Conference), 14th Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1328. Theoretical aspects of computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, proceedings /: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, proceedings. (2015) Editors: Leucker, Martin; Rueda, Camilo; Valencia, F. D (Frank D.) Other Names: ICTAC (Colloquium), 12th Record Type: Book Extent: 1 online resource (620 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1329. Theory and applications of satisfiability testing -- SAT 2016 : 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings /: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings. (2016) Editors: Creignou, Nadia; Le Berre, Daniel Other Names: SAT (Conference), 19th Record Type: Book Extent: 1 online resource (xxiv, 564 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1330. Love and sex with robots : second International Conference, LSR 2016, London, UK, December 19-20, 2016, Revised selected papers /: second International Conference, LSR 2016, London, UK, December 19-20, 2016, Revised selected papers. (2017) Editors: Cheok, Adrian David; Devlin, Kate; Lévy, David Other Names: LSR (Conference), 2nd Record Type: Book Extent: 1 online resource (x, 149 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗