61- 80 of 252 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Partial Evaluation: International Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996. Selected Papers, Author: Olivier Danvy
QUICK ADD
Partial Evaluation:…
by Olivier Danvy (Editor), Robert Glück (Editor), Peter Thiemann (Editor)
#1110 in Series
Paperback $54.99
Title: Components of System Safety: Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002, Author: Felix Redmill
QUICK ADD
Components of System Safety:…
by Felix Redmill (Editor), Tom Anderson (Editor)
Paperback $169.99
Title: The Digital Quality Handbook: Guide for Achieving Continuous Quality in a DevOps Reality, Author: Eran Kinsbruner
QUICK ADD
The Digital Quality Handbook:…
by Eran Kinsbruner
Paperback $19.95
Title: Advanced Techniques for Embedded Systems Design and Test, Author: Juan C. López
QUICK ADD
Advanced Techniques for…
by Juan C. López (Editor), Román Hermida (Editor), Walter Geisselhardt (Editor)
Paperback $169.99
Title: Reliable Software Technologies - Ada Europe 96: 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June (10-14), 1996. Proceedings, Author: Alfred Strohmeier
QUICK ADD
Reliable Software Technologies…
by Alfred Strohmeier (Editor)
#1088 in Series
Paperback $54.99
Title: Software Reliability Modelling and Identification, Author: Sergio Bittanti
QUICK ADD
Software Reliability Modelling…
by Sergio Bittanti (Editor)
#341 in Series
Paperback $54.99
Title: Test Automation: A Manager's Guide, Author: Boby Jose
QUICK ADD
Test Automation: A Manager's…
by Boby Jose
Paperback $51.99
Title: High Integrity Software, Author: Victor L. Winter
QUICK ADD
High Integrity Software
by Victor L. Winter (Editor), Sourav Bhattacharya (Editor)
#577 in Series
Paperback $169.99
Title: Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, Author: Thomas Ball
QUICK ADD
Computer Aided Verification:…
by Thomas Ball (Editor), Robert B. Jones (Editor)
#4144 in Series
Paperback $109.99
Title: An Introduction to the PL/CV2 Programming Logic, Author: R. L. Constable
QUICK ADD
An Introduction to the PL/CV2…
by R. L. Constable, S. D. Johnson, C. D. Eichenlaub
#135 in Series
Paperback $54.99
Title: Software Quality Assurance: Integrating Testing, Security, and Audit, Author: Abu Sayed Mahfuz
QUICK ADD
Software Quality Assurance:…
by Abu Sayed Mahfuz
Explore Series
Paperback $54.99
Title: Systems and Software Verification: Model-Checking Techniques and Tools, Author: B. Berard
QUICK ADD
Systems and Software…
by B. Berard, P. McKenzie (Translator), M. Bidoit, A. Finkel, F. Laroussinie
Paperback $159.99
Title: System Reliability and Security: Techniques and Methodologies, Author: Javaid Iqbal
QUICK ADD
System Reliability and…
by Javaid Iqbal (Editor), Faheem Syeed Masoodi (Editor), Ishfaq Ahmad Malik (Editor), Shozab Khurshid (Editor), Iqra Saraf (Editor)
Paperback $87.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: E-Voting and Identity: 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013, Proceedings, Author: James Heather
QUICK ADD
E-Voting and Identity: 4th…
by James Heather (Editor), Steve Schneider (Editor), Vanessa Teague (Editor)
#7985 in Series
Paperback $49.99
Title: Practical Software Development Techniques: Tools and Techniques for Building Enterprise Software, Author: Edward Crookshanks
QUICK ADD
Practical Software Development…
by Edward Crookshanks
Paperback $49.99
Title: UFT/QTP Interview Unplugged: And I thought I knew UFT!, Author: Manika Garg
QUICK ADD
UFT/QTP Interview Unplugged:…
by Manika Garg (Editor), Chhanda Burmaan (Editor), Anshoo Arora (Editor)
Paperback $49.99
Title: Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings, Author: Karen Yorav
QUICK ADD
Hardware and Software:…
by Karen Yorav (Editor)
#4899 in Series
Paperback $54.99
Title: Computer Aided Verification: 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings, Author: Alan J. Hu
QUICK ADD
Computer Aided Verification:…
by Alan J. Hu (Editor), Moshe Y. Vardi (Editor)
#1427 in Series
Paperback $109.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

Pagination Links