1. .NET development using the compiler API. (2016) Authors: Bock, Jason Record Type: Book Extent: 1 online resource (xvi, 158 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. A list of successes that can change the world : essays dedicated to Philip Wadler on the occasion of his 60th birthday /: essays dedicated to Philip Wadler on the occasion of his 60th birthday. (2016) Editors: Lindley, Sam; McBride, Conor; Trinder, Phil; Sannella, D (Donald), 1956- Other Names: Wadler, Philip 1956- honouree. Record Type: Book Extent: 1 online resource (479 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Abstract state machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings /: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. (2016) Editors: Butler, Michael; Schewe, Klaus-Dieter; Mashkoor, Atif; Biro, Mikloš Other Names: ABZ (Conference), 5th Record Type: Book Extent: 1 online resource (xxi, 426 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Advances in data mining : applications and theoretical aspects : 16h Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016, Proceedings /: applications and theoretical aspects : 16h Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016, Proceedings. (2016) Editors: Perner, Petra Other Names: Industrial Conference on Data Mining, 16th Record Type: Book Extent: 1 online resource (x, 279 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Agile Swift : Swift programming using Agile tools and techniques /: Swift programming using Agile tools and techniques. (2016) Authors: Nolan, Godfrey Record Type: Book Extent: 1 online resource (173 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. An introduction to statistics with Python : with applications in the life sciences /: with applications in the life sciences. (2016) Authors: Haslwanter, Thomas Record Type: Book Extent: 1 online resource (xvii, 278 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Applied OpenStack Design Patterns : Design solutions for production-ready infrastructure with OpenStack components /: Design solutions for production-ready infrastructure with OpenStack components. (2016) Authors: Vyas, Uchit Other Names: École nationale supérieure des beaux-arts (France) Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Automated reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27-July 2, 2016, Proceedings /: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27-July 2, 2016, Proceedings. (2016) Editors: Olivetti, Nicola; Tiwari, Ashish, 1973- Other Names: IJCAR (Conference), 8th Record Type: Book Extent: 1 online resource (xx, 580 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Automated technology for verification and analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings /: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings. (2016) Editors: Artho, Cyrille; Legay, Axel; Peled, Doron A, 1962- Other Names: ATVA (Symposium), 14th Record Type: Book Extent: 1 online resource (xi, 530 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Beginning Backdrop CMS. (2016) Authors: Tomlinson, Todd Record Type: Book Extent: 1 online resource (xxv, 259 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗