341- 360 of 655 results
Grid View Grid
List View List
Grid View Grid
List View List
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: Monitoring with Ganglia: Tracking Dynamic Host and Application Metrics at Scale, Author: Matt Massie
QUICK ADD
Monitoring with Ganglia:…
by Matt Massie, Bernard Li, Brad Nicholes, Vladimir Vuksan, Robert Alexander
Paperback $29.99
Title: More Test Examples for Nonlinear Programming Codes, Author: Klaus Schittkowski
QUICK ADD
More Test Examples for…
by Klaus Schittkowski
#282 in Series
Paperback $54.99
Title: Mutation Testing for the New Century, Author: W. Eric Wong
QUICK ADD
Mutation Testing for the New…
by W. Eric Wong (Editor)
#24 in Series
Hardcover $169.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: Network Application Performance Analysis, Author: Gary Kaiser
QUICK ADD
Network Application…
by Gary Kaiser
eBook $2.99
Title: New Trends in Software Methodologies, Tools and Techniques: Proceedings of Lyee-w02, Author: SAGE Publications
QUICK ADD
New Trends in Software…
by SAGE Publications, Paul Johannesson (Editor)
Explore Series
Hardcover $109.00
Title: Nightclub Entry Token System: A Kanban Story, Author: Julian Cambridge
QUICK ADD
Nightclub Entry Token System:…
by Julian Cambridge
Explore Series
eBook $1.12
Title: Numerical Software with Result Verification: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers, Author: René Alt
QUICK ADD
Numerical Software with Result…
by René Alt (Editor), Andreas Frommer (Editor), R. Baker Kearfott (Editor), Wolfram Luther (Editor)
#2991 in Series
Paperback $54.99
Title: NUnit Pocket Reference: Up and Running with NUnit, Author: Bill Hamilton
QUICK ADD
NUnit Pocket Reference: Up and…
by Bill Hamilton
Explore Series
eBook $7.99
Title: NUnit Pocket Reference: Up and Running with NUnit, Author: Bill Hamilton
QUICK ADD
NUnit Pocket Reference: Up and…
by Bill Hamilton
Explore Series
Paperback $9.95
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: OneNote for Beginners: A Comprehensive Guide to Mastering OneNote for Novices, Author: Milo Rowse
QUICK ADD
OneNote for Beginners: A…
by Milo Rowse
eBook $9.99
Title: Open Verification Methodology Cookbook, Author: Mark Glasser
QUICK ADD
Open Verification Methodology…
by Mark Glasser
Hardcover $169.99
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: Partial Evaluation: Practice and Theory: DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998, Author: John Hatcliff
QUICK ADD
Partial Evaluation: Practice…
by John Hatcliff (Editor), Torben Mogensen (Editor), Peter Thiemann (Editor)
#1706 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: Patterns for Performance and Operability: Building and Testing Enterprise Software, Author: Chris Ford
QUICK ADD
Patterns for Performance and…
by Chris Ford, Ido Gileadi, Sanjiv Purba, Mike Moerman
Hardcover $115.00
Title: Patterns for Performance and Operability: Building and Testing Enterprise Software, Author: Chris Ford
QUICK ADD
Patterns for Performance and…
by Chris Ford, Ido Gileadi, Sanjiv Purba, Mike Moerman
eBook $115.00
Title: Patterns for Performance and Operability: Building and Testing Enterprise Software, Author: Chris Ford
QUICK ADD
Patterns for Performance and…
by Chris Ford, Ido Gileadi, Sanjiv Purba, Mike Moerman
eBook $110.00

Pagination Links