171. Requirements engineering : foundation for software quality : 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016, Proceedings /: foundation for software quality : 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016, Proceedings. (2016) Editors: Daneva, Maya; Pastor, Óscar, 1962- Other Names: REFSQ (Conference), 22nd Record Type: Book Extent: 1 online resource (xv, 319 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
172. Languages and compilers for parallel computing : 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015. Revised selected papers /: 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015. Revised selected papers. (2016) Editors: Shen, Xipeng; Mueller, Frank, 1966-; Tuck, James Other Names: LCPC (Workshop), 28th Record Type: Book Extent: 1 online resource (x, 319 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
173. System analysis and modeling : technology-specific aspects of models : 9th International Conference, SAM 2016, Saint-Malo, France, October 3-4, 2016. Proceedings /: technology-specific aspects of models : 9th International Conference, SAM 2016, Saint-Malo, France, October 3-4, 2016. Proceedings. (2016) Editors: Grabowski, Jens; Herbold, Steffen Other Names: SAM (Workshop : System analysis), 9th Record Type: Book Extent: 1 online resource (x, 243 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
174. Automated technology for verification and analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings /: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings. (2016) Editors: Artho, Cyrille; Legay, Axel; Peled, Doron A, 1962- Other Names: ATVA (Symposium), 14th Record Type: Book Extent: 1 online resource (xi, 530 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
175. Logics in artificial intelligence : 15th European conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, proceedings /: 15th European conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, proceedings. (2016) Editors: Michael, Loizos; Kakas, Antonis C Other Names: JELIA (Conference), 15th Record Type: Book Extent: 1 online resource (586 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
176. Foundational and practical aspects of resource analysis : 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised selected papers /: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised selected papers. (2016) Editors: Eekelen, M. C. J. D. van; (Computer scientist), Dal Lago, Ugo Other Names: FOPARA (Workshop), 4th Record Type: Book Extent: 1 online resource (ix, 127 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
177. Computer safety, reliability, and security : SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR and TIPS Trondheim, Norway, September 20, 2016, proceedings /: SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR and TIPS Trondheim, Norway, September 20, 2016, proceedings. (2016) Editors: Skavhaug, Amund; Guiochet, Jérémie; Schoitsch, Erwin; Bitsch, Friedemann Other Names: SAFECOMP (Conference), 35th; International Workshop on Assurance Cases for Software-Intensive Systems, 4th; DECSoS (Workshop); SASSUR (Workshop), 5th; TIPS (Workshop), 1st Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
178. NASA formal methods : 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings /: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings. (2016) Editors: Rayadurgam, Sanjai; Tkachuk, Oksana Other Names: NFM (Symposium), 8th Record Type: Book Extent: 1 online resource (xix, 396 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
179. Search based software engineering : 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings /: 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings. (2016) Editors: Sarro, Federica; Deb, Kalyanmoy Other Names: SSBSE (Symposium), 8th Record Type: Book Extent: 1 online resource (xxi, 318 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
180. Algorithms and architectures for parallel processing : 16th International Conference, ICA3PP 2016, Granada, Spain, December, 14-16, 2016, proceedings /: 16th International Conference, ICA3PP 2016, Granada, Spain, December, 14-16, 2016, proceedings. (2016) Editors: Carretero, Jesus; Garcia-Blas, Javier; Ko, Ryan; Müller, Peter, 1961 July 8; Nakano, Koji Other Names: International Conference on Algorithms and Architectures for Parallel Processing, 16th Record Type: Book Extent: 1 online resource (687 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗