81. Structural information and communication complexity : 24th International Colloquium, SIROCCO 2017, Porquerolles, France, June 19-22, 2017, Revised Selected Papers /: 24th International Colloquium, SIROCCO 2017, Porquerolles, France, June 19-22, 2017, Revised Selected Papers. (2017) Editors: Das, Shantanu; Tixeuil, Sébastien Other Names: Colloquium on Structural Information and Communication Complexity, 24th Record Type: Book Extent: 1 online resource (xxix, 377 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
82. 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) ↗
83. 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) ↗
84. 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) ↗
85. 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) ↗
86. Tools and algorithms for the construction and analysis of systems. 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings /: 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. Part I : (2017) Editors: Legay, Axel; Margaria-Steffen, Tiziana, 1964- Other Names: TACAS (Conference), 23rd; ETAPS (Conference), 20th, jointly held conference Record Type: Book Extent: 1 online resource (xxiv, 609 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
87. 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) ↗
88. Topics in theoretical computer science : second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings /: second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings. (2017) Editors: Mousavi, Mohammad Reza, 1978-; Sgall, Jiří, 1965- Other Names: IFIP WG 1.8 International Conference, 2nd Record Type: Book Extent: 1 online resource (xvii, 125 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
89. Transactions on large-scale data- and knowledge-centered systems XXXII : special issue on big data analytics and knowledge discovery /: special issue on big data analytics and knowledge discovery. (2017) Editors: Hameurlain, Abdelkader; Küng, Josef, 1962-; Wagner, Roland R; Madria, Sanjay Kumar; Hara, Takahiro Record Type: Book Extent: 1 online resource (vii, 113 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
90. Transactions on petri nets and other models of concurrency XII. (2017) Editors: Koutny, Maciej, 1958-; Kleijn, Jetty; Penczek, Wojciech Record Type: Book Extent: 1 online resource (xvii, 217 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗