111. Practical aspects of declarative languages : 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings /: 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings. (2016) Editors: Gavanelli, Marco; Reppy, John Other Names: PADL (Symposium), 18th Record Type: Book Extent: 1 online resource (x, 187 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
112. Inductive logic programming : 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014 : revised selected papers /: 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014 : revised selected papers. (2015) Editors: Davis, Jesse; Ramon, Jan Other Names: ILP (Conference), 24th Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
113. Fields of logic and computation II : essays dedicated to Yuri Gurevich on the occasion of his 75th birthday /: essays dedicated to Yuri Gurevich on the occasion of his 75th birthday. (2015) Editors: Beklemishev, Lev Dmitrievich, 1967-; Blass, Andreas, 1947-; Dershowitz, Nachum; Finkbeiner, Bernd; Schulte, Wolfram Other Names: Gurevich, Yuri honouree.; Yurifest (Symposium), 2nd Record Type: Book Extent: 1 online resource (x, 319 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
114. Software engineering : International Summer Schools, LASER 2013-2014, Elba, Italy, Revised tutorial lectures /: International Summer Schools, LASER 2013-2014, Elba, Italy, Revised tutorial lectures. (2015) Editors: Meyer, Bertrand, 1950-; Nordio, Martin Other Names: LASER Summer School on Software Engineering, 10th; LASER Summer School on Software Engineering, 11th Record Type: Book Extent: 1 online resource (vii, 191 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
115. Automated technology for verification and analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings /: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings. (2015) Editors: Finkbeiner, Bernd; Pu, G (Geguang); Zhang, Lijun, 1979- Other Names: ATVA (Symposium), 13th Record Type: Book Extent: 1 online resource (xiii, 520 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
116. Software engineering and formal methods : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. (2015) Editors: Calinescu, Radu C, 1968-; Rumpe, Bernhard Other Names: International Conference on Software Engineering and Formal Methods, 13th Record Type: Book Extent: 1 online resource (xi, 369 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
117. Languages and compilers for parallel computing : 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised papers /: 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised papers. (2017) Editors: Ding, Chen, 1970-; Criswell, John; Wu, Peng, 1974- Other Names: LCPC (Workshop), 29th Record Type: Book Extent: 1 online resource (xi, 348 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
118. Concurrency, security, and puzzles : essays dedicated to Andrew William Roscoe on the occasion of his 60th birthday /: essays dedicated to Andrew William Roscoe on the occasion of his 60th birthday. ([2017]) Editors: Gibson-Robinson, Thomas; Hopcroft, Philippa; Lazić, Ranko Other Names: Roscoe, A. W honouree. Record Type: Book Extent: 1 online resource (xviii, 319 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
119. Handbook of big data technologies. (2017) Editors: Zomaya, Albert Y; Sakr, Sherif, 1979- Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
120. Grand timely topics in software engineering : International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, tutorial lectures /: International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, tutorial lectures. (2017) Editors: Cunha, Jácome; Fernandes, João P; Lämmel, Ralf; Saraiva, João; Zaytsev, Vadim Other Names: GTTSE (Summer School), 5th Record Type: Book Extent: 1 online resource (xi, 235 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗