Scientific computation with automatic result verification /
| Άλλοι συγγραφείς: | , |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Wien :
Springer-Verlag,
c1988
|
| Σειρά: | Computing supplementum ;
; v. 6 |
| Θέματα: |