161. 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) ↗
162. Software engineering for resilient systems : 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings /: 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings. (2016) Editors: Crnkovic, Ivica; Troubitsyna, Elena (Elena A.), 1970- Other Names: SERENE (Workshop), 8th Record Type: Book Extent: 1 online resource (ix, 149 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
163. Testing software and systems : 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings /: 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings. (2016) Editors: Wotawa, Franz; Nica, Mihai; Kushik, Natalia Other Names: ICTSS (Conference), 28th Record Type: Book Extent: 1 online resource (xviii, 257 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
164. Computer safety, reliability, and security : 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings /: 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings. (2016) Editors: Skavhaug, Amund; Guiochet, Jérémie; Bitsch, Friedemann Other Names: SAFECOMP (Conference), 35th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
165. Leveraging applications of formal methods, verification and validation. 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings /: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings. discussion, dissemination, applications : Part II, (2016) Editors: Margaria-Steffen, Tiziana, 1964-; Steffen, Bernhard Other Names: ISoLA (Symposium), 7th Record Type: Book Extent: 1 online resource (xxiv, 866 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
166. Formal Methods and Software Engineering : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings /: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings. (2016) Editors: Ogata, Kazuhiro; Lawford, Mark; Liu, Shaoying Record Type: Book Extent: 1 online resource (486 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
167. Runtime verification : 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings /: 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings. (2016) Editors: Falcone, Yliès; Sánchez, César Other Names: RV (Conference), 16th Record Type: Book Extent: 1 online resource (xxi, 512 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
168. Programming languages : 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, proceedings /: 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, proceedings. (2016) Editors: Castor, Fernando; Liu, Yu David Other Names: SBLP (Symposium), 20th Record Type: Book Extent: 1 online resource (x, 187 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
169. Transactions on foundations for mastering change. I (2016) Editors: Steffen, Bernhard Record Type: Book Extent: 1 online resource (xii, 257 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
170. Theoretical aspects of computing -- ICTAC 2016 : 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings /: 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings. (2016) Editors: Sampaio, Augusto; Wang, Farn Other Names: ICTAC (Colloquium), 13th Record Type: Book Extent: 1 online resource (xvii, 479 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗