1. Computer Security - ESORICS 2017 : 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part I /: 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part I. (2017) Editors: Foley, Simon N; Gollmann, Dieter; Snekkenes, Einar Other Names: European Symposium on Research in Computer Security, 22nd, author Record Type: Book Extent: 1 online resource (XXI, 485 pages), 106 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. DNA Computing and Molecular Programming : 23rd International Conference, DNA 23, Austin, TX, USA, September 24-28, 2017, Proceedings /: 23rd International Conference, DNA 23, Austin, TX, USA, September 24-28, 2017, Proceedings. (2017) Editors: Brijder, Robert; Qian, Lulu Other Names: International Conference on DNA Computing and Molecular Programming, 23rd Record Type: Book Extent: 1 online resource (XII, 267 pages), 76 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. 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) ↗
4. Computer Algebra in Scientific Computing : 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings /: 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings. (2017) Editors: Gerdt, V. P; Koepf, Wolfram; Seiler, Werner M (Werner Markus); Vorozhtsov, E. V (Evgenii Vasilʹevich), 1946- Other Names: CASC (Workshop : 2001- ), 19th Record Type: Book Extent: 1 online resource (XIII, 407 pages), 75 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. 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) ↗