711. Quality, reliability, security and robustness in heterogeneous networks : 12th International Conference, QShine 2016, Seoul, Korea, July 7-8, 2016, Proceedings /: 12th International Conference, QShine 2016, Seoul, Korea, July 7-8, 2016, Proceedings. (2017) Editors: Lee, Jong-Hyouk; Pack, Sangheon Other Names: International Conference on Quality of Service in Heterogeneous Wired/Wireless Networks, 12th Record Type: Book Extent: 1 online resource (xv, 498 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
712. Automated deduction -- CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings /: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings. (2017) Editors: Moura, Leonardo de Other Names: International Conference on Automated Deduction, 26th Record Type: Book Extent: 1 online resource (xi, 582 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
713. Exploring services science : 8th International Conference, IESS 2017, Rome, Italy, May 24-26, 2017, Proceedings /: 8th International Conference, IESS 2017, Rome, Italy, May 24-26, 2017, Proceedings. (2017) Editors: Za, Stefano; Drăgoicea, Monica; Cavallari, Maurizio Other Names: International Conference on Exploring Services Science, 8th Record Type: Book Extent: 1 online resource (xvii, 432 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
714. Modelling Foundations and Applications : 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings /: 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings. (2017) Editors: Anjorin, Anthony; Espinoza, Huáscar Other Names: ECMFA (Conference), 13th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
715. Reversible Computation : 9th International Conference, RC 2017, Kolkata, India, July 67, 2017, proceedings /: 9th International Conference, RC 2017, Kolkata, India, July 67, 2017, proceedings. ([2017]) Editors: Rahaman, Hafizur; Phillips, Iain Other Names: RC (Workshop : Reversible Computation), 9th Record Type: Book Extent: 1 online resource (xii, 255 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
716. Engineering secure software and systems : 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings /: 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings. (2017) Editors: Bodden, Eric; Payer, Mathias; Athanasopoulos, Elias Other Names: ESSoS (Symposium), 9th Record Type: Book Extent: 1 online resource (x, 241 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
717. On the move to meaningful internet systems : OTM 2016 Workshops : Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24-28, 2016, Revised selected papers /: OTM 2016 Workshops : Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24-28, 2016, Revised selected papers. (2017) Editors: Ciuciu, Ioana, 1982-; Debruyne, Christophe; Panetto, Herve; Weichhart, Georg; Bollen, Peter; Fensel, Anna; Vidal, María Esther Other Names: OTM Confederated International Workshops Record Type: Book Extent: 1 online resource (xxiv, 342 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
718. Job scheduling strategies for parallel processing : 19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016, Revised selected papers /: 19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016, Revised selected papers. (2017) Editors: Desai, Narayan (Narayan L.); Cirne, Walfredo Other Names: JSSPP (Workshop), 19th; JSSPP (Workshop), 20th Record Type: Book Extent: 1 online resource (x, 279 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
719. Advances in cryptology--EUROCRYPT 2017 : 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30-May 4, 2017, proceedings /: 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30-May 4, 2017, proceedings. ([2017]) Editors: Nielsen, Jesper Buus, 1973-; Coron, Jean-Sébastien Other Names: EUROCRYPT (Conference), 36th Record Type: Book Extent: 1 online resource (3 volumes), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
720. Software-based acoustical measurements. (2017) Authors: Miyara, Federico Record Type: Book Extent: 1 online resource (xix, 429 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗