1. 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) ↗
2. Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings /: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings. (2017) Editors: Abate, Alessandro; Geeraerts, Gilles Other Names: FORMATS (Conference), 15th Record Type: Book Extent: 1 online resource (x, 353 pages), 93 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗