301- 320 of 375 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Data Flow Analysis: Theory and Practice, Author: Uday Khedker
QUICK ADD
Data Flow Analysis: Theory and…
by Uday Khedker, Amitabha Sanyal, Bageshri Sathe
Hardcover $200.00
Title: Data Flow Analysis: Theory and Practice, Author: Uday Khedker
QUICK ADD
Data Flow Analysis: Theory and…
by Uday Khedker, Amitabha Sanyal, Bageshri Sathe
eBook $73.99
Title: Das DevOps-Handbuch: Teams, Tools und Infrastrukturen erfolgreich umgestalten, Author: Gene Kim
QUICK ADD
Das DevOps-Handbuch: Teams,…
by Gene Kim, Jez Humble, Patrick Debois, John Willis, Nicole Forsgren
eBook $52.99
Title: Cybersecurity Controls: Design, Implement and Audit to Protect Your Organization, Author: Toby DeRoche Pre-Order Now
QUICK ADD
Cybersecurity Controls: Design…
by Toby DeRoche
Hardcover $69.00
Title: Cyber-Risk Informatics: Engineering Evaluation with Data Science, Author: Mehmet Sahinoglu
QUICK ADD
Cyber-Risk Informatics:…
by Mehmet Sahinoglu
Hardcover $156.75
Title: Curing the Patch Management Headache, Author: Felicia M. Wetter
QUICK ADD
Curing the Patch Management…
by Felicia M. Wetter
eBook $170.00
Title: Curing the Patch Management Headache, Author: Felicia M. Wetter
QUICK ADD
Curing the Patch Management…
by Felicia M. Wetter
Hardcover $170.00
Title: Contracts, Scenarios and Prototypes: An Integrated Approach to High Quality Software, Author: Reinhold Ploesch
QUICK ADD
Contracts, Scenarios and…
by Reinhold Ploesch
Hardcover $54.99
Title: Contract Testing in Action: With Pact, PactFlow, and GitHub Actions, Author: Marie Cruz
QUICK ADD
Contract Testing in Action:…
by Marie Cruz, Lewis Prescott
Explore Series
Paperback $59.99
Title: Constituents of Modern System-safety Thinking: Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8-10 February 2005, Author: Felix Redmill
QUICK ADD
Constituents of Modern…
by Felix Redmill (Editor), Tom Anderson (Editor)
Paperback $169.99
Title: Concurrency Verification: Introduction to Compositional and Non-compositional Methods, Author: Willem-Paul de Roever
QUICK ADD
Concurrency Verification:…
by Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech
#54 in Series
Hardcover $284.00
Title: Concise Guide to Software Verification: From Model Checking to Annotation Checking, Author: Marieke Huisman
QUICK ADD
Concise Guide to Software…
by Marieke Huisman, Anton Wijs
Explore Series
eBook $89.99
Title: Concise Guide to Fault Tree Analysis: Models, Methods and Algorithms, Author: Mariëlle Stoelinga
QUICK ADD
Concise Guide to Fault Tree…
by Mariëlle Stoelinga, Enno Ruijters, Pavel Krcál
eBook $69.99
Title: Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification, Author: Robert Kurshan
QUICK ADD
Computer-Aided Verification: A…
by Robert Kurshan (Editor)
Explore Series
Hardcover $169.99
Title: Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification, Author: Robert Kurshan
QUICK ADD
Computer-Aided Verification: A…
by Robert Kurshan (Editor)
Paperback $169.99
Title: Computer Safety, Reliability, and Security: 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings, Author: Rune Winther
QUICK ADD
Computer Safety, Reliability,…
by Rune Winther (Editor), Bjoern Axel Gran (Editor), Gustav Dahll (Editor)
#3688 in Series
Paperback $54.99
Title: Computer Safety, Reliability, and Security: 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, Proceedings, Author: Maritta Heisel
QUICK ADD
Computer Safety, Reliability,…
by Maritta Heisel (Editor), Peter Liggesmeyer (Editor), Stefan Wittmann (Editor)
#3219 in Series
Paperback $54.99
Title: Computer Safety, Reliability, and Security: 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings, Author: Stuart Anderson
QUICK ADD
Computer Safety, Reliability,…
by Stuart Anderson (Editor), Massimo Felici (Editor), Bev Littlewood (Editor)
#2788 in Series
Paperback $54.99
Title: Computer Safety, Reliability, and Security: 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings, Author: Floor Koornneef
QUICK ADD
Computer Safety, Reliability,…
by Floor Koornneef (Editor), Meine van der Meulen (Editor)
#1943 in Series
Paperback $54.99
Title: Computer Safety, Reliability and Security: 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002. Proceedings, Author: Stuart Anderson
QUICK ADD
Computer Safety, Reliability…
by Stuart Anderson (Editor), Sandro Bologna (Editor), Massimo Felici (Editor)
#2434 in Series
Paperback $54.99

Pagination Links