121. 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) ↗
122. 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) ↗
123. Hybrid artificial intelligent systems : 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedings /: 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedings. (2017) Editors: Martínez de Pisón, Francisco Javier; Urraca, Rubén; Quintián, Héctor; Corchado, Emilio Other Names: HAIS (Conference), 12th Record Type: Book Extent: 1 online resource (xviii, 725 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
124. Coordination models and Languages : 19th IFIP WG 6.1 International Conference, COORDINATION 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings /: 19th IFIP WG 6.1 International Conference, COORDINATION 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings. (2017) Editors: Jacquet, J.-M (Jean-Marie); Massink, Mieke Other Names: COORDINATION (Conference), 19th; International Federated Conferences on Distributed Computing Techniques, 12th, jointly held conference Record Type: Book Extent: 1 online resource (xii, 279 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
125. Mastering scale and complexity in software reuse : 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings /: 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings. (2017) Editors: Botterweck, Goetz; Werner, Claudia Other Names: International Conference on Software Reuse, 16th Record Type: Book Extent: 1 online resource (xv, 225 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
126. 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) ↗
127. Runtime verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings /: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings. (2017) Editors: Lahiri, Shuvendu; Reger, Giles Other Names: RV (Conference), 17th Record Type: Book Extent: 1 online resource (xix, 432 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
128. Graphical models for security : 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised selected papers /: 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised selected papers. (2018) Editors: Liu, Peng; Mauw, S; Stølen, Ketil Other Names: GraMSec (Workshop), 4th Record Type: Book Extent: 1 online resource (xi, 147 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
129. Formal methods and software engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings /: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings. (2017) Editors: Duan, Zhenhua; Ong, Luke Other Names: International Conference on Formal Engineering Methods, 19th Record Type: Book Extent: 1 online resource (xvii, 498 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
130. Perspectives of systems informatics : 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers /: 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers. (2018) Editors: Petrenko, Alexander K; Voronkov, Andrei Other Names: International Andrei Ershov Memorial Conference, 11th Record Type: Book Extent: 1 online resource (XI, 432 pages), 80 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗