81. 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) ↗
82. Quality, reliability, security and robustness in heterogeneous networks : 12th International Conference, QShine 2016, Seoul, Korea, July 7-8, 2016, Proceedings /: 12th International Conference, QShine 2016, Seoul, Korea, July 7-8, 2016, Proceedings. (2017) Editors: Lee, Jong-Hyouk; Pack, Sangheon Other Names: International Conference on Quality of Service in Heterogeneous Wired/Wireless Networks, 12th Record Type: Book Extent: 1 online resource (xv, 498 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
83. 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) ↗
84. Performance evaluation and benchmarking for the analytics era : 9th TPC Technology Conference, TPCTC 2017, Munich, Germany, August 28, 2017, Revised selected papers /: 9th TPC Technology Conference, TPCTC 2017, Munich, Germany, August 28, 2017, Revised selected papers. ([2018]) Editors: Nambiar, Raghunath; Poess, Meikel Other Names: TPC Technology Conference, 9th Record Type: Book Extent: 1 online resource (XII, 185 pages), 79 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
85. 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) ↗
86. Computer Performance Engineering : 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings /: 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings. (2017) Editors: Reinecke, Philipp; Di Marco, Antinisca Other Names: EPEW (Workshop), 14th Record Type: Book Extent: 1 online resource (XVI, 299 pages), 103 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
87. Interactive theorem proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings /: 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings. (2017) Editors: Ayala-Rincón, M (Mauricio); Muñoz, César A, 1968- Other Names: ITP (Conference), 8th Record Type: Book Extent: 1 online resource (xix, 532 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
88. DataFlow supercomputing essentials : research, development and education /: research, development and education. (2017) Other Names: Milutinović, Veljko Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
89. 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) ↗
90. Service-oriented computing -- ICSOC 2016 workshops : ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016, Revised selected papers /: ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016, Revised selected papers. (2017) Editors: Drira, Khalil; Wang, Hongbing; Yu, Qi; Wang, Yan; Yan, Yuhong; Charoy, F; Mendling, Jan; Mohamed, Mohamed; Wang, Zhongjie; Bhiri, Sami Other Names: ICSOC (Conference), 14th; ASOCA (Workshop), 1st; ISyCC (Workshop), 1st; BSCI (Workshop), 2nd Record Type: Book Extent: 1 online resource (xiii, 222 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗