41. 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) ↗
42. Transactions on petri nets and other models of concurrency XIII. (2018) Editors: Koutny, Maciej, 1958-; Kristensen, Lars M (Lars Michael); Penczek, Wojciech Record Type: Book Extent: 1 online resource (xvii, 211 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
43. 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) ↗
44. 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) ↗
45. Windows to go : a guide for users and IT professionals /: a guide for users and IT professionals. ([2016]) Authors: Ballew, Joli Record Type: Book Extent: 1 online resource, color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
46. Windows virus and malware troubleshooting. ([2017]) Authors: Bettany, Andrew; Halsey, Mike Record Type: Book Extent: 1 online resource (xvii, 95 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗