431. Theory of cryptography. 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017, Proceedings /: 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017, Proceedings. Part II : (2017) Editors: Kalai, Yael; Reyzin, Leonid Other Names: Theory of Cryptography Conference, 15th Record Type: Book Extent: 1 online resource (xvii, 778 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
432. Spatial cognition X : 13th Biennial Conference, KogWis 2016, Bremen, Germany, September 26-30, 2016, and 10th International Conference, Spatial Cognition 2016, Philadelphia, PA, USA, August 2-5, 2016, Revised selected papers /: 13th Biennial Conference, KogWis 2016, Bremen, Germany, September 26-30, 2016, and 10th International Conference, Spatial Cognition 2016, Philadelphia, PA, USA, August 2-5, 2016, Revised selected papers. (2017) Editors: Barkowsky, Thomas, 1966-; Burte, Heather Mary; Hölscher, Christoph; Schultheis, Holger Other Names: KogWis (Conference), 13th; Spatial Cognition (Conference) Record Type: Book Extent: 1 online resource (x, 199 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
433. Recent trends in algebraic development techniques : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised selected papers /: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised selected papers. (2017) Editors: James, Phillip (Phillip D.); Roggenbach, Markus Other Names: WADT (Workshop), 23rd Record Type: Book Extent: 1 online resource (x, 223 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
434. Reachability problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings /: 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings. (2017) Editors: Hague, Matthew; Potapov, Igor Other Names: RP (Workshop), 11th Record Type: Book Extent: 1 online resource (xv, 193 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
435. Five Design-Sheets : Creative Design and Sketching for Computing and Visualisation /: Creative Design and Sketching for Computing and Visualisation. (2017) Authors: Roberts, Jonathan C; Headleand, Christopher J; Ritsos, Panagiotis D Record Type: Book Extent: 1 online resource (333 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
436. 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) ↗
437. Algorithmic decision theory : 5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25-27, 2017, Proceedings /: 5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25-27, 2017, Proceedings. (2017) Editors: Rothe, Jörg Other Names: ADT (Conference), 5th Record Type: Book Extent: 1 online resource (xxiii, 390 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
438. Critical systems : formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings /: formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings. (2017) Editors: Petrucci, Laure; Seceleanu, Cristina; Cavalcanti, Ana Other Names: International Workshop on Formal Methods for Industrial Critical Systems, 22nd; International Workshop on Automated Verification of Critical Systems, 17th Record Type: Book Extent: 1 online resource (xiv, 235 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
439. Applications of evolutionary computation. 20th European Conference, EvoApplications 2017, Amsterdam, the Netherlands, April 19-21, 2017, Proceedings /: 20th European Conference, EvoApplications 2017, Amsterdam, the Netherlands, April 19-21, 2017, Proceedings. Part II : (2017) Editors: Squillero, Giovanni; (Lecturer in computing science), Sim, Kevin Other Names: EvoApplications (Conference), 20th Record Type: Book Extent: 1 online resource (xxiv, 243 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
440. Advances in conceptual modeling : ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6-9, 2017, Proceedings /: ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6-9, 2017, Proceedings. (2017) Editors: De Cesare, Sergio; Frank, Ulrich Other Names: International Conference on Conceptual Modeling, 36th; AHA (Workshop), 3rd; MoBiD (Workshop), 6th; MREBA (Workshop), 4th; OntoCom (Workshop), 5th; QMMQ (Workshop), 4th Record Type: Book Extent: 1 online resource (xvii, 249 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗