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 Algebra in Scientific Computing : 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings /: 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings. (2017) Editors: Gerdt, V. P; Koepf, Wolfram; Seiler, Werner M (Werner Markus); Vorozhtsov, E. V (Evgenii Vasilʹevich), 1946- Other Names: CASC (Workshop : 2001- ), 19th Record Type: Book Extent: 1 online resource (XIII, 407 pages), 75 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
75. 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) ↗
76. 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) ↗
77. 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) ↗
78. 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) ↗
79. 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) ↗
80. 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) ↗