101. Transactions on large-scale data- and knowledge-centered systems XXXIV : special issue on consistency and inconsistency in data-centric applications /: special issue on consistency and inconsistency in data-centric applications. (2017) Editors: Hameurlain, Abdelkader; Küng, Josef, 1962-; Wagner, Roland; Decker, Hendrik Record Type: Book Extent: 1 online resource (ix, 185 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
102. Transactions on large-scale data- and knowledge-centered systems XXXVII. (2018) Editors: Hameurlain, Abdelkader; Wagner, Roland R Record Type: Book Extent: 1 online resource (VII, 193 pages), 61 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
103. Transactions on modularity and composition. I (2016) Editors: Chiba, Shigeru, 1968-; Südholt, Mario; Eugster, Patrick; Ziarek, Lukasz; Leavens, Gary T Record Type: Book Extent: 1 online resource (ix, 269 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
104. Trends in functional programming : 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, revised selected papers /: 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, revised selected papers. (2018) Editors: Wang, Meng; Owens, Scott Other Names: International Symposium on Trends in Functional Programming, 18th Record Type: Book Extent: 1 online resource (VII, 149 pages), 48 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
105. Troubleshooting Windows Server with PowerShell. (2016) Authors: Schauland, Derek; Jacobs, Donald Record Type: Book Extent: 1 online resource (xx, 119 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
106. Trusted systems : sixth International Conference, INTRUST 2014, Beijing, China, December 16-17, 2014, Revised selected papers /: sixth International Conference, INTRUST 2014, Beijing, China, December 16-17, 2014, Revised selected papers. (2015) Editors: Yung, Moti; Zhu, Liehuang; Yang, Yanjiang Other Names: INTRUST (Conference), 6th Record Type: Book Extent: 1 online resource (xiii, 442 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
107. Verification and evaluation of computer and communication systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings /: 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings. (2017) Editors: Barkaoui, Kamel; Boucheneb, Hanifa; Mili, Ali; Tahar, Sofiène, 1966- Other Names: VECoS (Conference), 11th Record Type: Book Extent: 1 online resource (xvi, 205 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
108. Windows 10 troubleshooting. (2016) Authors: Halsey, Mike Record Type: Book Extent: 1 online resource (493 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
109. Windows file system troubleshooting. (2015) Authors: Halsey, Mike; Bettany, Andrew Record Type: Book Extent: 1 online resource (xix, 151 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
110. Windows installation and update troubleshooting. (2016) Other Names: Rhodes, Chris; Bettany, Andrew Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗