381. Foundational and practical aspects of resource analysis : 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised selected papers /: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised selected papers. (2016) Editors: Eekelen, M. C. J. D. van; (Computer scientist), Dal Lago, Ugo Other Names: FOPARA (Workshop), 4th Record Type: Book Extent: 1 online resource (ix, 127 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
382. Computer safety, reliability, and security : SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR and TIPS Trondheim, Norway, September 20, 2016, proceedings /: SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR and TIPS Trondheim, Norway, September 20, 2016, proceedings. (2016) Editors: Skavhaug, Amund; Guiochet, Jérémie; Schoitsch, Erwin; Bitsch, Friedemann Other Names: SAFECOMP (Conference), 35th; International Workshop on Assurance Cases for Software-Intensive Systems, 4th; DECSoS (Workshop); SASSUR (Workshop), 5th; TIPS (Workshop), 1st Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
383. NASA formal methods : 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings /: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings. (2016) Editors: Rayadurgam, Sanjai; Tkachuk, Oksana Other Names: NFM (Symposium), 8th Record Type: Book Extent: 1 online resource (xix, 396 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
384. Mathematical software -- ICMS 2016 : 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings /: 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings. (2016) Editors: Greuel, G.-M (Gert-Martin); Koch, Thorsten, 1967-; Paule, Peter; Sommese, Andrew John Other Names: International Congress of Mathematical Software, 5th Record Type: Book Extent: 1 online resource (xxiv, 532 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
385. Transactions on modularity and composition. I (2016) Editors: Chiba, Shigeru, 1968-; Südholt, Mario; Eugster, Patrick; Ziarek, Lukasz; Leavens, Gary T Record Type: Book Extent: 1 online resource (ix, 269 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
386. Computer and information sciences : 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27-28, 2016, Proceedings /: 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27-28, 2016, Proceedings. (2016) Editors: Czachórski, Tadeusz; Gelenbe, Erol, 1945-; Grochla, Krzysztof; Lent, Ricardo Other Names: International Symposium on Computer and Information Sciences, 31st Record Type: Book Extent: 1 online resource (xiii, 278 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
387. Search based software engineering : 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings /: 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings. (2016) Editors: Sarro, Federica; Deb, Kalyanmoy Other Names: SSBSE (Symposium), 8th Record Type: Book Extent: 1 online resource (xxi, 318 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
388. 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 II : (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) Record Type: Book Extent: 1 online resource (lviii, 555 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
389. Advances in conceptual modeling : ER 2016 Workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP, Gifu, Japan, November 14-17, 2016, Proceedings /: ER 2016 Workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP, Gifu, Japan, November 14-17, 2016, Proceedings. (2016) Editors: Link, Sebastian; Trujillo, Juan C Other Names: International Conference on Conceptual Modeling, 35th; AHA (Workshop); MoBiD (Workshop); MORE-BI (Workshop); MReBA (Workshop); QMMQ (Workshop); SCME (Workshop); WM2SP (Workshop) Record Type: Book Extent: 1 online resource (xxiii, 251 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
390. Algorithms and architectures for parallel processing : 16th International Conference, ICA3PP 2016, Granada, Spain, December, 14-16, 2016, proceedings /: 16th International Conference, ICA3PP 2016, Granada, Spain, December, 14-16, 2016, proceedings. (2016) Editors: Carretero, Jesus; Garcia-Blas, Javier; Ko, Ryan; Müller, Peter, 1961 July 8; Nakano, Koji Other Names: International Conference on Algorithms and Architectures for Parallel Processing, 16th Record Type: Book Extent: 1 online resource (687 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗