91. Computational science and its applications -- ICCSA 2016. 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings /: 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings. Part II : (2016) Editors: Gervasi, Osvaldo; Murgante, Beniamino; Misra, Sanjay; Rocha, Ana Maria Alves Coutinho; Torre, Carmelo; Taniar, David; Apduhan, Bernady O; Stankova, Elena; Wang, Shangguang Other Names: ICCSA (Conference), 16th Record Type: Book Extent: 1 online resource (xxvii, 634 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
92. Computational Statistics and Applications. (2022) Editors: López-Ruiz, Ricardo Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
93. Computational topology in image context : 6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016, Proceedings /: 6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016, Proceedings. (2016) Editors: Bac, Alexandra; Mari, J. L (Jean-Luc) Other Names: CTIC (Conference), 6th Record Type: Book Extent: 1 online resource (xi, 303 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
94. Computer aided systems theory -- EUROCAST 2015 : 15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised selected papers /: 15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised selected papers. (2015) Editors: Moreno-Díaz, Roberto; Pichler, Franz, 1936-; Quesada Arencibia, Alexis Other Names: International Conference on Computer Aided Systems Theory, 15th Record Type: Book Extent: 1 online resource (xviii, 887 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
95. Computer aided systems theory -- EUROCAST 2017. 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised selected papers /: 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised selected papers. Part I : (2018) Editors: Moreno-Díaz, Roberto; Pichler, Franz, 1936-; Quesada Arencibia, Alexis Other Names: International Conference on Computer Aided Systems Theory, 16th Record Type: Book Extent: 1 online resource (xxviii, 492 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
96. Computer aided systems theory -- EUROCAST 2017. 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised selected papers /: 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised selected papers. Part II : (2018) Editors: Moreno-Díaz, Roberto; Pichler, Franz, 1936-; Quesada Arencibia, Alexis Other Names: International Conference on Computer Aided Systems Theory, 16th Record Type: Book Extent: 1 online resource (xx, 480 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
97. 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 I : (2018) Editors: Chockler, Hana; Weissenbacher, Georg Other Names: CAV (Conference), 30th; Federated Logic Conference Record Type: Book Extent: 1 online resource (xix, 703 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
98. 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) ↗
99. Computer algebra in scientific computing : 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings /: 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings. (2016) Editors: Gerdt, V. P; Koepf, Wolfram; Seiler, Werner M (Werner Markus); Vorozhtsov, E. V (Evgenii Vasilʹevich), 1946- Other Names: CASC (Workshop : 2001- ), 18th Record Type: Book Extent: 1 online resource (xiii, 513 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
100. Computer information systems and industrial management : 15th IFIP TC8 International Conference, CISIM 2016, Vilnius, Lithuania, September 14-16, 2016, Proceedings /: 15th IFIP TC8 International Conference, CISIM 2016, Vilnius, Lithuania, September 14-16, 2016, Proceedings. (2016) Editors: (Computer scientist), Saeed, Khalid; Homenda, Władysław Other Names: International Conference on Computer Information Systems and Industrial Management Applications, 15th Record Type: Book Extent: 1 online resource (xxiv, 754 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗