561. Software engineering for resilient systems : 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings /: 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings. (2015) Editors: Fantechi, Alessandro; Pelliccione, P (Patrizio) Other Names: SERENE (Workshop), 7th Record Type: Book Extent: 1 online resource (ix, 145 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
562. Understanding control flow : concurrent programming using [mu]C++ /: concurrent programming using [mu]C++. (2016) Authors: Buhr, Peter A Record Type: Book Extent: 1 online resource (xxi, 741 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
563. Logic, rewriting, and concurrency : essays dedicated to José Meseguer on the occasion of his 65th birthday /: essays dedicated to José Meseguer on the occasion of his 65th birthday. ([2015]) Editors: Martí-Oliet, N (Narciso); Ölveczky, Peter Csaba; Talcott, Carolyn L Other Names: Meseguer, José honouree. Record Type: Book Extent: 1 online resource (xi, 634 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
564. Advanced parallel processing technologies : 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings /: 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings. (2015) Editors: Chen, Yunji; Ienne, Paolo; Ji, Qing Other Names: APPT (Symposium), 11th Record Type: Book Extent: 1 online resource (ix, 117 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
565. Model checking software : 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings /: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings. (2015) Editors: Fischer, Bernd; Geldenhuys, Jaco Other Names: International SPIN Workshop, 22nd Record Type: Book Extent: 1 online resource (xviii, 319 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
566. Server Side development with Node.js and Koa.js Quick Start Guide : Build robust and scalable web applications with modern JavaScript techniques /: Build robust and scalable web applications with modern JavaScript techniques. (2018) Authors: Omole, Olayinka Record Type: Book Extent: 1 online resource (132 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
567. Kotlin for Enterprise Applications using Java EE : Develop, test, and troubleshoot enterprise applications and microservices with Kotlin and Java EE /: Develop, test, and troubleshoot enterprise applications and microservices with Kotlin and Java EE. (2018) Authors: Rao K, Raghavendra Record Type: Book Extent: 1 online resource (388 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
568. Learning Concurrency in Kotlin : Build highly efficient and robust applications /: Build highly efficient and robust applications. (2018) Authors: Castiblanco Torres, Miguel Angel Record Type: Book Extent: 1 online resource (266 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
569. Selenium WebDriver 3 Practical Guide : End-to-end automation testing for web and mobile browsers with Selenium WebDriver, 2nd Edition /: End-to-end automation testing for web and mobile browsers with Selenium WebDriver, 2nd Edition. (2018) Authors: Gundecha, Unmesh; Avasarala, Satya Record Type: Book Extent: 1 online resource (280 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
570. Modern Scala Projects : Leverage the power of Scala for building data-driven and high-performant projects /: Leverage the power of Scala for building data-driven and high-performant projects. (2018) Authors: gurusamy, ilango Record Type: Book Extent: 1 online resource (334 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗