Title: Computer Safety, Reliability, and Security: 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings, Author: Rune Winther
Title: Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification, Author: Robert Kurshan
Title: Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification, Author: Robert Kurshan
Title: Concise Guide to Fault Tree Analysis: Models, Methods and Algorithms, Author: Mariëlle Stoelinga Pre-Order Now
Title: Concise Guide to Software Verification: From Model Checking to Annotation Checking, Author: Marieke Huisman
Title: Concurrency Verification: Introduction to Compositional and Non-compositional Methods, Author: Willem-Paul de Roever
Title: Constituents of Modern System-safety Thinking: Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8-10 February 2005, Author: Felix Redmill
Title: Continuous Integration: Improving Software Quality and Reducing Risk, Author: Paul Duvall
Title: Continuous Testing, Quality, Security, and Feedback: Essential strategies and secure practices for DevOps, DevSecOps, and SRE transformations, Author: Marc Hornbeek
Title: Contract Testing in Action: With Pact, PactFlow, and GitHub Actions, Author: Marie Cruz
Title: Contract Testing in Action: With Pact, PactFlow, and GitHub Actions, Author: Marie Cruz
Title: Contracts, Scenarios and Prototypes: An Integrated Approach to High Quality Software, Author: Reinhold Ploesch
Title: Crisis Control For 2000 and Beyond: Boom or Bust?: Seven Key Principles to Surviving the Coming Economic Upheaval, Author: Larry Burkett
Title: Cucumber Cookbook, Author: Shankar Garg
Title: Curing the Patch Management Headache, Author: Felicia M. Wetter
Title: Curing the Patch Management Headache, Author: Felicia M. Wetter
Title: Cyber-Risk Informatics: Engineering Evaluation with Data Science, Author: Mehmet Sahinoglu
Title: Das DevOps-Handbuch: Teams, Tools und Infrastrukturen erfolgreich umgestalten, Author: Gene Kim
Title: Das Nikon D7100 Handbuch, Author: Michael Gradias
Title: Data Flow Analysis: Theory and Practice, Author: Uday Khedker

Pagination Links