161. Runtime verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings /: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings. (2017) Editors: Lahiri, Shuvendu; Reger, Giles Other Names: RV (Conference), 17th Record Type: Book Extent: 1 online resource (xix, 432 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
162. Rust for the IoT : building Internet of Things apps with Rust and Raspberry Pi /: building Internet of Things apps with Rust and Raspberry Pi. ([2020]) Authors: Nusairat, Joseph Faisal Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
163. Scala : from a functional programming perspective : an introduction to the programming language /: from a functional programming perspective : an introduction to the programming language. (2016) Authors: Torra, Vicenç Record Type: Book Extent: 1 online resource (xiii, 124 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
164. 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) ↗
165. 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) ↗
166. Security standardisation research : 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings /: 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings. (2018) Editors: Cremers, Cas; Lehmann, Anja Other Names: SSR (Conference), 4th Record Type: Book Extent: 1 online resource (ix, 185 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
167. Separation logic for high-level synthesis. (2017) Authors: Winterstein, Felix Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
168. Small dynamic complexity classes : an investigation into dynamic descriptive complexity /: an investigation into dynamic descriptive complexity. (2017) Authors: Zeume, Thomas Record Type: Book Extent: 1 online resource (viii, 149 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
169. Software architecture : 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28-December 2, 2016, Proceedings /: 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28-December 2, 2016, Proceedings. (2016) Editors: Tekinerdogan, Bedir, 1970-; Zdun, Uwe; (Professor of Software Engineering), Babar, Ali Other Names: ECSA (Conference), 10th Record Type: Book Extent: 1 online resource (xiii, 340 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
170. Software architecture : 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings /: 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings. (2017) Editors: Lopes, Antónia; Lemos, Rogério de, 1961- Other Names: ECSA (Conference), 11th Record Type: Book Extent: 1 online resource (xii, 217 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗