71. Computational science and its applications -- ICCSA 2017 : 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings.: 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings. Part IV (2017) Editors: Gervasi, Osvaldo; Murgante, Beniamino; Misra, Sanjay; Borruso, Giuseppe, 1972-; Torre, Carmelo M; Rocha, Ana Maria A. C; Taniar, David; Apduhan, Bernady O; Stankova, Elena; Cuzzocrea, Alfredo, 1974- Other Names: ICCSA (Conference), 17th Record Type: Book Extent: 1 online resource (xxxvi, 749 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
72. Computer aided verification. 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings /: 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings. Part II : (2018) Editors: Chockler, Hana; Weissenbacher, Georg Other Names: CAV (Conference), 30th; Federated Logic Conference Record Type: Book Extent: 1 online resource (xx, 545 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
73. Computer algebra and polynomials : applications of algebra and number theory /: applications of algebra and number theory. ([2015]) Editors: Schicho, Josef, 1964-; Weimann, Martin Other Names: Gutierrez, Jaime, 1959-; Workshop on Computer Algebra and Polynomials Record Type: Book Extent: 1 online resource (ix, 213 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
74. Computer information systems and industrial management : 16th IFIP TC8 International Conference, CISIM 2017, Bialystok, Poland, June 16-18, 2017, Proceedings /: 16th IFIP TC8 International Conference, CISIM 2017, Bialystok, Poland, June 16-18, 2017, Proceedings. (2017) Editors: (Computer scientist), Saeed, Khalid; Homenda, Władysław; Chaki, Rituparna Other Names: International Conference on Computer Information Systems and Industrial Management Applications, 16th Record Type: Book Extent: 1 online resource (xxii, 710 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
75. Computer security -- ESORICS 2017. 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings /: 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings. Part II : (2017) Editors: Foley, Simon N; Gollmann, Dieter; Snekkenes, Einar, 1961- Other Names: European Symposium on Research in Computer Security, 22nd Record Type: Book Extent: 1 online resource (xxi, 573 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
76. Computer vision and graphics : International Conference, ICCVG 2016, Warsaw, Poland, September 19-21, 2016, Proceedings /: International Conference, ICCVG 2016, Warsaw, Poland, September 19-21, 2016, Proceedings. (2016) Editors: Chmielewski, Leszek; Datta, A (Amitava); Kozera, Ryszard; Wojciechowski, Konrad Other Names: ICCVG (Conference) Record Type: Book Extent: 1 online resource (xi, 639 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
77. Computing and combinatorics : 23rd International Conference, COCOON 2017, Hong Kong, China, August 3-5, 2017, Proceedings /: 23rd International Conference, COCOON 2017, Hong Kong, China, August 3-5, 2017, Proceedings. (2017) Editors: Cao, Yixin; Chen, Jianer Other Names: COCOON (Conference), 23rd Record Type: Book Extent: 1 online resource (xxi, 693 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
78. Computing and combinatorics : 24th International Conference, COCOON 2018, Qing Dao, China, July 2-4, 2018, Proceedings /: 24th International Conference, COCOON 2018, Qing Dao, China, July 2-4, 2018, Proceedings. (2018) Editors: Wang, Lusheng, 1962-; (Professor), Zhu, Daming Other Names: COCOON (Conference), 24th Record Type: Book Extent: 1 online resource (xix, 767 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
79. Cryptographic hardware and embedded systems -- CHES 2015 : 17th International Workshop, Saint-Malo, France, September 13-16, 2015, Proceedings /: 17th International Workshop, Saint-Malo, France, September 13-16, 2015, Proceedings. (2015) Editors: Güneysu, Tim; Handschuh, Helena Other Names: CHES (Workshop), 17th Record Type: Book Extent: 1 online resource (xiv, 704 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
80. Curves and surfaces : 8th International Conference, Paris, France, June 12-18, 2014, Revised selected papers /: 8th International Conference, Paris, France, June 12-18, 2014, Revised selected papers. (2015) Editors: Boissonnat, J.-D (Jean-Daniel), 1953-; Cohen, Albert, 1965-; Gibaru, Olivier; Gout, Christian; Lyche, Tom; Mazure, Marie-Laurence; Schumaker, Larry L, 1939- Other Names: International Conference on Curves and Surfaces, 8th Record Type: Book Extent: 1 online resource (xi, 492 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗