21. Tools and algorithms for the construction and analysis of systems : 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings.: 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. Part I (2018) Editors: Beyer, Dirk, 1972-; Huisman, Marieke Other Names: TACAS (Conference), 24th; ETAPS (Conference), 21st Record Type: Book Extent: 1 online resource (xx, 429 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
22. Tools for high performance computing 2014 : proceedings of the 8th International Workshop on Parallel Tools for High Performance Computing, October 2014, HLRS, Stuttgart, Germany /: proceedings of the 8th International Workshop on Parallel Tools for High Performance Computing, October 2014, HLRS, Stuttgart, Germany. ([2015]) Editors: Niethammer, Christoph Other Names: International Workshop on Parallel Tools for High Performance Computing, 8th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
23. Fault-tolerance techniques for high-performance computing. (2015) Other Names: Herault, Thomas; Robert, Yves, 1938- Record Type: Book Extent: 1 online resource (ix, 320 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
24. Distributed applications and interoperable systems : 16th IFIP WG 6.1 International Conference, DAIS 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings /: 16th IFIP WG 6.1 International Conference, DAIS 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. (2016) Editors: Jelasity, Márk; Kalyvianaki, Evangelia Other Names: DAIS (Conference), 16th; International Federated Conferences on Distributed Computing Techniques, 11th Record Type: Book Extent: 1 online resource (xvi, 211 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
25. Business intelligence : 6th European Summer School, eBISS 2016, Tours, France, July 3-8, 2016, Tutorial lectures /: 6th European Summer School, eBISS 2016, Tours, France, July 3-8, 2016, Tutorial lectures. (2017) Editors: Marcel, Patrick; Zimányi, Esteban Other Names: European Business Intelligence Summer School, 6th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
26. Analytical and stochastic modeling techniques and applications : 23rd International Conference, ASMTA 2016, Cardiff, Wales, August 24-26, 2016. Proceedings /: 23rd International Conference, ASMTA 2016, Cardiff, Wales, August 24-26, 2016. Proceedings. (2016) Editors: Wittevrongel, Sabine; Phung-Duc, Tuan Other Names: ASMTA (Conference), 23rd Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
27. Testbeds and research infrastructures for the development of networks and communities : 11th International Conference, TRIDENTCOM 2016, Hangzhou, China, June 14-15, 2016, Revised selected papers /: 11th International Conference, TRIDENTCOM 2016, Hangzhou, China, June 14-15, 2016, Revised selected papers. ([2017]) Editors: (Computer scientist), Guo, Song; Wei, Guiyi; (Computer scientist), Xiang, Yang; (Computer scientist), Lin, Xiaodong; Lorenz, Pascal, 1965- Other Names: TridentCom, 11th Record Type: Book Extent: 1 online resource (x, 179 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
28. New opportunities for software reuse : 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings /: 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings. (2018) Editors: Capilla, Rafael; Gallina, Barbara; Cetina, Carlos Other Names: International Conference on Software Reuse, 17th Record Type: Book Extent: 1 online resource (xviii, 181 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
29. Wireless internet : 10th International Conference, WiCON 2017, Tianjin, China, December 16-17, 2017, Proceedings /: 10th International Conference, WiCON 2017, Tianjin, China, December 16-17, 2017, Proceedings. (2018) Editors: Li, Cheng; Mao, Shiwen Other Names: International Conference on Wireless Internet, 10th Record Type: Book Extent: 1 online resource (xvi, 484 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
30. Service-oriented computing -- ICSOC 2017 Workshops : ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13-16, 2017, revised selected papers /: ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13-16, 2017, revised selected papers. (2018) Editors: Braubach, Lars; Murillo, Juan M; Kaviani, Nima; Lama, Manuel; Burgueño, Loli; Moha, Naouel; Oriol, Marc Other Names: ICSOC (Conference), 15th; ASOCA (Workshop), 2nd; ISyCC (Workshop), 2nd; WESOACS (Workshop), 13th Record Type: Book Extent: 1 online resource (xiv, 410 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗