941. Evaluation of novel approaches to software engineering : 12th International Conference, ENASE 2017, Porto, Portugal, April 28-29, 2017, Revised selected papers /: 12th International Conference, ENASE 2017, Porto, Portugal, April 28-29, 2017, Revised selected papers. (2018) Editors: Damiani, Ernesto, 1960-; Spanoudakis, George; Maciaszek, Leszek Other Names: ENASE (Conference), 12th Record Type: Book Extent: 1 online resource (xii, 275 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
942. Geo-spatial knowledge and intelligence. 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016, Revised selected papers /: 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016, Revised selected papers. Part I : (2017) Editors: Yuan, Hanning; Geng, Jing; Bian, Fuling Other Names: GRMSE (Conference), 4th Record Type: Book Extent: 1 online resource (xlix, 605 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
943. Model-Driven Engineering and Software Development : 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised selected papers /: 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised selected papers. (2017) Editors: Hammoudi, Slimane; Ferraira Pires, Luís, 1961-; Selic, Bran; Desfray, Philippe Other Names: MODELSWARD (Conference), 4th Record Type: Book Extent: 1 online resource (xiv, 355 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
944. Angewandte Netzwerktechnik kompakt : Dateiformate, Übertragungsprotokolle und ihre Nutzung in Java-Applikationen /: Dateiformate, Übertragungsprotokolle und ihre Nutzung in Java-Applikationen. (2017) Authors: Plenk, Valentin Record Type: Book Extent: 1 online resource (194 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
945. Intelligent computing, networked control, and their engineering applications. International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings /: International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings. Part II : (2017) Editors: Yue, Dong; Peng, Chen; Du, Dajun; Zhang, Tengfei; Zheng, Min; Han, Qinglong Other Names: International Conference on Life System Modeling and Simulation; International Conference on Intelligent Computing for Sustainable Energy and Environment Record Type: Book Extent: 1 online resource (xix, 717 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
946. Internet multimedia computing and service : 9th International Conference, ICIMCS 2017, Qingdao, China, August 23-25, 2017, Revised selected papers /: 9th International Conference, ICIMCS 2017, Qingdao, China, August 23-25, 2017, Revised selected papers. (2018) Editors: Huet, Benoit; Nie, Liqiang; Hong, Richang Other Names: International Conference on Internet Multimedia Computing and Service, 9th Record Type: Book Extent: 1 online resource (xiv, 496 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
947. E-Business and telecommunications : 13th International Joint Conference, ICETE 2016, Lisbon, Portugal, July 26-28, 2016, Revised selected papers /: 13th International Joint Conference, ICETE 2016, Lisbon, Portugal, July 26-28, 2016, Revised selected papers. (2017) Editors: Obaidat, Mohammad S (Mohammad Salameh), 1952- Other Names: ICETE (Conference), 13th Record Type: Book Extent: 1 online resource (xxiii, 475 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
948. Leveraging Applications of Formal Methods, Verification, and Validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014 and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers /: 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014 and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers. (2016) Authors: Lamprecht, Anna-Lena Other Names: ISoLA (Symposium), 6th; ISoLA (Symposium), 5th Record Type: Book Extent: 1 online resource (157 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
949. Information and Communication Technologies for Ageing Well and e-Health : Third International Conference, ICT4AWE 2017, Porto, Portugal, April 28-29, 2017, Revised Selected Papers /: Third International Conference, ICT4AWE 2017, Porto, Portugal, April 28-29, 2017, Revised Selected Papers. (2018) Editors: Röcker, Carsten; O'Donoghue, John; Ziefle, Martina; Maciaszek, Leszek; Molloy, William Record Type: Book Extent: 1 online resource (210 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
950. Data management technologies and applications : 6th International Conference, DATA 2017, Madrid, Spain, July 24-26, 2017, Revised selected papers /: 6th International Conference, DATA 2017, Madrid, Spain, July 24-26, 2017, Revised selected papers. (2018) Editors: Filipe, Joaquim; Bernardino, Jorge; Quix, Christoph Other Names: DATA (Conference), 6th Record Type: Book Extent: 1 online resource (xii, 287 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗