301- 320 of 348 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Computer Safety, Reliability and Security: 20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 Proceedings / Edition 1, Author: Udo Voges
QUICK ADD
Computer Safety, Reliability…
by Udo Voges
#2187 in Series
Paperback $54.99
Title: Computer Performance Evaluation and Benchmarking: SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009, Proceedings / Edition 1, Author: David Kaeli
QUICK ADD
Computer Performance…
by David Kaeli
#5419 in Series
Paperback $54.99
Title: Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings / Edition 1, Author: Thomas Ball
QUICK ADD
Computer Aided Verification:…
by Thomas Ball, Robert B. Jones
#4144 in Series
Paperback $109.99
Title: Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings / Edition 1, Author: Rajeev Alur
QUICK ADD
Computer Aided Verification:…
by Rajeev Alur, Doron A. Peled
#3114 in Series
Paperback $109.99
Title: Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings / Edition 1, Author: Warren A. Hunt
QUICK ADD
Computer Aided Verification:…
by Warren A. Hunt, Jr., Fabio Somenzi
#2725 in Series
Paperback $54.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: 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: Component-Based Software Testing with UML / Edition 1, Author: Hans-Gerhard Gross
QUICK ADD
Component-Based Software…
by Hans-Gerhard Gross
Hardcover $54.99
Title: Component-Based Software Testing with UML / Edition 1, Author: Hans-Gerhard Gross
QUICK ADD
Component-Based Software…
by Hans-Gerhard Gross
Paperback $54.99
Title: Communication Protocol Specification and Verification / Edition 1, Author: Richard Lai
QUICK ADD
Communication Protocol…
by Richard Lai, Ajin Jirachiefpattana
#464 in Series
Hardcover $219.99
Title: Cleanroom Software Engineering: A Reader / Edition 1, Author: Jesse Poore
QUICK ADD
Cleanroom Software Engineering…
by Jesse Poore
Explore Series
Hardcover $114.95
Title: Clean Code: A Handbook of Agile Software Craftsmanship / Edition 1, Author: Robert Martin
QUICK ADD
Clean Code: A Handbook of…
by Robert Martin
Explore Series
Paperback from $47.46 $79.79 Current price is $47.46, Original price is $79.79.
Title: Clean Architecture: A Craftsman's Guide to Software Structure and Design / Edition 1, Author: Robert Martin
QUICK ADD
Clean Architecture: A…
by Robert Martin
Explore Series
Paperback $66.49
Title: Building a Debugger: Write a Native x64 Debugger From Scratch, Author: Sy Brand Pre-Order Now
QUICK ADD
Building a Debugger: Write a…
by Sy Brand
Paperback $69.99
Title: Behavioral Intervals in Embedded Software: Timing and Power Analysis of Embedded Real-Time Software Processes / Edition 1, Author: Fabian Wolf
QUICK ADD
Behavioral Intervals in…
by Fabian Wolf
Hardcover $109.99
Title: Behavioral Intervals in Embedded Software: Timing and Power Analysis of Embedded Real-Time Software Processes, Author: Fabian Wolf
QUICK ADD
Behavioral Intervals in…
by Fabian Wolf
eBook $99.00
Title: B'98: Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings / Edition 1, Author: Bert Didier
QUICK ADD
B'98: Recent Advances in the…
by Bert Didier
#1393 in Series
Paperback $54.99
Title: Automated and Algorithmic Debugging: First International Workshop, AADEBUG '93, Link�ping, Sweden, May 3-5, 1993. Proceedings, Author: Peter A. Fritzson
QUICK ADD
Automated and Algorithmic…
by Peter A. Fritzson (Editor)
#749 in Series
Paperback $54.99
Title: Aspects of Safety Management: Proceedings of the Ninth Safety-critical Systems Symposium, Bristol, UK 2001, Author: Felix Redmill
QUICK ADD
Aspects of Safety Management:…
by Felix Redmill (Editor), Tom Anderson (Editor)
Paperback $109.99
Title: Aspects of Safety Management: Proceedings of the Ninth Safety-critical Systems Symposium, Bristol, UK 2001, Author: Felix Redmill
QUICK ADD
Aspects of Safety Management:…
by Felix Redmill (Editor), Tom Anderson (Editor)
eBook $99.00

Pagination Links