1. Continuous integration, delivery, and deployment reliable and faster software releases with automating builds, tests, and deployment /: reliable and faster software releases with automating builds, tests, and deployment. (October 2017) Authors: Rossel, Sander Record Type: Book Extent: 1 online resource (vi, 442 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Critical systems : formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings /: formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings. (2017) Editors: Petrucci, Laure; Seceleanu, Cristina; Cavalcanti, Ana Other Names: International Workshop on Formal Methods for Industrial Critical Systems, 22nd; International Workshop on Automated Verification of Critical Systems, 17th Record Type: Book Extent: 1 online resource (xiv, 235 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Jenkins 2.x continuous integration cookbook : over 90 recipes to produce great results using pro-level practices, techniques, and solutions /: over 90 recipes to produce great results using pro-level practices, techniques, and solutions. (2017) Authors: Soni, Mitesh; Berg, Alan Mark Record Type: Book Extent: 1 online resource (1 volume), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Jenkins essentials : setting the stage for a DevOps culture /: setting the stage for a DevOps culture. (2017) Authors: Soni, Mitesh Record Type: Book Extent: 1 online resource (1 volume), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Reliable software technologies -- Ada-Europe 2017 : 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings /: 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings. (2017) Editors: Blieberger, Johann; Bader, Markus Other Names: Ada-Europe International Conference on Reliable Software Technologies, 22nd Record Type: Book Extent: 1 online resource (xiv, 251 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Software engineering for resilient systems : 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings /: 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings. (2017) Editors: Romanovsky, Alexander, 1954-; Troubitsyna, Elena (Elena A.), 1970- Other Names: SERENE (Workshop), 9th Record Type: Book Extent: 1 online resource (xiv, 201 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗