261. Learn Swift by Building Applications : Explore Swift programming through iOS app development /: Explore Swift programming through iOS app development. (2018) Authors: Atanasov, Emil; Atanasov, Emil Record Type: Book Extent: 1 online resource (366 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
262. Learn Swift on the Mac : for OS X and iOS /: for OS X and iOS. ([2015]) Authors: Malik, Waqar Record Type: Book Extent: 1 online resource, color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
263. Learn to program with C. (2015) Authors: Kalicharan, Noel Record Type: Book Extent: 1 online resource (xxii, 312 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
264. Learn to program with Python 3 : a step-by-step guide to programming /: a step-by-step guide to programming. (2018) Authors: Kalb, Irv Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
265. Learn Type-Driven Development : Benefit from type systems to build reliable and safe applications using ReasonML 3 /: Benefit from type systems to build reliable and safe applications using ReasonML 3. (2018) Authors: Amin, Yawar; Ayeva, Kamon Record Type: Book Extent: 1 online resource (180 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
266. Learn Unity for Android game development : a guide to game design, development, and marketing /: a guide to game design, development, and marketing. (2017) Authors: Sinicki, Adam Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
267. Learning Scala Programming : Object-oriented programming meets functional reactive to create Scalable and Concurrent programs /: Object-oriented programming meets functional reactive to create Scalable and Concurrent programs. (2018) Authors: Sharma, Vikash Record Type: Book Extent: 1 online resource (426 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
268. Leveraging applications of formal methods, verification and validation. 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings /: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings. discussion, dissemination, applications : Part II, (2016) Editors: Margaria-Steffen, Tiziana, 1964-; Steffen, Bernhard Other Names: ISoLA (Symposium), 7th Record Type: Book Extent: 1 online resource (xxiv, 866 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
269. Leveraging applications of formal methods, verification and validation. 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings /: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings. Foundational techniques : Part I, (2016) Editors: Margaria-Steffen, Tiziana, 1964-; Steffen, Bernhard Other Names: ISoLA (Symposium), 7th Record Type: Book Extent: 1 online resource (xxiii, 974 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
270. Leveraging applications of formal methods, verification and validation. 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings /: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings. Verification : Part II, (2018) Editors: Margaria-Steffen, Tiziana, 1964-; Steffen, Bernhard Other Names: ISoLA (Symposium), 8th Record Type: Book Extent: 1 online resource (xv, 588 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗