Search alternatives:
computers » computer

1
Published 1991
Springer Vienna
Table of Contents: ...Validation -- Dependable Computing in the UK -- Software Validation by means of Statistical Testing...

2
Published 1995
Springer Berlin Heidelberg
Table of Contents: ... -- A. Computable Dependability Bounds for Large Markov Chains -- B. Fast Numerical Solution for a Class...

3
Published 1992
Springer Vienna
Subjects: ...Computers, Special purpose...