981- 1000 of 1316 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Unifying the Software Process Spectrum: International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005 Revised Selected Papers, Author: Mingshu Li
QUICK ADD
Unifying the Software Process…
by Mingshu Li (Editor), Barry Boehm (Editor), Leon J. Osterweil (Editor)
#3840 in Series
Paperback $54.99
Title: Expert .NET Delivery Using NAnt and CruiseControl.NET, Author: Josh Holmes
QUICK ADD
Expert .NET Delivery Using…
by Josh Holmes
Explore Series
Hardcover $54.99
Title: Software Failure Risk: Measurement and Management, Author: Susan A. Sherer
QUICK ADD
Software Failure Risk:…
by Susan A. Sherer
Explore Series
Paperback $54.99
Title: NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings, Author: Mihaela Bobaru
QUICK ADD
NASA Formal Methods: Third…
by Mihaela Bobaru (Editor), Klaus Havelund (Editor), Gerard Holzmann (Editor), Rajeev Joshi (Editor)
#6617 in Series
Paperback $54.99
Title: Software Process Improvement: 12th European Conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005, Proceedings, Author: Ita Richardson
QUICK ADD
Software Process Improvement:…
by Ita Richardson (Editor), Pekka Abrahamsson (Editor), Richard Messnarz (Editor)
#3792 in Series
Paperback $54.99
Title: Experimentation in Software Engineering: An Introduction, Author: Claes Wohlin
QUICK ADD
Experimentation in Software…
by Claes Wohlin, Anneliese von Mayrhauser (Foreword by), Per Runeson, Martin Höst, Magnus C. Ohlsson
#6 in Series
eBook $54.99
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: 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: Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem, Author: Patrice Godefroid
QUICK ADD
Partial-Order Methods for the…
by Patrice Godefroid (Editor)
#1032 in Series
Paperback $54.99
Title: Computer Performance Evaluation and Benchmarking: SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009, Proceedings, Author: David Kaeli
QUICK ADD
Computer Performance…
by David Kaeli (Editor)
#5419 in Series
Paperback $54.99
Title: Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26, Author: Lubos Brim
QUICK ADD
Formal Methods: Applications…
by Lubos Brim (Editor), Boudewijn Haverkort (Editor), Martin Leucker (Editor), Jaco van de Pol (Editor)
#4346 in Series
Paperback $54.99
Title: Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings, Author: Dennis Dams
QUICK ADD
Theoretical and Practical…
by Dennis Dams (Editor), Robert Gerth (Editor), Stefan Leue (Editor), Mieke Massinek (Editor)
#1680 in Series
Paperback $54.99
Title: Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction, Author: Markus Müller-Olm
QUICK ADD
Modular Compiler Verification:…
by Markus Müller-Olm
#1283 in Series
Paperback $54.99
Title: Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings, Author: Matthew Dwyer
QUICK ADD
Model Checking Software: 8th…
by Matthew Dwyer (Editor)
#2057 in Series
Paperback $54.99
Title: Verification and Validation of Real-Time Software, Author: William J. Quirk
QUICK ADD
Verification and Validation of…
by William J. Quirk (Editor)
Paperback $54.99
Title: Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings, Author: Antti Valmari
QUICK ADD
Model Checking Software: 13th…
by Antti Valmari (Editor)
#3925 in Series
Paperback $54.99
Title: Designing Maintainable Software, Author: Dennis D. Smith
QUICK ADD
Designing Maintainable…
by Dennis D. Smith
Hardcover $54.99
Title: Software Reliability Methods, Author: Doron A. Peled
QUICK ADD
Software Reliability Methods
by Doron A. Peled, E.M. Clarke (Foreword by)
Explore Series
Hardcover $54.99
Title: Objective Software Quality: Objective Quality: Second Symposium on Software Quality Techniques and Acquisition Criteria Florence, Italy, May 29- 31, 1995. Proceedings, Author: Paolo Nesi
QUICK ADD
Objective Software Quality:…
by Paolo Nesi (Editor)
#926 in Series
Paperback $54.99
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

Pagination Links