Quick Search
Shop by Price
Featured Categories
Categories
Recently Viewed
- Where's Elvis
- BVLGARI : Between Eternity and History: Bulgari: From 1884 to 2009: 125 Years of Italian Jewels
- Is Anyone Responsible? : How Television Frames Political Issues
- Monday Morning Motivation: Five Steps to Energize Your Team, Customers, and Profits
- Manslations: Decoding the Secret Language of Men
Software Testing & Verification
|
Bayesian Analysis Using Bugs : A Practical Introduction By: Andrew Thomas, David Lunn, Nicky Best Format: Paperback |
||||
|
|||||
Description:In recent years, Bayesian methods have become the most widely used statistical methods for data analysis and modeling.......ISBN: 9781584888499 |
|||||
|
Reliable Software Technologies ADA-Europe 2000 : 5th ADA-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings By: Hubert B. Keller, H. B. Keller Editor: Hubertus B. Keller Format: Paperback |
||||
|
|||||
Description:The 23 revised full papers presented were carefully reviewed & selected from a large number of submissions. The papers......ISBN: 9783540676690 |
|||||
|
Computer Safety, Reliability, and Security : 19th International Conference, Safecomp 2000, Rotterdam, the Netherlands, October 24-27, 2000 Proceedings Editor: Floor Koornneef, Meine Van Der Meulen By: F. Koornneef Format: Paperback |
||||
|
|||||
Description:This book constitutes the refereed proceedings of the 19th International Conference on Computer Safety, Reliability, and......ISBN: 9783540411864 |
|||||
|
Verification, Model Checking, and Abstract Interpretation : Third International Workshop, Vmcai 2002, Venice, Italy, January 21-22, 2002, Revised Paper Editor: Agostino Cortesi Format: Paperback |
||||
|
|||||
Description:This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Verification,......ISBN: 9783540436317 |
|||||
|
Software Quality - Ecsq 2002 : Quality Connection - 7th European Conference on Software Quality, Helsinki, Finland, June 9-13, 2002. Proceedings By: J. Kontio, R. Conradi Editor: Jyrki Kontio Format: Paperback |
||||
|
|||||
Description:This book constitutes the refereed proceedings of the 7th European Conference on Software Quality, ECSQ 2002, held in......ISBN: 9783540437499 |
|||||
|
Reliable Software Technologies - ADA-Europe 2002 : 7th ADA-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17- By: J. Blieberger, A. Strohmeier Editor: Johann Blieberger Format: Paperback |
||||
|
|||||
Description:This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies,......ISBN: 9783540437840 |
|||||
|
Performance Evaluation of Complex Systems : Techniques and Tools : Performance 2002. Tutorial Lectures By: M. C. Calzarossa, Maria Carla Calzarossa Editor: Maria Carla Calzarossa Format: Paperback |
||||
|
|||||
Description:Praise for Harald Pasch and Wolfgang Schrepp's, MALDI-TOF Mass Spectrometry of Synthetic Polymers. JACS Book Reviews......ISBN: 9783540442523 |
|||||
|
Product Focused Software Process Improvement : 4th International Conference, Profes 2002 Rovaniemi, Finland, December 9-11, 2002, Proceedings By: M. Oivo, S. Komi-Sirvio Editor: Markku Oivo Format: Paperback |
||||
|
|||||
Description:This book constitutes the refereed proceedings of the 4th International Conference on Product Fucused Software Process......ISBN: 9783540002345 |
|||||
|
Reliable Software Technologies -- ADA-Europe 2003 : 8th ADA-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 1 Editor: Jean-Pierre Rosen, Alfred Strohmeier Format: Paperback |
||||
|
|||||
Description:This book constitutes the refereed proceedings of the 8th International Conference on Reliable Software Technologies,......ISBN: 9783540403760 |
|||||
|
Computer Aided Verification Editor: Jr. Hunt, Fabio Somenzi Format: Paperback |
||||
|
|||||
Description:This book constitutes the refereed proceedings of the 15th International Conference on Computer Aided Verification, CAV......ISBN: 9783540405245 |
|||||
|
Computer Safety, Reliability, and Security : 22nd International Conference, Safecomp 2003, Edinburgh, UK, September 23-26, 2003, Proceedings Editor: Stuart Anderson, Massimo Felici, Bev Littlewood Format: Paperback |
||||
|
|||||
Description:This book constitutes the refereed proceedings of the 22nd International Conference on Computer Safety, Reliability and......ISBN: 9783540201267 |
|||||
|
Numerical Software with Result Verification : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers Editor: Ren Alt, Andreas Frommer, R. Baker Kearfott, Wolfram Luther Format: Paperback |
||||
|
|||||
Description:This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 03041 on Numerical Software with......ISBN: 9783540212607 |
|||||
|
Product Focused Software Process Improvement : 6th International Conference, Profes 2005, Oulu, Finland, June 13-18, 2005, Proceedings By: F. Bomarius Editor: Frank Bomarius, Seija Komi-Sirvi Format: Paperback |
||||
|
|||||
Description:This book constitutes the refereed proceedings of the 6th International Conference on Product Focused Software Process......ISBN: 9783540262008 |
|||||
|
Formal Approaches to Software Testing Editor: Wolfgang Grieskamp, Carsten Weise Format: Paperback |
||||
|
|||||
Description:This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to......ISBN: 9783540344544 |
|||||
|
Computer Aided Verification : 10th International Conference, Cav'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings By: A. J. Hu, M. y. Vardi Editor: G. Goos, J. Hartmanis, Jan Van Leeuwen Format: Paperback |
||||
|
|||||
Description:This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification,......ISBN: 9783540646082 |
|||||
|
CMMI & Six Sigma: Partners in Process Improvement By: Slviy & Penn, M. Lynn Penn, Robert W. Stoddard Format: Board Book |
||||
|
|||||
Description:Shows how CMMI and Six Sigma can be successfully integrated in a software organization, leading to even "better,......ISBN: 9780321516084 |
|||||
|
Principles of the Spin Model Checker By: Mordechai Ben-Ari Format: Paperback |
||||
|
|||||
Description:The Spin model checker is a widely used professional software tool for specifying and verifying concurrent and......ISBN: 9781846287695 |
|||||
|
Software Process Improvement : 13th European Conference, Eurospi 2006, Joensuu, Finland, October 11-13, 2006, Proceedings Editor: Ita Richardson, Per Runeson, Richard Messnarz Format: Paperback |
||||
|
|||||
Description:This book constitutes the refereed proceeding of the 13th European Software Process Improvement Conference, EuroSPI......ISBN: 9783540476955 |
|||||
|
Geekonomics: The Real Cost of Insecure Hardware By: Rice David Format: Board Book |
||||
|
|||||
Description:Spells out what insecure software costs all of us and what technologists can do to demand, and get, better software....ISBN: 9780321477897 |
|||||
|
Computer Safety, Reliability, and Security Editor: Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann Format: Paperback |
||||
|
|||||
Description:This book constitutes the refereed proceedings of the 23rd International Conference on Computer Safety, Reliability, and......ISBN: 9783540231769 |
|||||
Latest Publisher Releases
Click on the logos to see the latest releases from these leading Australian publishers and distributors.
