671. 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 III (2017) Editors: Gervasi, Osvaldo; Murgante, Beniamino; Misra, Sanjay; Borruso, Giuseppe, 1972-; Torre, Carmelo Maria; 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, 766 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
672. Computer security : ESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017, revised selected papers /: ESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017, revised selected papers. (2018) Other Names: CyberICPS (Workshop), 3rd; SECPRE (Workshop); European Symposium on Research in Computer Security, 22nd Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
673. Numerical analysis and its applications : 6th International Conference, NAA 2016, Lozenetz, Bulgaria, June 15-22, 2016, Revised selected papers /: 6th International Conference, NAA 2016, Lozenetz, Bulgaria, June 15-22, 2016, Revised selected papers. (2017) Editors: Dimov, Ivan, 1963-; Faragó, I (István); Vulkov, Lubin Other Names: International Conference on Numerical Analysis and its Applications, 6th Record Type: Book Extent: 1 online resource (xiv, 785 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
674. Algorithmic aspects of cloud computing : second International Workshop, ALGOCLOUD 2016, Aarhus, Denmark, August 22, 2016, Revised selected papers /: second International Workshop, ALGOCLOUD 2016, Aarhus, Denmark, August 22, 2016, Revised selected papers. (2017) Editors: Sellis, Timos; Oikonomou, Konstantinos Nikolaou Other Names: ALGOCLOUD (Workshop), 2nd Record Type: Book Extent: 1 online resource (xii, 183 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
675. Smart card research and advanced applications : 15th International Conference, CARDIS 2016, Cannes, France, November 7-9, 2016, Revised selected papers /: 15th International Conference, CARDIS 2016, Cannes, France, November 7-9, 2016, Revised selected papers. (2017) Editors: Lemke-Rust, Kerstin; Tunstall, Michael Other Names: CARDIS (Conference), 15th Record Type: Book Extent: 1 online resource (xii, 265 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
676. Intelligent computing methodologies : 13th International Conference, ICIC 2017, Liverpool, UK, August 7-10, 2017, Proceedings.: 13th International Conference, ICIC 2017, Liverpool, UK, August 7-10, 2017, Proceedings. Part III (2017) Editors: Huang, De-Shuang; Hussain, Abir; Han, Kyungsook; Gromiha, M. Michael Other Names: International Conference on Intelligent Computing, 13th Record Type: Book Extent: 1 online resource (xxi, 789 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
677. Cyber physical systems : design, modeling, and evaluation : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised selected papers /: design, modeling, and evaluation : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised selected papers. (2017) Editors: (Professor of Software Engineering), Berger, Christian; Mousavi, Mohammad Reza, 1978-; Wisniewski, Rafael Other Names: CyPhy (Workshop), 6th Record Type: Book Extent: 1 online resource (xi, 127 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
678. Larisa Maksimova on implication, interpolation, and definability. ([2018]) Editors: Odintsov, Sergei Record Type: Book Extent: 1 online resource (xii, 371 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
679. Networked systems : 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings /: 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings. (2017) Editors: El Abbadi, Amr; Garbinato, Benoit Other Names: NETYS (Conference), 5th Record Type: Book Extent: 1 online resource (xviiii, 484 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
680. Intelligent information and database systems : 10th Asian Conference, ACIIDS 2018, Dong Hoi City, Vietnam, March 19-21, 2018, Proceedings.: 10th Asian Conference, ACIIDS 2018, Dong Hoi City, Vietnam, March 19-21, 2018, Proceedings. Part I (2018) Editors: (Computer scientist), Nguyen, Ngoc Thanh; Hoang, Duong Hung; Hong, Tzung-Pei, 1963-; Pham, Hoang; Trawiński, Bogdan Other Names: Asian Conference on Intelligent Information and Database Systems, 10th Record Type: Book Extent: 1 online resource (xli, 721 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗