Title: Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings, Author: Karen Yorav
Title: Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings, Author: Rajeev Alur
Title: Software Metrics: Best Practices for Successful It Management, Author: Paul Goodman
Title: A Guide to Software Package Evaluation and Selection: The R2ISC Method, Author: Nathan HOLLANDER
Title: Computer Safety, Reliability and Security: 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002. Proceedings, Author: Stuart Anderson
Title: First-time Hacker: Complete Beginner's Guide To Computer Hacking:, Author: Yaeko Curlin
Title: Model-Based Testing of Reactive Systems: Advanced Lectures, Author: Manfred Broy
Title: Mastering User Surveys: A Guide for UX Designers and Researchers, Author: William Webb
Title: Software Performability: From Concepts to Applications, Author: Ann T. Tai
Title: High Integrity Software, Author: Victor L. Winter
Title: Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings, Author: Thomas Ball
Title: Development and Evolution of Software Architectures for Product Families: Second International ESPRIT ARES Workshop, Las Palmas de Gran Canaria, Spain, February 26-27, 1998, Proceedings, Author: Frank van der Linden
Title: Mathematical Theory of Computation, Author: Zohar Manna
Title: Software Quality Assurance: Integrating Testing, Security, and Audit, Author: Abu Sayed Mahfuz
Title: Hack Learning: Venture Into The World Of Hacking:, Author: Wonda Gathje
Title: Random Number Generators-Principles and Practices: A Guide for Engineers and Programmers, Author: David Johnston
Title: Practical Modern JavaScript: Dive into ES6 and the Future of JavaScript, Author: Nicolas Bevacqua
Title: Life Cycle Management For Dependability, Author: Felix Redmill
Title: Computer Safety, Reliability, and Security: 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings, Author: Floor Koornneef

Pagination Links