91. Service-oriented computing : 15th International Conference, ICSOC 2017, Malaga, Spain, November 13-16, 2017, Proceedings /: 15th International Conference, ICSOC 2017, Malaga, Spain, November 13-16, 2017, Proceedings. (2017) Editors: Maximilien, Michael; Vallecillo, Antonio; Wang, Jianmin; Oriol, Marc Other Names: ICSOC (Conference), 15th Record Type: Book Extent: 1 online resource (XXVI, 743 pages 235 illustrations), online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
92. DataFlow supercomputing essentials : algorithms, applications and implementations /: algorithms, applications and implementations. ([2017]) Authors: Milutinović, Veljko; Kotlar, Milos; Stojanović, Marko; Dundic, Igor; Trifunović, Nemanja; Babovic, Zoran Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
93. Formal methods : foundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29-December 1, 2017, Proceedings /: foundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29-December 1, 2017, Proceedings. (2017) Editors: Cavalheiro, Simone; Fiadeiro, José Luiz, 1961- Other Names: Brazilian Symposium on Formal Methods, 20th Record Type: Book Extent: 1 online resource (x, 305 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
94. Programming languages and systems : 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings /: 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings. (2017) Editors: Chang, Bor-Yuh Evan Other Names: APLAS (Symposium), 15th Record Type: Book Extent: 1 online resource (xix, 555 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
95. Software engineering for resilient systems : 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings /: 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings. (2017) Editors: Romanovsky, Alexander, 1954-; Troubitsyna, Elena (Elena A.), 1970- Other Names: SERENE (Workshop), 9th Record Type: Book Extent: 1 online resource (xiv, 201 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
96. Economics of grids, clouds, systems, and services : 14th International Conference, GECON 2017, Biarritz, France, September 19-21, 2017, Proceedings /: 14th International Conference, GECON 2017, Biarritz, France, September 19-21, 2017, Proceedings. (2017) Editors: Pham, Congduc; (Computer scientist), Altmann, Jörn; Bañares, José Ángel Other Names: GECON (Conference), 14th Record Type: Book Extent: 1 online resource (xi, 302 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
97. Functional and logic programming : 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings /: 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings. (2018) Editors: Gallagher, John P; Sulzmann, Martin Other Names: Fuji International Symposium on Functional and Logic Programming, 14th Record Type: Book Extent: 1 online resource (XVI, 281 pages), 74 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
98. Foundations of software science and computation structures : 21st International Conference, FOSSACS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings /: 21st International Conference, FOSSACS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings. (2018) Editors: Baier, Christel; (Computer scientist), Dal Lago, Ugo Other Names: FOSSACS (Conference), 21st; ETAPS (Conference), 21st Record Type: Book Extent: 1 online resource (xv, 583 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
99. Principles of security and trust : 7th International Conference, POST 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings /: 7th International Conference, POST 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. (2018) Editors: Bauer, Lujo; Küsters, Ralf Other Names: POST (Conference), 7th; ETAPS (Conference), 21st Record Type: Book Extent: 1 online resource (xiv, 347 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
100. Advances in databases and information systems : 22nd European Conference, ADBIS 2018, Budapest, Hungary, September 2-5, 2018, Proceedings /: 22nd European Conference, ADBIS 2018, Budapest, Hungary, September 2-5, 2018, Proceedings. (2018) Editors: Benczúr, A (Andras); Thalheim, Bernhard; Horváth, Tomáš Other Names: ADBIS (Conference), 22nd Record Type: Book Extent: 1 online resource (XXII, 291 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗