111. 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 V : (2016) Editors: Gervasi, Osvaldo; Murgante, Beniamino; Misra, Sanjay; Rocha, Ana Maria A. C; Torre, Carmelo M; Taniar, David; Apduhan, Bernady O; Stankova, Elena; Wang, Shangguang Other Names: ICCSA (Conference), 16th Record Type: Book Extent: 1 online resource (xxvii, 636 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
112. 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 III : (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, 574 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
113. 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) ↗
114. 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) ↗
115. Computer aided cerification. 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings /: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings. Part I : (2017) Editors: Majumdar, Rupak; Kuncak, Viktor Other Names: CAV (Conference), 29th Record Type: Book Extent: 1 online resource (xix, 601 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
116. 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) ↗
117. 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) ↗
118. 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) ↗
119. 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) ↗
120. 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) ↗