51. Theory and practice of formal methods : Essays dedicated to Frank de Boer on the occasion of his 60th birthday /: Essays dedicated to Frank de Boer on the occasion of his 60th birthday. (2016) Editors: Ábrahám, Erika; Bonsangue, Marcello M; Johnsen, Einar Broch Other Names: Boer, Frank S. de honouree. Record Type: Book Extent: 1 online resource (427 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
52. Nordic contributions in IS research : 7th Scandinavian Conference on Information Systems, SCIS 2016 and IFIP8.6 2016, Ljungskile, Sweden, August 7-10, 2016, Proceedings /: 7th Scandinavian Conference on Information Systems, SCIS 2016 and IFIP8.6 2016, Ljungskile, Sweden, August 7-10, 2016, Proceedings. (2016) Editors: Snis, Ulrika Lundh Other Names: Scandinavian Conference on Information Systems, 7th Record Type: Book Extent: 1 online resource (xvii, 191 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
53. Collaboration and technology : 22nd International Conference, CRIWG 2016, Kanazawa, Japan, September 14-16, 2016, Proceedings /: 22nd International Conference, CRIWG 2016, Kanazawa, Japan, September 14-16, 2016, Proceedings. (2016) Editors: Yuizono, Takaya; Ogata, Hiroaki; Hoppe, Ulrich, 1954 September 15; Vassileva, Julita Other Names: CRIWG (Conference), 22nd Record Type: Book Extent: 1 online resource (xii, 177 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
54. On the move to meaningful internet systems : OTM 2016 Conferences : Confederated International Conferences: CoopIS, C & TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings /: OTM 2016 Conferences : Confederated International Conferences: CoopIS, C & TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings. (2016) Editors: Debruyne, Christophe; Panetto, Herve; Meersman, R; Dillon, Tharam S, 1943-; Kühn, Eva; O'Sullivan, Declan; Ardagna, Claudio Agostino Other Names: OTM Confederated International Conferences, 15th; International Conference on Cooperative Information Systems; C & TC (Conference); International Conference on Ontologies Databases and Applications of Semantics Record Type: Book Extent: 1 online resource (xxviii, 977 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
55. FM 2016 : formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings /: formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. (2016) Editors: Fitzgerald, John, 1965-; Heitmeyer, Constance L; Gnesi, Stefania, 1954-; Philippou, Anna Other Names: International Symposium of Formal Methods Europe, 21st Record Type: Book Extent: 1 online resource (xxiii, 789 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
56. Information Systems: development, research, applications, education : 9th SIGSAND/PLAIS EuroSymposium 2016, Gdansk, Poland, September 29, 2016 : proceedings /: 9th SIGSAND/PLAIS EuroSymposium 2016, Gdansk, Poland, September 29, 2016 : proceedings. ([2016]) Editors: Wrycza, Stanisław Other Names: SIGSAND/PLAIS EuroSymposium, 9th Record Type: Book Extent: 1 online resource (x, 205 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
57. Information systems for crisis response in Mediterranean countries : Third International Conference, ISCRAM-med 2016, Madrid, Spain, October 26-28, 2016, Proceedings /: Third International Conference, ISCRAM-med 2016, Madrid, Spain, October 26-28, 2016, Proceedings. ([2016]) Editors: Díaz, Paloma; Bellamine Ben Saoud, Narjès; Dugdale, Julie; Hanachi, Chihab Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
58. Applications of evolutionary computation. 20th European Conference, EvoApplications 2017, Amsterdam, the Netherlands, April 19-21, 2017, Proceedings /: 20th European Conference, EvoApplications 2017, Amsterdam, the Netherlands, April 19-21, 2017, Proceedings. Part I : (2017) Editors: Squillero, Giovanni; (Lecturer in computing science), Sim, Kevin Other Names: EvoApplications (Conference), 20th Record Type: Book Extent: 1 online resource (xxiv, 905 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
59. Software data engineering for network eLearning environments : analytics and awareness learning services /: analytics and awareness learning services. (2018) Editors: Caballe, Santi, 1967-; Conesa, Jordi Record Type: Book Extent: 1 online resource (xvii, 228 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
60. Theoretical aspects of computing - ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, proceedings /: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, proceedings. (2017) Editors: Dang, Hung Van, 1950-; Kapur, Deepak Other Names: ICTAC (Colloquium), 14th Record Type: Book Extent: 1 online resource (XX, 305 pages), 58 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗