201. Transactions on aspect-oriented software development XII. (2015) Editors: Chiba, Shigeru, 1968-; Tanter, Éric; Ernst, Erik; Prof. Dr, Hirschfeld, Robert Record Type: Book Extent: 1 online resource (ix, 221 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
202. Transactions on foundations for mastering change. I (2016) Editors: Steffen, Bernhard Record Type: Book Extent: 1 online resource (xii, 257 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
203. Transactions on high-performance embedded architectures and compilers V. (2019) Editors: Stenström, Per; Silvano, Cristina; Bertels, Koen; Schulte, Michael Record Type: Book Extent: 1 online resource (ix, 141 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
204. Typed PHP : stronger types for cleaner code /: stronger types for cleaner code. (2016) Authors: Pitt, Christopher Record Type: Book Extent: 1 online resource (xviii, 76 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
205. Unifying theories of programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised selected papers /: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised selected papers. (2017) Editors: Bowen, J. P (Jonathan Peter), 1956-; Zhu, Huibiao Other Names: UTP (Symposium), 6th Record Type: Book Extent: 1 online resource (ix, 217 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
206. 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) ↗
207. Verification, model checking, and abstract interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings /: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings. (2016) Editors: Jobstmann, Barbara; Leino, K. Rustan M Other Names: VMCAI (Conference), 17th Record Type: Book Extent: 1 online resource (xiii, 558 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
208. Verified software : theories, tools, and experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised selected papers /: theories, tools, and experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised selected papers. (2018) Editors: Piskac, Ruzica; Rümmer, Philipp Other Names: VSTTE (Conference), 10th Record Type: Book Extent: 1 online resource (xvi, 345 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
209. Verified software : theories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised selected papers /: theories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised selected papers. (2017) Editors: Paskevich, Andrei; Wies, Thomas Other Names: VSTTE (Conference), 9th Record Type: Book Extent: 1 online resource (xiii, 211 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
210. Visual Studio code distilled : evolved code editing for Windows, macOS, and Linux /: evolved code editing for Windows, macOS, and Linux. ([2019]) Authors: Del Sole, Alessandro Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗