451. 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) ↗
452. Numeric computation and statistical data analysis on the Java platform. (2016) Authors: Chekanov, S. V (Sergei V.) Record Type: Book Extent: 1 online resource (xxvi, 620 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
453. Hands-On Software Engineering with Python : Move beyond basic programming and construct reliable and efficient software with complex code /: Move beyond basic programming and construct reliable and efficient software with complex code. (2018) Authors: Allbee, Brian Record Type: Book Extent: 1 online resource (736 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
454. Building Applications with Spring 5 and Vue.js 2 : Build a modern, full-stack web application using Spring Boot and Vuex /: Build a modern, full-stack web application using Spring Boot and Vuex. (2018) Authors: J. Ye, James Record Type: Book Extent: 1 online resource (590 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
455. Hands-On Reactive Programming with Python : Event-driven development unraveled with RxPY /: Event-driven development unraveled with RxPY. (2018) Authors: Picard, Romain Record Type: Book Extent: 1 online resource (420 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
456. 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) ↗
457. Verified software: theories, tools, and experiments : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015 : revised selected papers /: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015 : revised selected papers. (2016) Editors: Gurfinkel, Arie; Seshia, Sanjit A Other Names: VSTTE (Conference), 7th Record Type: Book Extent: 1 online resource (223 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
458. Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings /: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings. (2017) Editors: Abate, Alessandro; Geeraerts, Gilles Other Names: FORMATS (Conference), 15th Record Type: Book Extent: 1 online resource (x, 353 pages), 93 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
459. Mastering PostgreSQL 11 : Expert techniques to build scalable, reliable, and fault-tolerant database applications, 2nd Edition /: Expert techniques to build scalable, reliable, and fault-tolerant database applications, 2nd Edition. (2018) Authors: Schönig, Hans-Jürgen Record Type: Book Extent: 1 online resource (450 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
460. Build mobile apps with Ionic 4 and Firebase : hybrid mobile app development /: hybrid mobile app development. ([2018]) Authors: Cheng, Fu Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗