171. Reusable firmware development : a practical approach to APIs, HALs and drivers /: a practical approach to APIs, HALs and drivers. (2017) Authors: Beningo, Jacob Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
172. Rules and Reasoning : International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings /: International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings. (2017) Editors: Costantini, Stefania; Franconi, Enrico; Van Woensel, William; Kontchakov, Roman; Sadri, Fariba; Roman, Dumitru Other Names: RuleML+RR (Joint Conference) Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
173. 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) ↗
174. Scalable uncertainty management : 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings /: 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings. (2017) Editors: Moral, Serafín, 1952-; Pivert, Olivier; Sánchez, Daniel; Marín, Nicolás Other Names: SUM (Conference), 11th Record Type: Book Extent: 1 online resource (xix, 438 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
175. Scaling OpenMP for Exascale Performance and Portability : 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings /: 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings. (2017) Editors: De Supinski, Bronis R; Olivier, Stephen L; Terboven, Christian; Chapman, Barbara, 1954-; Müller, Matthias S Other Names: IWOMP (Conference), 13th Record Type: Book Extent: 1 online resource (350 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
176. 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) ↗
177. 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) ↗
178. Snake charming -- the musical Python. (2017) Authors: Gray, Iain Record Type: Book Extent: 1 online resource (xiv, 121 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
179. Software engineering and formal methods : 15th International Conference, SEFM 2017, Trento, Italy, September 4?8, 2017, Proceedings /: 15th International Conference, SEFM 2017, Trento, Italy, September 4?8, 2017, Proceedings. (2017) Editors: Cimatti, Alessandro; Sirjani, Marjan Other Names: International Conference on Software Engineering and Formal Methods, 15th Record Type: Book Extent: 1 online resource (xix, 410 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
180. 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) ↗