321. On the move to meaningful internet systems : OTM 2017 Workshops : Confederated International Workshops, EI2N, FBM, ICSP, Meta4eS, OTMA 2017 and ODBASE Posters 2017, Rhodes, Greece, October 23-28, 2017, Revised Selected Papers /: OTM 2017 Workshops : Confederated International Workshops, EI2N, FBM, ICSP, Meta4eS, OTMA 2017 and ODBASE Posters 2017, Rhodes, Greece, October 23-28, 2017, Revised Selected Papers. (2018) Editors: Debruyne, Christophe; Panetto, Herve; Weichhart, Georg; Bollen, Peter; Ciuciu, Ioana, 1982-; Vidal, María Esther; Meersman, R Other Names: OTM Confederated International Workshops, 16th Record Type: Book Extent: 1 online resource (xxviii, 308 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
322. 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) ↗
323. Model and data engineering : 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017, Proceedings /: 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017, Proceedings. (2017) Editors: Ouhammou, Yassine; Ivanović, Mirjana; (Computer scientist), Abelló, Alberto; Bellatreche, Ladjel, 1968- Other Names: MEDI (Conference), 7th Record Type: Book Extent: 1 online resource (xiv, 396 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
324. Software technologies : applications and foundations : STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised selected papers /: applications and foundations : STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised selected papers. ([2018]) Editors: Seidl, Martina; Zschaler, Steffen Other Names: STAF (Federation of conferences); GCM (Workshop), 8th; GRAND (Workshop), 1st; MORSE (Workshop), 4th; OCL (Workshop), 17th Record Type: Book Extent: 1 online resource (XXIV, 418 pages), 133 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
325. Software architecture : 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings /: 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings. (2017) Editors: Lopes, Antónia; Lemos, Rogério de, 1961- Other Names: ECSA (Conference), 11th Record Type: Book Extent: 1 online resource (xii, 217 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
326. 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) ↗
327. Advanced parallel processing technologies : 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings /: 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings. (2017) Editors: Dou, Yong; Lin, Hai-Xiang; Sun, Guangyu; (College teacher), Wu, Junjie; Heras, Dora; Bougé, L (Luc) Other Names: APPT (Symposium), 12th Record Type: Book Extent: 1 online resource (ix, 129 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
328. Automatic tuning of compilers using machine learning. (2018) Authors: Ashouri, Amir H; Palermo, Gianluca; Cavazos, John; Silvano, Cristina Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
329. Computer Safety, Reliability, and Security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings /: 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings. (2017) Editors: Tonetta, Stefano; Schoitsch, Erwin; Bitsch, Friedemann Record Type: Book Extent: 1 online resource (344 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
330. Formal aspects of component software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings /: 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings. (2017) Editors: (Post doc researcher), Proença, José; Lumpe, Markus Other Names: FACS (Symposium), 14th Record Type: Book Extent: 1 online resource (x, 251 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗