331. Service-oriented computing -- ICSOC 2016 workshops : ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016, Revised selected papers /: ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016, Revised selected papers. (2017) Editors: Drira, Khalil; Wang, Hongbing; Yu, Qi; Wang, Yan; Yan, Yuhong; Charoy, F; Mendling, Jan; Mohamed, Mohamed; Wang, Zhongjie; Bhiri, Sami Other Names: ICSOC (Conference), 14th; ASOCA (Workshop), 1st; ISyCC (Workshop), 1st; BSCI (Workshop), 2nd Record Type: Book Extent: 1 online resource (xiii, 222 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
332. Topics in theoretical computer science : second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings /: second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings. (2017) Editors: Mousavi, Mohammad Reza, 1978-; Sgall, Jiří, 1965- Other Names: IFIP WG 1.8 International Conference, 2nd Record Type: Book Extent: 1 online resource (xvii, 125 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
333. Practical aspects of declarative languages : 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings /: 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings. (2018) Editors: Calimeri, Francesco; Hamlen, Kevin; Leone, Nicola Other Names: PADL (Symposium), 20th Record Type: Book Extent: 1 online resource (XIV, 203 pages), 56 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
334. String analysis for software verification and security. ([2017]) Authors: Bultan, Tevfik; Yu, Fang; Alkhalaf, Muath Abdullah; Aydin, Abdulbaki Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
335. Low level X Window programming : an introduction by examples /: an introduction by examples. (2017) Authors: Maloney, Ross J Record Type: Book Extent: 1 online resource (xii, 264 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
336. Programming languages and systems : 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings /: 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings. (2017) Editors: Chang, Bor-Yuh Evan Other Names: APLAS (Symposium), 15th Record Type: Book Extent: 1 online resource (xix, 555 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
337. Search Based Software Engineering : 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings /: 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings. (2017) Editors: Menzies, Tim; Petke, Justyna Other Names: SSBSE (Symposium), 9th Record Type: Book Extent: 1 online resource (XXVI, 197 pages), 33 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
338. Fundamentals of software engineering : 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised selected papers /: 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised selected papers. (2017) Editors: Dastani, Mehdi; Sirjani, Marjan Other Names: IPM International Conference on Fundamentals of Software Engineering, 7th Record Type: Book Extent: 1 online resource (x, 261 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
339. Software engineering for resilient systems : 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings /: 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings. (2017) Editors: Romanovsky, Alexander, 1954-; Troubitsyna, Elena (Elena A.), 1970- Other Names: SERENE (Workshop), 9th Record Type: Book Extent: 1 online resource (xiv, 201 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
340. Economics of grids, clouds, systems, and services : 14th International Conference, GECON 2017, Biarritz, France, September 19-21, 2017, Proceedings /: 14th International Conference, GECON 2017, Biarritz, France, September 19-21, 2017, Proceedings. (2017) Editors: Pham, Congduc; (Computer scientist), Altmann, Jörn; Bañares, José Ángel Other Names: GECON (Conference), 14th Record Type: Book Extent: 1 online resource (xi, 302 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗