1031. Cloud infrastructures, services, and IoT systems for smart cities : second EAI International Conference, IISSC 2017 and CN4IoT 2017, Brindisi, Italy, April 20-21, 2017, Proceedings /: second EAI International Conference, IISSC 2017 and CN4IoT 2017, Brindisi, Italy, April 20-21, 2017, Proceedings. ([2018]) Editors: Longo, Antonella; Zappatore, Marco; Villari, Massimo, 1972-; Rana, Omer; Bruneo, Dario; Ranjan, Rajiv; Fazio, Maria; Massonet, Philippe Other Names: EAI International Conference on ICT Infrastructures and Services for Smart Cities, 2nd; International Conference on Cloud, Networking for IoT Systems, 2nd Record Type: Book Extent: 1 online resource (xix, 264 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1032. Ambient intelligence : 14th European Conference, AmI 2018, Larnaca, Cyprus, November 12-14, 2018, Proceedings /: 14th European Conference, AmI 2018, Larnaca, Cyprus, November 12-14, 2018, Proceedings. (2018) Editors: Kameas, Achilles; Stathis, Kostas Other Names: European Conference on Ambient Intelligence, 14th Record Type: Book Extent: 1 online resource (xii, 233 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1033. Metasynthetic computing and engineering of complex systems. ([2015]) Authors: Cao, Longbing, 1969- Record Type: Book Extent: 1 online resource (xiv, 348 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1034. Leveraging applications of formal methods, verification and validation. distributed systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings /: distributed systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings. Part III : (2018) Editors: Margaria-Steffen, Tiziana, 1964-; Steffen, Bernhard Other Names: ISoLA (Symposium), 8th Record Type: Book Extent: 1 online resource (xiv, 522 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1035. Verified software: theories, tools, and experiments : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015 : revised selected papers /: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015 : revised selected papers. (2016) Editors: Gurfinkel, Arie; Seshia, Sanjit A Other Names: VSTTE (Conference), 7th Record Type: Book Extent: 1 online resource (223 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1036. Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings /: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings. (2017) Editors: Abate, Alessandro; Geeraerts, Gilles Other Names: FORMATS (Conference), 15th Record Type: Book Extent: 1 online resource (x, 353 pages), 93 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1037. Pattern recognition and computer vision. first Chinese Conference, PRCV 2018, Guangzhou, China, November 23-26, 2018, Proceedings /: first Chinese Conference, PRCV 2018, Guangzhou, China, November 23-26, 2018, Proceedings. Part III : (2018) Editors: Lai, Jian-Huang; Liu, Cheng-Lin; Chen, Xilin; (Professor of pattern recognition), Zhou, Jie; Tan, Tieniu; Zheng, Nanning; Zha, Hongbin Other Names: Chinese Conference on Pattern Recognition and Computer Vision, 1st Record Type: Book Extent: 1 online resource (xvii, 625 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1038. Bad programming practices 101 : become a better coder by learning how (not) to program /: become a better coder by learning how (not) to program. ([2018]) Authors: Beecher, Karl Record Type: Book Extent: 1 online resource (xxii, 221 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1039. Service-oriented computing -- ICSOC 2014 Workshops : WESOA ; SeMaPS, RMSOC, KASA, ISC, FOR-MOVES, CCSA and satellite events, Paris, France, November 3-6, 2014, Revised selected papers /: WESOA ; SeMaPS, RMSOC, KASA, ISC, FOR-MOVES, CCSA and satellite events, Paris, France, November 3-6, 2014, Revised selected papers. (2015) Editors: Toumani, Farouk Other Names: ICSOC (Conference), 12th; International Workshop on Engineering Service-Oriented Applications: Design and Composition, 10th; RMSOC (Workshop), 1st; KASA (Workshop), 1st; ISC (Workshop); FOR-MOVES (Workshop), 1st; CCSA (Workshop), 4th Record Type: Book Extent: 1 online resource (xxxviii, 430 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1040. Formal methods and software engineering : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings /: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings. (2018) Editors: (Computer scientist), Sun, Jing; Sun, Meng Other Names: International Conference on Formal Engineering Methods, 20th Record Type: Book Extent: 1 online resource (xxii, 474 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗