151. Qualitätssicherung durch Softwaretests : Vorgehensweisen und Werkzeuge zum Testen von Java-Programmen /: Vorgehensweisen und Werkzeuge zum Testen von Java-Programmen. (2019) Authors: Kleuker, Stephan Record Type: Book Extent: 1 online resource (403 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
152. Quantitative evaluation of systems : 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings /: 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings. (2015) Editors: Campos, Javier, 1963-; Haverkort, Boudewijn R Other Names: International Conference on the Quantitative Evaluation of Systems, 12th Record Type: Book Extent: 1 online resource (xvi, 329 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
153. Quantitative evaluation of systems : 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings /: 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings. (2016) Editors: Agha, Gul A; Houdt, Benny van Other Names: International Conference on the Quantitative Evaluation of Systems, 13th Record Type: Book Extent: 1 online resource (xvii, 382 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
154. Quantitative evaluation of systems : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings /: 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings. (2017) Editors: Bertrand, Nathalie; Bortolussi, Luca Other Names: International Conference on the Quantitative Evaluation of Systems, 14th Record Type: Book Extent: 1 online resource (xiii, 370 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
155. Recurrent neural networks for short-term load forecasting : an overview and comparative analysis /: an overview and comparative analysis. (2017) Authors: Bianchi, Filippo Maria Record Type: Book Extent: 1 online resource (72 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
156. Runtime verification : 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings /: 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings. (2016) Editors: Falcone, Yliès; Sánchez, César Other Names: RV (Conference), 16th Record Type: Book Extent: 1 online resource (xxi, 512 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
157. 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) ↗
158. Runtime verification : 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings /: 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings. (2018) Editors: Colombo, Christian; Leucker, Martin Other Names: RV (Conference), 18th Record Type: Book Extent: 1 online resource (xi, 470 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
159. Security of networks and services in an all-connected world : 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2017, Zurich, Switzerland, July 10-13, 2017, Proceedings /: 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2017, Zurich, Switzerland, July 10-13, 2017, Proceedings. (2017) Editors: Tuncer, Daphne; Koch, Róbert; Badonnel, Rémi; Stiller, Burkhard, 1965- Other Names: IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management and Security, 11th Record Type: Book Extent: 1 online resource (xx, 192 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
160. Semantic modeling and enrichment of mobile and WiFi network data. ([2019]) Authors: Uzun, Abdulbaki Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗