281. SDL 2015 : model-driven engineering for smart cities : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015 : proceedings /: model-driven engineering for smart cities : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015 : proceedings. (2015) Editors: (Computer scientist), Fischer, Joachim Other Names: SDL Forum, 17th Record Type: Book Extent: 1 online resource (285 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
282. Hardware and software: verification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings /: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings. (2015) Editors: Piterman, Nir Other Names: International Haifa Verification Conference, 11th Record Type: Book Extent: 1 online resource (293 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
283. Semantics, logics, and calculi : essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays /: essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays. (2016) Editors: Probst, Christian W; Hankin, Chris; Hansen, René Rydhof Other Names: Nielson, Hanne Riis 1954- honouree.; Nielson, Flemming 1955- honouree. Record Type: Book Extent: 1 online resource (x, 345 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
284. 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) ↗
285. 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) ↗
286. Computer safety, reliability, and security : 34th International Conference, SAFECOMP 2015, Delft, the Netherlands, September 23-25, 2015, Proceedings /: 34th International Conference, SAFECOMP 2015, Delft, the Netherlands, September 23-25, 2015, Proceedings. (2015) Editors: Koornneef, Floor, 1950-; Gulijk, Coen van Other Names: SAFECOMP (Conference), 34th Record Type: Book Extent: 1 online resource (xxii, 486 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
287. OpenMP: heterogenous execution and data movements : 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015 : proceedings /: 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015 : proceedings. (2015) Editors: Terboven, Christian Other Names: IWOMP (Conference), 11th Record Type: Book Extent: 1 online resource (274 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
288. Exploring robotics with ROBOTIS systems. (2015) Authors: Thai, Chi N Record Type: Book Extent: 1 online resource (x, 172 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
289. More math into LaTeX. (2016) Authors: Gratzer, George A Record Type: Book Extent: 1 online resource (xxx, 609 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
290. Formal methods for the quantitative evaluation of collective adaptive systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced lectures /: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced lectures. (2016) Editors: Bernardo, Marco; De Nicola, Rocco; Hillston, J (Jane), 1963- Other Names: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, 16th Record Type: Book Extent: 1 online resource (vii, 261 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗