221. Theory and applications of satisfiability testing -- SAT 2018 : 21st International Conference, SAT 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings /: 21st International Conference, SAT 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings. (2018) Editors: Beyersdorff, Olaf; Wintersteiger, Christoph M Other Names: SAT (Conference), 21st; Federated Logic Conference Record Type: Book Extent: 1 online resource (xix, 452 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
222. Topics in cryptology -- CT-RSA 2017 : the Cryptographers' track at the RSA Conference 2017, San Francisco, CA, USA, February 14-17, 2017, Proceedings /: the Cryptographers' track at the RSA Conference 2017, San Francisco, CA, USA, February 14-17, 2017, Proceedings. (2017) Editors: Handschuh, Helena Other Names: Cryptographers' Track at RSA Conference Record Type: Book Extent: 1 online resource (xiii, 452 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
223. 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) ↗
224. Topics in Theoretical Computer Science : Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1–2, 2020, Proceedings /: Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1–2, 2020, Proceedings. (2020) Editors: S. Barbosa, Luís; Ali Abam, Mohammad Record Type: Book Extent: 1 online resource (117 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
225. Topological data analysis for scientific visualization. ([2017]) Authors: Tierny, Julien, 1982- Record Type: Book Extent: 1 online resource (XV, 150 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
226. 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) ↗
227. Trusted systems : sixth International Conference, INTRUST 2014, Beijing, China, December 16-17, 2014, Revised selected papers /: sixth International Conference, INTRUST 2014, Beijing, China, December 16-17, 2014, Revised selected papers. (2015) Editors: Yung, Moti; Zhu, Liehuang; Yang, Yanjiang Other Names: INTRUST (Conference), 6th Record Type: Book Extent: 1 online resource (xiii, 442 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
228. Unveiling Dynamics and Complexity : 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 1216, 2017, proceedings /: 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 1216, 2017, proceedings. ([2017]) Editors: Petre, Ion; Manea, Florin; Kari, J (Jarkko) Other Names: Conference on Computability in Europe, 13th Record Type: Book Extent: 1 online resource (xiii, 401 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
229. WALCOM : algorithms and computation : 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016, Proceedings /: algorithms and computation : 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016, Proceedings. (2016) Editors: Kāẏakobāda, Mohāmmada, 1954-; Petreschi, Rossella, 1950- Other Names: WALCOM (Workshop), 10th Record Type: Book Extent: 1 online resource (xix, 362 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
230. WALCOM : algorithms and computation : 11th International Conference and Workshops, WALCOM 2017, Hsinchu, Taiwan, March 29?31, 2017, proceedings /: algorithms and computation : 11th International Conference and Workshops, WALCOM 2017, Hsinchu, Taiwan, March 29?31, 2017, proceedings. (2017) Editors: Poon, Sheung-Hung; Rahman, Md. Saidur, 1966-; Yen, Hsu-Chun, 1958- Other Names: WALCOM (Workshop), 11th Record Type: Book Extent: 1 online resource (xxii, 474 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗