1. Introducing Gradle. ([2015]) Other Names: Varanasi, Balaji; Belida, Sudha Record Type: Book Extent: 1 online resource, illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Automated validation & verification of UML/OCL models using satisfiability solvers. ([2018]) Authors: Przigoda, Nils; Wille, Robert; Przigoda, Judith; Drechsler, Rolf Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Validation of evolving software. (2015) Editors: Chockler, Hana; Kroening, Daniel; Mariani, Leonardo; Sharygina, Natasha Record Type: Book Extent: 1 online resource (viii, 218 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Trustworthy global computing : 10th International Symposium, TGC 2015 Madrid, Spain, August 31-September 1, 2015, Revised selected papers /: 10th International Symposium, TGC 2015 Madrid, Spain, August 31-September 1, 2015, Revised selected papers. (2016) Editors: Ganty, Pierre; Loreti, Michele Other Names: TGC (Symposium), 10th Record Type: Book Extent: 1 online resource (ix, 163 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. 21 CFR Part 11 : complete guide to international computer validation compliance for the pharmaceutical industry /: complete guide to international computer validation compliance for the pharmaceutical industry. (©2004) Other Names: López, Orlando Record Type: Book Extent: 1 online resource (xv, 243 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Software engineering reviews and audits. (©2011) Other Names: Summers, Boyd L Record Type: Book Extent: 1 online resource (xx, 234 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Validation of chromatography data systems : meeting business and regulatory requirements /: meeting business and regulatory requirements. (©2005) Other Names: McDowall, R. D; Royal Society of Chemistry (Great Britain) Record Type: Book Extent: 1 online resource (xxix, 259 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Verification and validation of rule-based expert systems. (2018) Authors: Smith, Suzanne, 1953-; Kandel, Abraham Other Names: Taylor & Francis. Record Type: Book Extent: 1 online resource (203 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Computer simulation validation : fundamental concepts, methodological frameworks, and philosophical perspectives /: fundamental concepts, methodological frameworks, and philosophical perspectives. (2019) Editors: Beisbart, Claus; Saam, Nicole J Record Type: Book Extent: 1 online resource (xiii, 1074 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Apache JMeter : a practical beginner's guide to automated testing and performance measurement for your websites /: a practical beginner's guide to automated testing and performance measurement for your websites. (2008) Other Names: Halili, Emily H Record Type: Book Extent: 1 online resource (iii, 129 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗