21. Monitoring microservices and containerized applications : deployment, configuration, and best practices for Prometheus and Alert Manager /: deployment, configuration, and best practices for Prometheus and Alert Manager. (2020) Authors: Sabharwal, Navin; Pandey, Piyush Record Type: Book Extent: 1 online resource (309 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
22. Numerical software verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings /: 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings. (2017) Editors: Abate, Alessandro; Boldo, Sylvie Other Names: NSV (Workshop), 10th Record Type: Book Extent: 1 online resource (xxi, 115 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
23. Numerical software verification : 12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019 : proceedings /: 12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019 : proceedings. ([2019]) Editors: Zamani, Majid; Zufferey, Damien Other Names: NSV (Workshop), 12th Record Type: Book Extent: 1 online resource (xv, 145 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
24. Numerical software verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers /: 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers. (2017) Editors: Bogomolov, Sergiy; Martel, Matthieu; Prabhakar, Pavithra Other Names: NSV (Workshop), 9th; CAV (Conference), 28th, jointly held conference Record Type: Book Extent: 1 online resource (vii, 107 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
25. Practical test automation : learn to use Jasmine, RSpec, and Cucumber effectively for your TDD and BDD /: learn to use Jasmine, RSpec, and Cucumber effectively for your TDD and BDD. (2020) Other Names: Matsinopoulos, Panos Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
26. Privately and publicly verifiable computing techniques : a survey /: a survey. (2017) Authors: Demirel, Denise; Schabhüser, Lucas; Buchmann, Johannes Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
27. Provably correct systems. (2017) Editors: Hinchey, Michael G (Michael Gerard), 1969-; Bowen, J. P (Jonathan Peter), 1956-; Olderog, E.-R Record Type: Book Extent: 1 online resource (xviii, 328 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
28. Quality assurance of agent-based and self-managed systems. (©2010) Other Names: Dumke, Reiner; Mencke, Steffen; Wille, Cornelius Record Type: Book Extent: 1 online resource (xv, 154 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
29. Quantifying software : global and industry perspectives /: global and industry perspectives. ([2018]) Authors: Jones, Capers Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
30. Runtime verification : 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings /: 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings. (2016) Editors: Falcone, Yliès; Sánchez, César Other Names: RV (Conference), 16th Record Type: Book Extent: 1 online resource (xxi, 512 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗