151. Conceptual modeling : 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017, proceedings /: 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017, proceedings. (2017) Editors: Mayr, H. C (Heinrich Christian); Guizzardi, Giancarlo; (Computer programmer), Ma, Hui; Pastor, Óscar, 1962- Other Names: International Conference on Conceptual Modeling, 36th Record Type: Book Extent: 1 online resource (xxii, 536 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
152. Computer aided cerification. 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings /: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings. Part II : (2017) Editors: Majumdar, Rupak; Kuncak, Viktor Other Names: CAV (Conference), 29th Record Type: Book Extent: 1 online resource (xvii, 623 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
153. Source code analytics with Roslyn and JavaScript data visualization. ([2016]) Authors: Mukherjee, Sudipta Other Names: Blasband, Darius author of foreword. Record Type: Book Extent: 1 online resource (XXI, 170 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
154. 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) ↗
155. Introducing Materialize. (2016) Authors: Prabhu, Anirudh; Shenoy, Aravind Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
156. ES6 for humans : the latest standard of JavaScript: ES2015 and beyond /: the latest standard of JavaScript: ES2015 and beyond. ([2017]) Authors: Grover, Deepak; Prateek Kunduru, Hanu Record Type: Book Extent: 1 online resource (xvii, 137 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
157. 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) ↗
158. C++/CLI primer : for .NET development /: for .NET development. ([2016]) Authors: Ragunathan, Vivek Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
159. Practical Contiki-NG : Programming for Wireless Sensor Networks /: Programming for Wireless Sensor Networks. ([2018]) Authors: Kurniawan, Agus Record Type: Book Extent: 1 online resource (xvi, 293 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
160. Advanced R : data programming and the cloud /: data programming and the cloud. ([2016]) Authors: Wiley, Matt; Wiley, Joshua F Record Type: Book Extent: 1 online resource (xix, 279 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗