301. Timing channels in cryptography : a micro-architectural perspective /: a micro-architectural perspective. ([2014]) Authors: Rebeiro, Chester; Mukhopadhyay, Debdeep; Bhattacharya, Sarani Record Type: Book Extent: 1 online resource (xvii, 152 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
302. Tools and algorithms for the construction and analysis of systems : 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings.: 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. Part I (2018) Editors: Beyer, Dirk, 1972-; Huisman, Marieke Other Names: TACAS (Conference), 24th; ETAPS (Conference), 21st Record Type: Book Extent: 1 online resource (xx, 429 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
303. Topics in theoretical computer science : the first IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised selected papers /: the first IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised selected papers. (2016) Editors: Hajiaghayi, Mohammad Taghi, 1979-; Mousavi, Mohammad Reza, 1978- Other Names: IFIP WG 1.8 International Conference, 1st Record Type: Book Extent: 1 online resource (xv, 179 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
304. Trends in functional programming : 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised selected papers /: 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised selected papers. (2016) Editors: Serrano, Manuel; Hage, Jurriaan Other Names: International Symposium on Trends in Functional Programming, 16th Record Type: Book Extent: 1 online resource (vii, 157 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
305. Trends in functional programming : 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers /: 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers. (2020) Other Names: (Professor of computer science), Bowman, William J; (Professor of computer science), Garcia, Ronald; International Symposium on Trends in Functional Programming, 20th Record Type: Book Extent: 1 online resource (150 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
306. Trusted systems : 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised selected papers /: 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised selected papers. (2016) Editors: Yung, Moti; (Computer scientist), Zhang, Jianbiao; (Computer scientist), Yang, Zhen Other Names: INTRUST (Conference), 7th Record Type: Book Extent: 1 online resource (xii, 235 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
307. Understanding complex datasets : data mining with matrix decompositions /: data mining with matrix decompositions. (©2007) Other Names: Skillicorn, David B Record Type: Book Extent: 1 online resource (xxi, 236 pages, [8] pages of plates), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
308. Verifiable composition of signature and encryption : a comprehensive study of the design paradigms /: a comprehensive study of the design paradigms. (2017) Authors: Aimani, Laila el Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
309. WALCOM : algorithms and computation : 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings /: algorithms and computation : 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings. (2018) Editors: Rahman, M. Sohel; Sung, Wing-Kin; Uehara, Ryuhei Other Names: WALCOM (Workshop), 12th Record Type: Book Extent: 1 online resource (xx, 265 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
310. WALCOM : Algorithms and Computation : 14th International Conference, WALCOM 2020, Singapore, Singapore, March 31 – April 2, 2020, Proceedings /: Algorithms and Computation : 14th International Conference, WALCOM 2020, Singapore, Singapore, March 31 – April 2, 2020, Proceedings. (2020) Editors: Rahman, M. Sohel; Sadakane, Kunihiko; Sung, Wing-Kin Record Type: Book Extent: 1 online resource (350 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗