1131. Computer security : ESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017, revised selected papers /: ESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017, revised selected papers. (2018) Other Names: CyberICPS (Workshop), 3rd; SECPRE (Workshop); European Symposium on Research in Computer Security, 22nd Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1132. Low-power design and power-aware verification. ([2018]) Authors: Khondkar, Progyna Record Type: Book Extent: 1 online resource, illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1133. Testing software and systems : 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings /: 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings. (2017) Editors: Yevtushenko, Nina; Cavalli, Ana; Yenigun, Husnu Other Names: ICTSS (Conference), 29th Record Type: Book Extent: 1 online resource (xiii, 341 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1134. Service-oriented and cloud computing : 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, proceedings /: 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, proceedings. (2017) Editors: De Paoli, F (Flavio); (Computer scientist), Schulte, Stefan; Johnsen, Einar Broch Other Names: ESOCC (Conference), 6th Record Type: Book Extent: 1 online resource (xii, 239 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1135. Passive and active measurement : 18th International Conference, PAM 2017, Sydney, NSW, Australia, March 30-31, 2017, Proceedings /: 18th International Conference, PAM 2017, Sydney, NSW, Australia, March 30-31, 2017, Proceedings. (2017) Editors: Kaafar, Mohamed Ali; Uhlig, Steve; Amann, Johanna Other Names: PAM (Conference), 18th Record Type: Book Extent: 1 online resource (xiii, 284 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1136. Symbiotic interaction : 5th International Workshop, Symbiotic 2016, Padua, Italy, September 29-30, 2016, Revised selected papers /: 5th International Workshop, Symbiotic 2016, Padua, Italy, September 29-30, 2016, Revised selected papers. (2017) Editors: Gamberini, Luciano; Spagnolli, Anna; Jacucci, Giulio; Blankertz, Benjamin; Freeman, Jonathan Other Names: Symbiotic (Workshop), 5th Record Type: Book Extent: 1 online resource (xiv, 182 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1137. Future and emerging trends in language technology : machine learning and big data : second International Workshop, FETLT 2016, Seville, Spain, November 30-December 2, 2016, Revised selected papers /: machine learning and big data : second International Workshop, FETLT 2016, Seville, Spain, November 30-December 2, 2016, Revised selected papers. (2017) Editors: Quesada, José F; Martín-Mateos, Francisco J; Soto, Teresa López Other Names: FETLT (Workshop), 2nd Record Type: Book Extent: 1 online resource (xii, 199 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1138. Cyber physical systems : design, modeling, and evaluation : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised selected papers /: design, modeling, and evaluation : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised selected papers. (2017) Editors: (Professor of Software Engineering), Berger, Christian; Mousavi, Mohammad Reza, 1978-; Wisniewski, Rafael Other Names: CyPhy (Workshop), 6th Record Type: Book Extent: 1 online resource (xi, 127 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1139. Programming languages and systems : 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings /: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings. (2016) Editors: (Computer engineer), Igarashi, Atsushi Other Names: APLAS (Symposium), 14th Record Type: Book Extent: 1 online resource (xvii, 465 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1140. Enterprise information systems : 18th International Conference, ICEIS 2016, Rome, Italy, April 25?28, 2016, Revised selected papers /: 18th International Conference, ICEIS 2016, Rome, Italy, April 25?28, 2016, Revised selected papers. (2017) Editors: Hammoudi, Slimane; Maciaszek, Leszek; Missikoff, M; Camp, Olivier; Cordeiro, José Other Names: International Conference on Enterprise Information Systems, 18th Record Type: Book Extent: 1 online resource (xvii, 552 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗