61- 80 of 195 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers / Edition 1, Author: Doron A. Peled
QUICK ADD
Model Checking and Artificial…
by Doron A. Peled, Michael Wooldridge
#5348 in Series
Paperback $54.99
Title: Reliable Software Technologies - Ada-Europe '98: 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998, Proceedings / Edition 1, Author: Lars Asplund
QUICK ADD
Reliable Software Technologies…
by Lars Asplund
#1411 in Series
Paperback $54.99
Title: Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings / Edition 1, Author: Warren A. Hunt
QUICK ADD
Computer Aided Verification:…
by Warren A. Hunt, Jr., Fabio Somenzi
#2725 in Series
Paperback $54.99
Title: Reliability, Quality and Safety of Software-Intensive Systems: IFIP TC5 WG5.4 3rd International Conference on Reliability, Quality and Safety of Software-Intensive Systems (ENCRESS '97), 29th-30th May 1997, Athens, Greece / Edition 1, Author: Dimitris Gritzalis
QUICK ADD
Reliability, Quality and…
by Dimitris Gritzalis
Explore Series
Hardcover $169.99
Title: Computer Performance Evaluation and Benchmarking: SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009, Proceedings / Edition 1, Author: David Kaeli
QUICK ADD
Computer Performance…
by David Kaeli
#5419 in Series
Paperback $54.99
Title: Systems and Software Verification: Model-Checking Techniques and Tools / Edition 1, Author: B. Berard
QUICK ADD
Systems and Software…
by B. Berard, P. McKenzie, M. Bidoit, A. Finkel, F. Laroussinie
Paperback $159.99
Title: Computer Aided Verification: 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings / Edition 1, Author: Alan J. Hu
QUICK ADD
Computer Aided Verification:…
by Alan J. Hu, Moshe Y. Vardi
#1427 in Series
Paperback $109.99
Title: Computer Safety, Reliability, and Security: 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings / Edition 1, Author: Rune Winther
QUICK ADD
Computer Safety, Reliability,…
by Rune Winther, Bjoern Axel Gran, Gustav Dahll
#3688 in Series
Paperback $54.99
Title: Testing in Software Development, Author: Martyn A. Ould
QUICK ADD
Testing in Software…
by Martyn A. Ould, Charles Unwin
Explore Series
Paperback $42.00
Title: Introduction to Fuzzy Reliability / Edition 1, Author: Kai-Yuan Cai
QUICK ADD
Introduction to Fuzzy…
by Kai-Yuan Cai
#363 in Series
Hardcover $169.99
Title: Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings / Edition 1, Author: Thomas Ball
QUICK ADD
Computer Aided Verification:…
by Thomas Ball, Robert B. Jones
#4144 in Series
Paperback $109.99
Title: Concurrency Verification: Introduction to Compositional and Non-compositional Methods / Edition 1, 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: Developments in Risk-based Approaches to Safety: Proceedings of the Fourteenth Safety-citical Systems Symposium, Bristol, UK, 7-9 February 2006 / Edition 1, Author: Felix Redmill
QUICK ADD
Developments in Risk-based…
by Felix Redmill, Safety-Critical Systems Club, Tom Anderson
Paperback $109.99
Title: Computer Safety, Reliability, and Security: 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings / Edition 1, Author: Stuart Anderson
QUICK ADD
Computer Safety, Reliability,…
by Stuart Anderson, Massimo Felici, Bev Littlewood
#2788 in Series
Paperback $54.99
Title: Software Deployment, Updating, and Patching / Edition 1, Author: Bill Stackpole
QUICK ADD
Software Deployment, Updating,…
by Bill Stackpole, Patrick Hanrion
Paperback $77.99
Title: Open Source Fuzzing Tools, Author: Noam Rathaus
QUICK ADD
Open Source Fuzzing Tools
by Noam Rathaus, Gadi Evron
Paperback $66.95
Title: Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday / Edition 1, Author: Nachum Dershowitz
QUICK ADD
Verification: Theory and…
by Nachum Dershowitz
#2772 in Series
Paperback $109.99
Title: Trust in Technology: A Socio-Technical Perspective / Edition 1, Author: Karen Clarke
QUICK ADD
Trust in Technology: A…
by Karen Clarke, Gillian Hardstone, Mark Rouncefield, Ian Sommerville
#36 in Series
Hardcover $109.99
Title: Reliable Software Technologies Ada-Europe 2000: 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings / Edition 1, Author: Hubertus B. Keller
QUICK ADD
Reliable Software Technologies…
by Hubertus B. Keller, Erhard Plïdereder
#1845 in Series
Paperback $54.99
Title: Software Testing: Interview Questions, Author: S. Koirala
QUICK ADD
Software Testing: Interview…
by S. Koirala, S. Sheikh
Explore Series
Paperback $163.95

Pagination Links