Search alternatives:
computers » computer

1
Published 1993
Springer Vienna
Table of Contents: ...” Circuit used for Designing Dependable Computer Systems -- Dependable Computing for Railway Control Systems...

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