31. Internet of Things (IoT) technologies for healthcare : 4th International Conference, HealthyIoT 2017, Angers, France, October 24-25, 2017, Proceedings /: 4th International Conference, HealthyIoT 2017, Angers, France, October 24-25, 2017, Proceedings. (2018) Editors: Ahmed, Mobyen Uddin; (Scientist), Shahina Begum; Bastel, Jean-Baptiste Other Names: HealthyIoT (Conference), 4th Record Type: Book Extent: 1 online resource (x, 121 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
32. Kalman filtering : with real-time applications /: with real-time applications. (2017) Authors: Chui, C. K; Chen, G (Guanrong) Record Type: Book Extent: 1 online resource (xviii, 247 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
33. Learning Primary Programming with Scratch (Home Learning Book Years 3-4). (2022) Authors: Bagge, Phil Record Type: Book Extent: 1 online resource (112 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
34. Learning R and Python for Business School Students. (2022) Other Names: Yuxing Yan Record Type: Book Extent: 1 online resource (702 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
35. 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) ↗
36. Leveraging applications of formal methods, verification and validation. distributed systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings /: distributed systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings. Part III : (2018) Editors: Margaria-Steffen, Tiziana, 1964-; Steffen, Bernhard Other Names: ISoLA (Symposium), 8th Record Type: Book Extent: 1 online resource (xiv, 522 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
37. Leveraging applications of formal methods, verification and validation. Industrial practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings /: Industrial practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings. Part IV : (2018) Editors: Margaria-Steffen, Tiziana, 1964-; Steffen, Bernhard Other Names: ISoLA (Symposium), 8th Record Type: Book Extent: 1 online resource (xiv, 530 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
38. Leveraging applications of formal methods, verification and validation. modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings /: modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings. Part I : (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) ↗
39. Machine learning and intelligent communications : Third International Conference, MLICOM 2018, Hangzhou, China, July 6-8, 2018, proceedings /: Third International Conference, MLICOM 2018, Hangzhou, China, July 6-8, 2018, proceedings. (2018) Editors: Meng, Limin; Zhang, Yan Other Names: International Conference on Machine Learning and Intelligent Communications, 3rd Record Type: Book Extent: 1 online resource (xvii, 675 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
40. MATLAB machine learning. ([2017]) Authors: Paluszek, Michael; Thomas, Stephanie Record Type: Book Extent: 1 online resource (326 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗