2004

21 CFR Part 11 : Complete Guide to International Computer Validation Compliance for the Pharmaceutical Industry

López, Orlando



 

2018

Automated validation & verification of UML/OCL models using satisfiability solvers

Przigoda, Nils, author

Cham : Springer, [2018]

 

2019

Computer simulation validation : fundamental concepts, methodological frameworks, and philosophical perspectives

Cham : Springer, 2019

 

2015

EU annex 11 guide to computer validation compliance for the worldwide health agency GMP

López, Orlando, author.

Boca Raton, FL : CRC Press, [2015]

 

2014

Explore it! : reduce risk and increase confidence with exploratory testing

Hendrickson, Elisabeth



 

2014

Explore it! : Wie Softwareentwickler und Tester mit explorativem Testen Risiken reduzieren und Fehler aufdecken

Hendrickson, Elisabeth
1 Aufl


 

2015

Foundations of software and system performance engineering : process, performance modeling, requirements, testing, scalability, and practice

Bondi, André B.

Upper Saddle River, NJ : Addison-Wesley, [2015]

 

2013

Gradle beyond the basics

Berglund, Tim.



 

2013

Gradle : Ein kompakter Einstieg in modernes Build-Management

Baumann, Joachim
1. Aufl


 

2014

Gradle in action

Muschko, Benjamin



 

2007

Guidance for the verification and validation of neural networks

Pullum, Laura L.



 

2015

Introducing Gradle

Varanasi, Balaji

©2015

 

2012

Leveraging applications of formal methods, verification and validation : applications and case studies ; 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceed

ISoLA (Symposium) (5th : 2012 : Ērakleion, Greece)



 

2012

Leveraging applications of formal methods, verification and validation : technologies for mastering change ; 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Pro

ISoLA (Symposium) (5th : 2012 : Ērakleion, Greece)



 

2006

Methods and procedures for the verification and validation of artificial neural networks

New York, NY : Springer Science + Business Media, [2006]

Request It 

2006

Methods and procedures for the verification and validation of artificial neural networks

 

2010

Pharmaceutical computer systems validation : quality assurance, risk management and regulatory compliance

2nd ed


 

2021

Python testing with Selenium : learn to implement different testing techniques using the Selenium Webdriver

Raghavendra, Sujay, author

New York, NY : Apress Media LLC, [2021]

 

2009

The software audit guide

Helgeson, John W., 1945- author.

Milwaukee, Wisconsin : ASQ Quality Press, 2009

 

2011

Software engineering reviews and audits

Summers, Boyd L.

©2011

 

1997

Software verification and validation : a practitioner's guide

Rakitin, Steven R.

Boston : Artech House, [1997]

Request It 

2007

Software verification and validation : an engineering and scientific approach

Fisher, Marcus S



 

2001

Software verification and validation for practitioners and managers

Rakitin, Steven R
2nd ed


 

2011

Specification by example : how successful teams deliver the right software

Adzic, Gojko



 

2005

Testing commercial-off-the-shelf components and systems

 

2013

Testing software and systems : 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

ICTSS (Conference) (25th : 2013 : Istanbul, Turkey)

Heidelberg : Springer, 2013

 

2012

Testowanie bezpieczeństwa aplikacji internetowych : receptury

Hope, Paco.



 

2008

TMap Next : ein praktischer Leitfaden für ergebnisorientiertes Softwaretesten

1. Aufl


 

2013

Tools and algorithms for the construction and analysis of systems : 19th International Conference, TACAS 2013, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS

TACAS (Conference) (19th : 2013 : Rome, Italy)



 

2010

Trustworthly [ie: Trustworthy] global computing : 5th international symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

TGC 2010 (2010 : Munich, Germany)



 

2009

Trustworthy global computing : 4th international symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008 ; revised selected papers

TGC 2008 (2008 : Barcelona, Spain)



 

2012

Trustworthy global computing : 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised selected papers

TGC (Symposium) (6th : 2011 : Aachen, Germany)



 

2013

Trustworthy global computing : 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised selected papers

TGC (Symposium) (7th : 2012 : Newcastle upon Tyne, England)

Heidelberg : Springer, [2013]

 

2014

Trustworthy global computing : 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013 : revised selected papers

TGC (Symposium) (8th : 2013 : Buenos Aires, Argentina)

Berlin : Springer, 2014

 

2014

Trustworthy global computing : 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised selected papers

TGC (Symposium) (9th : 2014 : Rome, Italy)

Heidelberg : Springer, 2014

 

2016

Trustworthy global computing : 10th International Symposium, TGC 2015 Madrid, Spain, August 31-September 1, 2015, Revised selected papers

TGC (Symposium) (10th : 2015 : Madrid, Spain)

Cham : Springer, 2016

 

2005

Trustworthy global computing : international symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005 : revised selected papers

TGC 2005 (2005 : Edinburgh, Scotland)

Berlin ; New York : Springer, ©2005

 

2008

Trustworthy global computing : third symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007 : revised selected papers

TGC 2007 (2007 : Sophia-Antipolis, France)



 

2005

Validation of chromatography data systems : meeting business and regulatory requirements

McDowall, R. D.



 

2015

Validation of evolving software

Cham : Springer, 2015

 

2010

Verification and validation in systems engineering : assessing UML/SysML design models

 

2000

Verification and validation of modern software-intensive systems

Schulmeyer, G. Gordon.

Upper Saddle River, NJ : Prentice Hall, [2000]

Request It 

2007

Verification, validation and testing in software engineering