571. 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) ↗
572. SDL 2017 : model-driven engineering for future internet : 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings /: model-driven engineering for future internet : 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings. (2017) Editors: Csöndes, Tibor; Kovács, Gábor; Réthy, György Other Names: SDL Forum, 18th Record Type: Book Extent: 1 online resource (xi, 173 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
573. 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) ↗
574. Search-based software engineering : 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015 : proceedings /: 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015 : proceedings. ([2015]) Editors: Barros, Márcio; Labiche, Yvan Other Names: SSBSE (Symposium), 7th Record Type: Book Extent: 1 online resource (xv, 355 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
575. Securing PHP apps. (2016) Authors: Edmunds, Ben Record Type: Book Extent: 1 online resource (xiv, 52 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
576. Security and trust management : 14th International Workshop, STM 2018, Barcelona, Spain, September 6-7, 2018, Proceedings /: 14th International Workshop, STM 2018, Barcelona, Spain, September 6-7, 2018, Proceedings. (2018) Editors: Katsikas, Sokratis K; Alcaraz, Cristina Other Names: STM (Conference), 14th Record Type: Book Extent: 1 online resource (vii, 139 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
577. Security of industrial control systems and cyber-physical systems : second International Workshop, CyberICPS 2016, Heraklion, Crete, Greece, September 26-30, 2016, Revised selected papers /: second International Workshop, CyberICPS 2016, Heraklion, Crete, Greece, September 26-30, 2016, Revised selected papers. (2017) Editors: Cuppens-Boulahia, Nora; Lambrinoudakis, Costas; Cuppens, Frédéric; Katsikas, Sokratis K Other Names: CyberICPS (Workshop), 2nd Record Type: Book Extent: 1 online resource (xi, 116 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
578. Selenium Fundamentals : Speed up your internal testing by automating user interaction with browsers and web applications /: Speed up your internal testing by automating user interaction with browsers and web applications. (2018) Authors: Molina, Diego Record Type: Book Extent: 1 online resource (206 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
579. Selenium WebDriver recipes in C#. (2015) Authors: Zhan, Zhimin Record Type: Book Extent: 1 online resource (xxiv, 164 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
580. 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) ↗