181- 200 of 238 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Service Availability: Third International Service Availability Symposium, ISAS 2006, Helsinki, Finland, May 15-16, 2006, Revised Selected Papers, Author: Dave Penkler
QUICK ADD
Service Availability: Third…
by Dave Penkler (Editor), Manfred Reitenspiess (Editor), Francis Tam (Editor)
#4328 in Series
Paperback $54.99
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: Reliable Software Technologies -- Ada-Europe 2003: 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings, Author: Jean-Pierre Rosen
QUICK ADD
Reliable Software Technologies…
by Jean-Pierre Rosen (Editor), Alfred Strohmeier (Editor)
#2655 in Series
Paperback $54.99
Title: Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings, Author: Bernhard Beckert
QUICK ADD
Tests and Proofs: Second…
by Bernhard Beckert (Editor), Reiner Hähnle (Editor)
#4966 in Series
Paperback $54.99
Title: Pro Android Apps Performance Optimization, Author: Herv Guihot
QUICK ADD
Pro Android Apps Performance…
by Herv Guihot
Paperback $44.99
Title: First-time Hacker: Complete Beginner's Guide To Computer Hacking:, Author: Yaeko Curlin
QUICK ADD
First-time Hacker: Complete…
by Yaeko Curlin
Paperback $9.99
Title: Software Quality Assurance: In Large Scale and Complex Software-intensive Systems, Author: Ivan Mistrik
QUICK ADD
Software Quality Assurance: In…
by Ivan Mistrik, Richard M Soley, Nour Ali, John Grundy, Bedir Tekinerdogan PhD
Paperback $120.00
Title: Reliable Software Technologies - Ada-Europe 2008: 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings, Author: Fabrice Kordon
QUICK ADD
Reliable Software Technologies…
by Fabrice Kordon (Editor), Tullio Vardanega (Editor)
#5026 in Series
Paperback $54.99
Title: Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings, Author: Dragan Bosnacki
QUICK ADD
Model Checking Software: 9th…
by Dragan Bosnacki (Editor), Stefan Leue (Editor)
#2318 in Series
Paperback $54.99
Title: Practical Guide To Software Quality Management / Edition 1, Author: John W. Horch
QUICK ADD
Practical Guide To Software…
by John W. Horch
Explore Series
Paperback $93.00
Title: Open Source Fuzzing Tools, Author: Noam Rathaus
QUICK ADD
Open Source Fuzzing Tools
by Noam Rathaus, Gadi Evron
Paperback $66.95
Title: Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers / Edition 1, Author: Shmuel Ur
QUICK ADD
Hardware and Software,…
by Shmuel Ur, Eyal Bin, Yaron Wolfsthal
#3875 in Series
Paperback $54.99
Title: iOS and macOS Performance Tuning: Cocoa, Cocoa Touch, Objective-C, and Swift, Author: Marcel Weiher
QUICK ADD
iOS and macOS Performance…
by Marcel Weiher
Explore Series
Paperback $66.49
Title: Hack Learning: Venture Into The World Of Hacking:, Author: Wonda Gathje
QUICK ADD
Hack Learning: Venture Into…
by Wonda Gathje
Paperback $9.99
Title: Reliable Software Technologies - Ada-Europe '99: 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings, Author: Michael Gonzalez Harbour
QUICK ADD
Reliable Software Technologies…
by Michael Gonzalez Harbour (Editor), Juan A. de la Puente (Editor)
#1622 in Series
Paperback $54.99
Title: Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers, Author: Klaus Havelund
QUICK ADD
Formal Approaches to Software…
by Klaus Havelund (Editor), Manuel Núnez (Editor), Grigore Rosu (Editor), Burkhart Wolff (Editor)
#4262 in Series
Paperback $54.99
Title: The Debugging Handbook, Author: Johannes Kuhlmann Pre-Order Now
QUICK ADD
The Debugging Handbook
by Johannes Kuhlmann
Paperback $49.99
Title: Constituents of Modern System-safety Thinking: Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8-10 February 2005 / Edition 1, Author: Felix Redmill
QUICK ADD
Constituents of Modern…
by Felix Redmill, Tom Anderson
Paperback $169.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: Numerical Software with Result Verification: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers / Edition 1, Author: Renï Alt
QUICK ADD
Numerical Software with Result…
by Renï Alt, Andreas Frommer, R. Baker Kearfott, Wolfram Luther
#2991 in Series
Paperback $54.99

Pagination Links