121. 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) ↗
122. Inductive logic programming : 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised selected papers /: 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised selected papers. (2017) Editors: Cussens, James; Russo, Alessandra Other Names: ILP (Conference), 26th Record Type: Book Extent: 1 online resource (xvii, 133 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
123. Accelerator programming using directives : 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings /: 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings. ([2018]) Editors: Chandrasekaran, Sunita; Juckeland, Guido Other Names: WACCPD (Workshop), 4th; International Conference for High-Performance Computing, Networking, Storage and Analysis Record Type: Book Extent: 1 online resource (IX, 183 pages), 59 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
124. Application and Theory of Petri Nets and Concurrency : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 2530, 2017, proceedings /: 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 2530, 2017, proceedings. ([2017]) Editors: Best, Eike; Aalst, Wil van der Other Names: International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, 38th Record Type: Book Extent: 1 online resource (xiv, 351 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
125. Verified software : theories, tools, and experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised selected papers /: theories, tools, and experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised selected papers. (2018) Editors: Piskac, Ruzica; Rümmer, Philipp Other Names: VSTTE (Conference), 10th Record Type: Book Extent: 1 online resource (xvi, 345 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
126. The medical device industry : developments in software risk management /: developments in software risk management. (2009) Other Names: Burton, John, 1976-; Richardson, Ita; Mc Caffery, Fergal; Ó hAodha, Mícheál, 1969- Record Type: Book Extent: 1 online resource (200 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
127. AI Blueprints : How to build and deploy AI business projects /: How to build and deploy AI business projects. (2018) Authors: Dr, Eckroth, Joshua Record Type: Book Extent: 1 online resource (250 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
128. Ripple Quick Start Guide : Get started with XRP and develop applications on Ripple's blockchain /: Get started with XRP and develop applications on Ripple's blockchain. (2018) Authors: James, Febin John Record Type: Book Extent: 1 online resource (160 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
129. Pro Continuous Delivery : With Jenkins 2.0 /: With Jenkins 2.0. (2017) Authors: Pathania, Nikhil Record Type: Book Extent: 1 online resource (288 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
130. Building Microservices with Spring : Master design patterns of the Spring framework to build smart, efficient microservices /: Master design patterns of the Spring framework to build smart, efficient microservices. (2018) Authors: Rajput, Dinesh; R V, Rajesh Record Type: Book Extent: 1 online resource (502 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗