11. 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) ↗
12. Automated reasoning : 9th International Joint Conference, IJCAR 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, proceedings /: 9th International Joint Conference, IJCAR 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, proceedings. (2018) Editors: Galmiche, Didier, 1958-; Schulz, Stephan; Sebastiani, R (Roberto) Other Names: IJCAR (Conference), 9th; Federated Logic Conference Record Type: Book Extent: 1 online resource (xvi, 724 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
13. Automated technology for verification and analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings /: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings. (2015) Editors: Finkbeiner, Bernd; Pu, G (Geguang); Zhang, Lijun, 1979- Other Names: ATVA (Symposium), 13th Record Type: Book Extent: 1 online resource (xiii, 520 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
14. 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) ↗
15. Automated trading with R : quantitative research and platform development /: quantitative research and platform development. ([2016]) Other Names: Conlan, Chris Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
16. 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) ↗
17. Beginning C++17 : from novice to professional /: from novice to professional. (2018) Authors: Horton, Ivor; Weert, Peter van Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
18. Beginning data science in R : data analysis, visualization, and modelling for the data scientist /: data analysis, visualization, and modelling for the data scientist. ([2017]) Authors: Mailund, Thomas Record Type: Book Extent: 1 online resource (xxvii, 352 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
19. Beginning Django CMS. (2015) Authors: George, Nigel Record Type: Book Extent: 1 online resource (xxii, 175 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
20. Beginning EJB in Java EE 8 : building applications with Enterprise JavaBeans /: building applications with Enterprise JavaBeans. ([2018]) Authors: Wetherbee, Jonathan; Nardone, Massimo; Rathod, Chirag; Kodali, Raghu R Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗