31. 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) ↗
32. 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) ↗
33. Semantics, analytics, visualization : 3rd International Workshop, SAVE-SD 2017, Perth, Australia, April 3, 2017, and 4th International Workshop, SAVE-SD 2018, Lyon, France, April 24, 2018, revised selected papers /: 3rd International Workshop, SAVE-SD 2017, Perth, Australia, April 3, 2017, and 4th International Workshop, SAVE-SD 2018, Lyon, France, April 24, 2018, revised selected papers. (2018) Editors: Gonzalez-Beltran, Alejandra; Osborne, Francesco; Peroni, Silvio; Vahdati, Sahar Other Names: SAVE-SD (Workshop), 3rd; SAVE-SD (Workshop), 4th Record Type: Book Extent: 1 online resource (xiv, 171 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
34. 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) ↗
35. Telematics and computing : 7th International Congress, WITCOM 2018, Mazatlán, Mexico, November 5-9, 2018, Proceedings /: 7th International Congress, WITCOM 2018, Mazatlán, Mexico, November 5-9, 2018, Proceedings. (2018) Editors: Mata-Rivera, Miguel Felix; Zagal-Flores, Roberto Other Names: International Congress on Telematics and Computing, 7th Record Type: Book Extent: 1 online resource (xiii, 283 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
36. Deep learning with Azure : building and deploying artificial intelligence solutions on the Microsoft AI platform /: building and deploying artificial intelligence solutions on the Microsoft AI platform. (2018) Authors: Salvaris, Mathew; Dean, Danielle; Tok, Wee-Hyong Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
37. Developments in language theory : 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings /: 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings. (2018) Editors: Hoshi, Mizuho, 1985-; Seki, Shinnosuke Other Names: Conference on Developments in Language Theory, 22nd Record Type: Book Extent: 1 online resource (xiv, 568 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
38. Applied deep learning : a case-based approach to understanding deep neural networks /: a case-based approach to understanding deep neural networks. (2018) Authors: Michelucci, Umberto Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
39. Applied natural language processing with Python : implementing machine learning and deep learning algorithms for natural language processing /: implementing machine learning and deep learning algorithms for natural language processing. (2018) Authors: Beysolow, Taweh Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
40. Monetizing machine learning : quickly turn Python ML ideas into web applications on the serverless cloud /: quickly turn Python ML ideas into web applications on the serverless cloud. (2018) Authors: Amunategui, Manuel; Roopaei, Mehdi Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗