61. Test driven development in Ruby : a practical introduction to TDD using problem and solution domain analysis /: a practical introduction to TDD using problem and solution domain analysis. (2017) Authors: Paranj, Bala Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
62. Testing software and systems : 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings /: 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings. (2017) Editors: Yevtushenko, Nina; Cavalli, Ana; Yenigun, Husnu Other Names: ICTSS (Conference), 29th Record Type: Book Extent: 1 online resource (xiii, 341 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
63. The Blender Python API : precision 3D modeling and add-on development /: precision 3D modeling and add-on development. (2017) Authors: Conlan, Chris Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
64. Tools and algorithms for the construction and analysis of systems. 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings /: 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. Part I : (2017) Editors: Legay, Axel; Margaria-Steffen, Tiziana, 1964- Other Names: TACAS (Conference), 23rd; ETAPS (Conference), 20th, jointly held conference Record Type: Book Extent: 1 online resource (xxiv, 609 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
65. Topics in theoretical computer science : second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings /: second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings. (2017) Editors: Mousavi, Mohammad Reza, 1978-; Sgall, Jiří, 1965- Other Names: IFIP WG 1.8 International Conference, 2nd Record Type: Book Extent: 1 online resource (xvii, 125 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
66. 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) ↗
67. 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) ↗
68. 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) ↗