401. Interactive theorem proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016. Proceedings /: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016. Proceedings. (2016) Editors: Blanchette, Jasmin; Merz, Stephan Other Names: ITP (Conference), 7th Record Type: Book Extent: 1 online resource (xvii, 502 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
402. Development of a cyber physical system for fire safety. (2016) Authors: Wills, Rosalie Faith; Marshall, André Record Type: Book Extent: 1 online resource (68 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
403. Perspectives in business informatics research : 15th International Conference, BIR 2016, Prague, Czech Republic, September 15-16, 2016, Proceedings /: 15th International Conference, BIR 2016, Prague, Czech Republic, September 15-16, 2016, Proceedings. (2016) Editors: Řepa, Václav, 1958-; Bruckner, Tomáš Other Names: BIR (Conference), 15th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
404. Rule technologies : research, tools, and applications : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings /: research, tools, and applications : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings. (2016) Editors: Alferes, José Júlio; Bertossi, Leopoldo; Governatori, Guido; Fodor, Paul; (Research scientist), Roman, Dumitru Other Names: RuleML (Symposium : Rule-based modeling), 10th Record Type: Book Extent: 1 online resource (xxv, 351 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
405. Computer safety, reliability, and security : 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings /: 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings. (2016) Editors: Skavhaug, Amund; Guiochet, Jérémie; Bitsch, Friedemann Other Names: SAFECOMP (Conference), 35th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
406. 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. discussion, dissemination, applications : Part II, (2016) Editors: Margaria-Steffen, Tiziana, 1964-; Steffen, Bernhard Other Names: ISoLA (Symposium), 7th Record Type: Book Extent: 1 online resource (xxiv, 866 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
407. Formal Methods and Software Engineering : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings /: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings. (2016) Editors: Ogata, Kazuhiro; Lawford, Mark; Liu, Shaoying Record Type: Book Extent: 1 online resource (486 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
408. Software engineering : challenges and solutions : results of the XVIII KKIO 2016 Software Engineering Conference 2016 held at September 15-17 2016 in Wroclaw, Poland /: challenges and solutions : results of the XVIII KKIO 2016 Software Engineering Conference 2016 held at September 15-17 2016 in Wroclaw, Poland. ([2017]) Editors: Madeyski, Lech; Śmiałek, Michał; Hnatkowska, Bogumiła; Huzar, Zbigniew Record Type: Book Extent: 1 online resource (215 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
409. Runtime verification : 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings /: 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings. (2016) Editors: Falcone, Yliès; Sánchez, César Other Names: RV (Conference), 16th Record Type: Book Extent: 1 online resource (xxi, 512 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
410. Internet of things. IoT infrastructures : second International Summit, IoT 360° 2015, Rome, Italy, October 27-29, 2015. Revised selected papers /: IoT infrastructures : second International Summit, IoT 360° 2015, Rome, Italy, October 27-29, 2015. Revised selected papers. Part I : (2016) Editors: Mandler, Benny; Marquez-Barja, Johann; Campista, Miguel Elias Mitre; Cagáňová, Dagmar; Chaouchi, Hakima; Zeadally, Sherali; Badra, Mohamad; Giordano, Stefano; Fazio, Maria; Somov, Andrey; Vieriu, Radu-Laurentiu Other Names: IoT 360° Summit (Conference); EAI International Conference on Safety and Security in Internet of Things, 2nd Record Type: Book Extent: 1 online resource (lviii, 547 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗