351. Graphical models for security : second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised selected papers /: second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised selected papers. (2016) Editors: Mauw, S; Kordy, Barbara; Jajodia, Sushil Other Names: International Workshop on Graphical Models for Security, 2nd Record Type: Book Extent: 1 online resource (ix, 103 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
352. Graph transformations : 9th International Conference, ICGT 2016 in memory of Hartmut Ehrig, held as part of STAF 2016, Vienna, Austria, July 5-6, 2016 /: 9th International Conference, ICGT 2016 in memory of Hartmut Ehrig, held as part of STAF 2016, Vienna, Austria, July 5-6, 2016. (2016) Editors: Echahed, Rachid; Minas, Mark Other Names: Ehrig, Hartmut honouree.; ICGT (Conference), 9th; STAF (Federation of conferences) Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
353. Human centered computing : second International Conference, HCC 2016, Colombo, Sri Lanka, January 7-9, 2016, Revised selected papers /: second International Conference, HCC 2016, Colombo, Sri Lanka, January 7-9, 2016, Revised selected papers. ([2016]) Editors: Zu, Qiaohong; Hu, Bo Other Names: HCC (Conference : Human Centered Computing), 2nd Record Type: Book Extent: 1 online resource (xix, 913 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
354. Programming languages and systems : 13th Asian symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, proceedings /: 13th Asian symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, proceedings. (2015) Editors: Feng, Xinyu; Park, Sungwoo Other Names: APLAS (Symposium), 13th Record Type: Book Extent: 1 online resource (xix, 506 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
355. Intelligent web data management : software architectures and emerging technologies /: software architectures and emerging technologies. (2016) Authors: Ma, Kun; Abraham, Ajith, 1968-; Yang, Bo, 1973-; Sun, Runyuan Record Type: Book Extent: 1 online resource (xiv, 162 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
356. Engineering trustworthy software systems : first International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures /: first International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures. (2016) Editors: Liu, Zhiming; Zhang, Zili Other Names: International School on Engineering Trustworthy Software Systems, 1st Record Type: Book Extent: 1 online resource (xi, 325 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
357. Multi-agent systems and agreement technologies : 13th European Conference, EUMAS 2015, and third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised selected papers /: 13th European Conference, EUMAS 2015, and third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised selected papers. (2016) Editors: Rovatsos, Michael; Vouros, George A; Julian, Vicente Other Names: EUMAS (Workshop), 13th; AT (Conference), 3rd Record Type: Book Extent: 1 online resource (xx, 474 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
358. Algorithmic aspects of cloud computing : first International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised selected papers /: first International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised selected papers. (2016) Editors: Karydis, Ioannis; Sioutas, Spyros; Triantafillou, Peter, 1963-; Tsoumakos, Dimitrios Other Names: ALGOCLOUD (Workshop), 1st Record Type: Book Extent: 1 online resource (xiv, 193 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
359. Web Services, Formal Methods, and Behavioral Types : 11th International Workshop, WS-FM 2014, Eindhoven, the Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers /: 11th International Workshop, WS-FM 2014, Eindhoven, the Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers. (2016) Editors: Hildebrandt, Thomas; Ravara, António; Werf, Jan Martijn van der; Weidlich, Matthias Other Names: WS-FM (Workshop), 11th; International Symposium on Web Services, Formal Methods and Behavioural Types Record Type: Book Extent: 1 online resource (xvii, 167 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
360. Transactions on computational collective intelligence XX. ([2015]) Editors: (Computer scientist), Nguyen, Ngoc Thanh Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗