71. Structural information and communication complexity : 23rd International Colloquium, SIROCCO 2016, Helsinki, Finland, July 19-21, 2016, Revised selected papers /: 23rd International Colloquium, SIROCCO 2016, Helsinki, Finland, July 19-21, 2016, Revised selected papers. (2016) Editors: Suomela, Jukka Other Names: Colloquium on Structural Information and Communication Complexity, 23rd Record Type: Book Extent: 1 online resource (xxix, 408 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
72. 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) ↗
73. System modeling and optimization : 27th IFIP TC 7 Conference, CSMO 2015, Sophia Antipolis, France, June 29 - July 3, 2015, Revised selected papers /: 27th IFIP TC 7 Conference, CSMO 2015, Sophia Antipolis, France, June 29 - July 3, 2015, Revised selected papers. (2016) Editors: Bociu, Lorena; Désidéri, J.-A (Jean-Antoine), 1951-; Habbal, Abderrahmane Other Names: IFIP Conference on System Modeling and Optimization, 27th Record Type: Book Extent: 1 online resource (xii, 530 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
74. The discrete math workbook : a companion manual for practical study /: a companion manual for practical study. (2018) Authors: Kurgalin, Sergei; Borzunov, Sergei Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
75. 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) ↗
76. 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) ↗
77. Theory of cryptography. 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings /: 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings. Part I : (2016) Editors: Hirt, Martin; Smith, Adam (Adam Davison) Other Names: Theory of Cryptography Conference, 14th Record Type: Book Extent: 1 online resource (xvi, 692 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
78. Theory of cryptography. 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings /: 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings. Part I : (2016) Editors: Hirt, Martin; Smith, Adam (Adam Davison) Other Names: Theory of Cryptography Conference, 14th Record Type: Book Extent: 1 online resource (xvi, 692 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
79. 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) ↗
80. 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) ↗