1201. Dependable software engineering : theories, tools, and applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings /: theories, tools, and applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings. (2018) Editors: Feng, Xinyu; Müller-Olm, Markus; Yang, Zijiang Other Names: SETTA (Symposium), 4th Record Type: Book Extent: 1 online resource (xiv, 201 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1202. Parallel computational technologies : 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2-6, 2018, Revised selected papers /: 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2-6, 2018, Revised selected papers. (2018) Editors: Sokolinsky, Leonid; Zymbler, Mikhail Other Names: International Conference on Parallel Computational Technologies, 12th Record Type: Book Extent: 1 online resource (xiii, 354 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1203. Integrated Formal Methods : 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings /: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings. (2018) Editors: Furia, Carlo A; Winter, Kirsten Record Type: Book Extent: 1 online resource (420 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1204. Computational collective intelligence. 10th International Conference, ICCCI 2018, Bristol, UK, September 5-7, 2018, Proceedings /: 10th International Conference, ICCCI 2018, Bristol, UK, September 5-7, 2018, Proceedings. Part II : (2018) Editors: (Computer scientist), Nguyen, Ngoc Thanh; Pimenidis, Elias; Khan, Zaheer; Trawiński, Bogdan Other Names: ICCCI (Conference), 10th Record Type: Book Extent: 1 online resource (xxv, 521 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1205. Quantitative evaluation of systems : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings /: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings. (2018) Editors: McIver, Annabelle; Horváth, András, 1974- Other Names: International Conference on the Quantitative Evaluation of Systems, 15th Record Type: Book Extent: 1 online resource (xi, 423 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1206. Digging into software knowledge generation in cultural heritage : modeling assistance strategies for large archaeological data sets /: modeling assistance strategies for large archaeological data sets. ([2018]) Authors: Martin-Rodilla, Patricia Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1207. Computational methods in systems biology : 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings /: 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings. (2018) Editors: Češka, M (Milan); Šafránek, David Other Names: CMSB (Conference), 16th Record Type: Book Extent: 1 online resource (xxiii, 326 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1208. Advances in green energy systems and smart grid. first International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings /: first International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings. Part III : (2018) Editors: (Computer scientist), Li, Kang; Zhang, Jianhua; Chen, Minyou; Yang, Zhile; (Computer scientist), Niu, Qun Other Names: IMIOT (Conference), 1st; International Conference on Intelligent Computing for Sustainable Energy and Environment, 5th Record Type: Book Extent: 1 online resource (xix, 329 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1209. Computer safety, reliability, and security : 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings /: 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings. (2018) Editors: Gallina, Barbara; Skavhaug, Amund, 1965-; Bitsch, Friedemann Other Names: SAFECOMP (Conference), 37th Record Type: Book Extent: 1 online resource (xxi, 312 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1210. Computer safety, reliability, and security : SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings /: SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings. (2018) Editors: Gallina, Barbara; Skavhaug, Amund, 1965-; Schoitsch, Erwin; Bitsch, Friedemann Other Names: SAFECOMP (Conference), 37th; International Workshop on Assurance Cases for Software-Intensive Systems, 6th; DECSoS (Workshop), 13th; SASSUR (Workshop), 7th; STRIVE (Workshop), 1st; WAISE (Workshop), 1st Record Type: Book Extent: 1 online resource (xv, 564 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗