341- 360 of 655 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers, Author: Doron A. Peled
QUICK ADD
Model Checking and Artificial…
by Doron A. Peled (Editor), Michael Wooldridge (Editor)
#5348 in Series
Paperback $54.99
Title: Computer Safety, Reliability, and Security: 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, Proceedings, Author: Maritta Heisel
QUICK ADD
Computer Safety, Reliability,…
by Maritta Heisel (Editor), Peter Liggesmeyer (Editor), Stefan Wittmann (Editor)
#3219 in Series
Paperback $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: Test Examples for Nonlinear Programming Codes, Author: W. Hock
QUICK ADD
Test Examples for Nonlinear…
by W. Hock, Klaus Schittkowski
#187 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: Reliable Software Technologies - Ada-Europe '98: 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998, Proceedings, Author: Lars Asplund
QUICK ADD
Reliable Software Technologies…
by Lars Asplund (Editor)
#1411 in Series
Paperback $54.99
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: 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: Reliability and Robustness of Engineering Software II: Proceedings of the Second International Conference held in Milan, Italy, during 22-24 April 1991, Author: C.A. Brebbia
QUICK ADD
Reliability and Robustness of…
by C.A. Brebbia (Editor), A.J. Ferrante (Editor)
Hardcover $54.99
Title: Development and Evolution of Software Architectures for Product Families: Second International ESPRIT ARES Workshop, Las Palmas de Gran Canaria, Spain, February 26-27, 1998, Proceedings, Author: Frank van der Linden
QUICK ADD
Development and Evolution of…
by Frank van der Linden (Editor)
#1429 in Series
Paperback $54.99
Title: Verifying Concurrent Processes Using Temporal Logic, Author: B. T. Hailpern
QUICK ADD
Verifying Concurrent Processes…
by B. T. Hailpern
#129 in Series
Paperback $54.99
Title: Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings, Author: Susanne Graf
QUICK ADD
Model Checking Software: 11th…
by Susanne Graf (Editor), Laurent Mounier (Editor)
#2989 in Series
Paperback $54.99
Title: Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings, Author: Matti Jarvisalo
QUICK ADD
Theory and Applications of…
by Matti Jarvisalo (Editor), Allen Van Gelder (Editor)
#7962 in Series
Paperback $54.99
Title: Service Availability: First International Service Availability Symposium, ISAS 2004, Munich, Germany, May 13-14, 2004, Revised Selected Papers, Author: Miroslaw Malek
QUICK ADD
Service Availability: First…
by Miroslaw Malek (Editor), Manfred Reitenspieß (Editor), Jörg Kaiser (Editor)
#3335 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: Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers, Author: Martin Leucker
QUICK ADD
Runtime Verification: 8th…
by Martin Leucker (Editor)
#5289 in Series
Paperback $54.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: Software Quality Approaches: Testing, Verification, and Validation: Software Best Practice 1, Author: Michael Haug
QUICK ADD
Software Quality Approaches:…
by Michael Haug (Editor), Eric W. Olsen (Editor), Luisa Consolini (Editor)
#1 in Series
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: Reliable Software Technology - Ada-Europe 2005: 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings, Author: Tullio Vardanega
QUICK ADD
Reliable Software Technology -…
by Tullio Vardanega (Editor), Andy Wellings (Editor)
#3555 in Series
Paperback $54.99

Pagination Links