421. Controlled natural language : 5th International Workshop, CNL 2016, Aberdeen, UK, July 25-27, 2016, Proceedings /: 5th International Workshop, CNL 2016, Aberdeen, UK, July 25-27, 2016, Proceedings. (2016) Editors: Davis, Brian; Pace, Gordon J; Wyner, Adam Other Names: Workshop on Controlled Natural Language, 5th Record Type: Book Extent: 1 online resource (x, 131 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
422. Scala : from a functional programming perspective : an introduction to the programming language /: from a functional programming perspective : an introduction to the programming language. (2016) Authors: Torra, Vicenç Record Type: Book Extent: 1 online resource (xiii, 124 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
423. Leveraging applications of formal methods, verification and validation. 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings /: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings. Foundational techniques : Part I, (2016) Editors: Margaria-Steffen, Tiziana, 1964-; Steffen, Bernhard Other Names: ISoLA (Symposium), 7th Record Type: Book Extent: 1 online resource (xxiii, 974 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
424. Software quality - complexity and challenges of software engineering in emerging technologies : 9th International Conference, SWQD 2017, Vienna, Austria, January 17-20, 2017, proceedings /: 9th International Conference, SWQD 2017, Vienna, Austria, January 17-20, 2017, proceedings. (2017) Editors: (Software engineer), Winkler, Dietmar; Biffl, Stefan; Bergsmann, Johannes Other Names: SWQD 2017 Record Type: Book Extent: 1 online resource (189 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
425. Current trends in web engineering : ICWE 2016 International Workshops, DUI, TELERISE, SoWeMine, and Liquid Web, Lugano, Switzerland, June 6-9, 2016. Revised selected papers /: ICWE 2016 International Workshops, DUI, TELERISE, SoWeMine, and Liquid Web, Lugano, Switzerland, June 6-9, 2016. Revised selected papers. (2016) Editors: Casteleyn, Sven; Dolog, Peter; Pautasso, Cesare Other Names: ICWE (Conference), 16th; TELERISE (Workshop), 2nd; DUI (Workshop), 5th; SoWEMine (Workshop), 2nd; International Workshop on Liquid Multi-Device Software for the Web, 1st Record Type: Book Extent: 1 online resource (xx, 209 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
426. Software engineering and formal methods : 15th International Conference, SEFM 2017, Trento, Italy, September 4?8, 2017, Proceedings /: 15th International Conference, SEFM 2017, Trento, Italy, September 4?8, 2017, Proceedings. (2017) Editors: Cimatti, Alessandro; Sirjani, Marjan Other Names: International Conference on Software Engineering and Formal Methods, 15th Record Type: Book Extent: 1 online resource (xix, 410 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
427. Advanced concepts for intelligent vision systems : 18th International Conference, ACIVS 2017, Antwerp, Belgium, September 18-21, 2017, Proceedings /: 18th International Conference, ACIVS 2017, Antwerp, Belgium, September 18-21, 2017, Proceedings. (2017) Editors: Blanc-Talon, Jacques, 1962-; Penne, Rudi; Philips, Wilfried; Popescu, Dan, 1955-; Scheunders, Paul Other Names: ACIVS (Conference), 18th Record Type: Book Extent: 1 online resource (xvi, 763 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
428. Simulating crowds in egress scenarios. (2017) Authors: Cassol, Vinícius J; Musse, Soraia Raupp; Jung, Cláudio R; Badler, Norman I Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
429. Modeling and using context : 10th International and Interdisciplinary Conference, Context 2017, Paris, France, June 20-23, 2017, proceedings /: 10th International and Interdisciplinary Conference, Context 2017, Paris, France, June 20-23, 2017, proceedings. (2017) Editors: Brezillon, Patrick; Turner, Roy M; Penco, Carlo Other Names: International and Interdisciplinary Conference on Modeling and Using Context, 10th Record Type: Book Extent: 1 online resource (724 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
430. Scalable uncertainty management : 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings /: 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings. (2017) Editors: Moral, Serafín, 1952-; Pivert, Olivier; Sánchez, Daniel; Marín, Nicolás Other Names: SUM (Conference), 11th Record Type: Book Extent: 1 online resource (xix, 438 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗