811. Theoretical computer science : 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings /: 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings. (2017) Editors: Du, Dingzhu; Li, Lian; Zhu, En; He, Kun Other Names: NCTCS (Conference), 35th Record Type: Book Extent: 1 online resource (xxi, 356 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
812. Theoretical computer science : 36th National Conference, NCTCS 2018, Shanghai, China, October 13-14, 2018, Proceedings /: 36th National Conference, NCTCS 2018, Shanghai, China, October 13-14, 2018, Proceedings. (2018) Editors: Li, Lian, 1951-; Lu, Pinyan; He, Kun Other Names: NCTCS (Conference), 36th Record Type: Book Extent: 1 online resource (ix, 159 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
813. Theoretical computer science and discrete mathematics : first International Conference, ICTCSDM 2016, Krishnankoil, India, December 19-21, 2016, Revised selected papers /: first International Conference, ICTCSDM 2016, Krishnankoil, India, December 19-21, 2016, Revised selected papers. (2017) Editors: Arumugam, S, 1943-; Bagga, Jay; Beineke, Lowell W; Panda, B. S Other Names: ICTCSDM (Conference), 1st Record Type: Book Extent: 1 online resource (xiii, 458 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
814. Theory and applications of models of computation : 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings /: 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings. (2015) Editors: (Computer networks scientist), Jain, Rahul; Jain, Sanjay, 1965 February 22; Stephan, Frank (Frank Christian) Other Names: TAMC (Conference), 12th Record Type: Book Extent: 1 online resource (xii, 466 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
815. Theory and applications of models of computation : 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings /: 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings. (2017) Editors: Gopal, T. V; Dr, Jäger, Gerhard; Steila, Silvia Other Names: TAMC (Conference), 14th Record Type: Book Extent: 1 online resource (xxvi, 698 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
816. 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) ↗
817. Theory and models for cyber situation awareness. (2017) Editors: Liu, Peng; Jajodia, Sushil; Wang, Cliff Record Type: Book Extent: 1 online resource (vii, 227 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
818. Theory and practice of formal methods : Essays dedicated to Frank de Boer on the occasion of his 60th birthday /: Essays dedicated to Frank de Boer on the occasion of his 60th birthday. (2016) Editors: Ábrahám, Erika; Bonsangue, Marcello M; Johnsen, Einar Broch Other Names: Boer, Frank S. de honouree. Record Type: Book Extent: 1 online resource (427 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
819. Theory and practice of natural computing : 5th international conference, TPNC 2016, Sendai, Japan, December 12-13, 2016, proceedings /: 5th international conference, TPNC 2016, Sendai, Japan, December 12-13, 2016, proceedings. (2016) Editors: Martín Vide, Carlos; Mizuki, Takaaki; Vega-Rodríguez, Miguel A Other Names: TPNC (Conference), 5th Record Type: Book Extent: 1 online resource (221 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
820. Theory and practice of natural computing : 6th International Conference, TPNC 2017, Prague, Czech Republic, December 18-20, 2017, Proceedings /: 6th International Conference, TPNC 2017, Prague, Czech Republic, December 18-20, 2017, Proceedings. (2017) Editors: Martín Vide, Carlos; Neruda, Roman; Vega-Rodríguez, Miguel A Other Names: TPNC (Conference), 6th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗