1. Computer aided verification. 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings /: 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings. Part I : (2018) Editors: Chockler, Hana; Weissenbacher, Georg Other Names: CAV (Conference), 30th; Federated Logic Conference Record Type: Book Extent: 1 online resource (xix, 703 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Fundamental approaches to software engineering : 21st International Conference, FASE 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings /: 21st International Conference, FASE 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. (2018) Editors: Russo, Alessandra; Schürr, Andy Other Names: FASE (Conference), 21st; ETAPS (Conference), 21st Record Type: Book Extent: 1 online resource (xii, 357 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Intelligent human computer interaction : 9th International Conference, IHCI 2017, Evry, France, December 11-13, 2017, Proceedings /: 9th International Conference, IHCI 2017, Evry, France, December 11-13, 2017, Proceedings. (2017) Editors: Horain, Patrick; Achard, Catherine; Mallem, Malik Other Names: International Conference on Intelligent Human Computer Interaction, 9th Record Type: Book Extent: 1 online resource (xviii, 216 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Language technologies for the challenges of the digital age : 27th International Conference, GSCL 2017, Berlin, Germany, September 13-14, 2017, Proceedings /: 27th International Conference, GSCL 2017, Berlin, Germany, September 13-14, 2017, Proceedings. (2018) Editors: Rehm, Georg; Declerck, Thierry Other Names: Gesellschaft für Sprachtechnologie und Computerlinguistik., Biennial Conference, (27th) 2017 (Berlin, Germany) Record Type: Book Extent: 1 online resource (xiii, 310 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Principles of security and trust : 7th International Conference, POST 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings /: 7th International Conference, POST 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. (2018) Editors: Bauer, Lujo; Küsters, Ralf Other Names: POST (Conference), 7th; ETAPS (Conference), 21st Record Type: Book Extent: 1 online resource (xiv, 347 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Programming languages and systems : 27th European Symposium on Programming, ESOP 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings /: 27th European Symposium on Programming, ESOP 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. (2018) Editors: Ahmed, Amal Other Names: European Symposium on Programming, 27th; ETAPS (Conference), 21st Record Type: Book Extent: 1 online resource (xvi, 1058 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Re-engineering the uptake of ICT in schools. (2015) Editors: Assche, F. van (Frans); Anido Rifón, Luis E; Griffiths, David; Lewin, Cathy; McNicol, Sarah Record Type: Book Extent: 1 online resource (xvii, 201 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Security in computer and information sciences : first International ISCIS Security Workshop 2018, Euro-CYBERSEC 2018, London, UK, February 26-27, 2018, Revised selected papers /: first International ISCIS Security Workshop 2018, Euro-CYBERSEC 2018, London, UK, February 26-27, 2018, Revised selected papers. (2018) Editors: Gelenbe, Erol, 1945-; Campegiani, Paolo; Czachórski, Tadeusz; Katsikas, Sokratis K; Komnios, Ioannis; Romano, Luigi; Tzovaras, Dimitrios Other Names: Euro-CYBERSEC (Workshop), 1st Record Type: Book Extent: 1 online resource (xii, 159 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. The Huawei and Snowden questions : Can electronic equipment from untrusted vendors be verified? Can an untrusted vendor build trust into electronic equipment? /: Can electronic equipment from untrusted vendors be verified? Can an untrusted vendor build trust into electronic equipment?. (2018) Authors: Lysne, Olav Record Type: Book Extent: 1 online resource (xiv, 116 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Tools and algorithms for the construction and analysis of systems : 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings.: 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. Part II (2018) Editors: Beyer, Dirk, 1972-; Huisman, Marieke Other Names: TACAS (Conference), 24th; ETAPS (Conference), 21st Record Type: Book Extent: 1 online resource (xx, 465 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗