51. 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) ↗
52. Security of networks and services in an all-connected world : 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2017, Zurich, Switzerland, July 10-13, 2017, Proceedings /: 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2017, Zurich, Switzerland, July 10-13, 2017, Proceedings. (2017) Editors: Tuncer, Daphne; Koch, Róbert; Badonnel, Rémi; Stiller, Burkhard, 1965- Other Names: IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management and Security, 11th Record Type: Book Extent: 1 online resource (xx, 192 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
53. Services -- SERVICES 2018 : 14th World Congress, held as part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings /: 14th World Congress, held as part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings. (2018) Editors: Yang, Alvin; Kantamneni, Siva; Li, Ying; Dico, Awel; Chen, Xiangang; Subramanyan, Rajesh; Zhang, Liang-Jie Other Names: World Congress on Services, 14th; Services Conference Federation Record Type: Book Extent: 1 online resource (x, 181 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
54. Software engineering and formal methods : 16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings /: 16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings. (2018) Editors: Johnsen, Einar Broch; Schaefer, Ina Other Names: International Conference on Software Engineering and Formal Methods, 16th; STAF (Federation of conferences) Record Type: Book Extent: 1 online resource (xiv, 303 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
55. Software technologies : 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24-26, 2017, Revised selected papers /: 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24-26, 2017, Revised selected papers. (2018) Editors: Cabello, Enrique; Cardoso, Jorge; Maciaszek, Leszek A; van Sinderen, Marten Other Names: ICSOFT (Conference), 12th Record Type: Book Extent: 1 online resource (xiv, 309 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
56. Sustainability, green IT and education strategies in the twenty-first century. (2017) Editors: Issa, Tomayess; Isaias, Pedro; Issa, Theodora, 1958- Record Type: Book Extent: 1 online resource (xviii, 603 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
57. Sustainable transportation : indicators, frameworks, and performance management /: indicators, frameworks, and performance management. ([2016]) Authors: Gudmundsson, Henrik; Hall, Ralph P; Marsden, Greg; Zietsman, Josias Record Type: Book Extent: 1 online resource (xiii, 304 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
58. Systems, software and services process improvement : 25th European Conference, EuroSPI 2018, Bilbao, Spain, September 5-7, 2018, Proceedings /: 25th European Conference, EuroSPI 2018, Bilbao, Spain, September 5-7, 2018, Proceedings. (2018) Editors: Larrucea, Xabier; Santamaria, Izaskun; O'Connor, Rory V; Messnarz, Richard Other Names: EuroSPI (Conference), 25th Record Type: Book Extent: 1 online resource (xx, 668 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
59. 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) ↗
60. The Accidental SysAdmin Handbook : A Primer for Entry Level IT Professionals /: A Primer for Entry Level IT Professionals. (2016) Authors: Kralicek, Eric Other Names: École nationale supérieure des beaux-arts (France) Record Type: Book Extent: 1 online resource (264 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗