691. Engineering trustworthy software systems : second International School, SETSS 2016, Chongqing, China, March 28-April 2, 2016, Tutorial lectures /: second International School, SETSS 2016, Chongqing, China, March 28-April 2, 2016, Tutorial lectures. (2017) Editors: Bowen, J. P (Jonathan Peter), 1956-; Liu, Zhiming, 1961-; (Senior lecturer), Zhang, Zili Other Names: SETSS (International school), 2nd Record Type: Book Extent: 1 online resource (xv, 259 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
692. Multi-agent systems and agreement technologies : 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers /: 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers. (2017) Editors: Criado Pacheco, Natalia; Carrascosa, Carlos; Osman, Nardine; Inglada, Vicente Julián Other Names: EUMAS (Workshop), 14th; AT (Conference), 4th, jointly held conference Record Type: Book Extent: 1 online resource (xiv, 582 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
693. Information and communication technologies for development : 14th IFIP WG 9.4 International Conference on Social Implications of Computers in Developing Countries, ICT4D 2017, Yogyakarta, Indonesia, May 22-24, 2017, Proceedings /: 14th IFIP WG 9.4 International Conference on Social Implications of Computers in Developing Countries, ICT4D 2017, Yogyakarta, Indonesia, May 22-24, 2017, Proceedings. (2017) Editors: Choudrie, Jyoti; Islam, M. Sirajul; Wahid, Fathul; Bass, Julian M; Priyatma, Johanes Eka Other Names: International Conference on Social Implications of Computers in Developing Countries, 14th Record Type: Book Extent: 1 online resource (xvii, 850 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
694. Software engineering research, management and applications. ([2018]) Editors: Lee, Roger Other Names: SERA (Conference), 15th Record Type: Book Extent: 1 online resource (xiii, 215 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
695. Logic-based program synthesis and transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised selected papers /: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised selected papers. (2017) Editors: Hermenegildo, Manuel; Lopez-Garcia, Pedro Other Names: LOPSTR (Symposium), 26th Record Type: Book Extent: 1 online resource (xvi, 361 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
696. Post-quantum cryptography : 8th International Workshop, PQCrypto 2017, Utrecht, the Netherlands, June 26-28, 2017, Proceedings /: 8th International Workshop, PQCrypto 2017, Utrecht, the Netherlands, June 26-28, 2017, Proceedings. (2017) Editors: Lange, Tanja, 1975-; (Mathematician), Takagi, Tsuyoshi Other Names: PQCrypto (Conference), 8th Record Type: Book Extent: 1 online resource (xii, 427 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
697. Web engineering : 17th International Conference, ICWE 2017, Rome, Italy, June 5-8, 2017, Proceedings /: 17th International Conference, ICWE 2017, Rome, Italy, June 5-8, 2017, Proceedings. (2017) Editors: Cabot, Jordi; De Virgilio, Roberto; Torlone, Riccardo Other Names: ICWE (Conference), 17th Record Type: Book Extent: 1 online resource (xv, 619 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
698. Logic programming and nonmonotonic reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings /: 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings. (2017) Editors: Balduccini, Marcello; Janhunen, Tomi Other Names: LPNMR (Conference), 14th Record Type: Book Extent: 1 online resource (xiii, 359 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
699. Smart Cities : Second International Conference, SmartCT 2017, Málaga, Spain, June 1416, 2017, proceedings /: Second International Conference, SmartCT 2017, Málaga, Spain, June 1416, 2017, proceedings. ([2017]) Editors: Luque, Gabriel; Chicano, Francisco; Alba, Enrique Other Names: SmartCT (Conference), 2nd Record Type: Book Extent: 1 online resource (x, 165 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
700. Design, user experience, and usability : 6th International Conference, DUXU 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, proceedings /: 6th International Conference, DUXU 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, proceedings. (2017) Editors: Marcus, Aaron, 1943-; (Design manager), Wang, Wentao Other Names: DUXU (Conference), 6th; International Conference on Human-Computer Interaction, 19th Record Type: Book Extent: 1 online resource (810 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗