Numerical toolbox for verified computing 1 : basic numerical problems : theory, algorithms, and Pascal-XSC programs /
41
Main Author: | |
---|---|
Format: | |
Published: |
Berlin : Springer-Verlag,
1993
|
Subjects: |
Summary: | 41 |
---|
41
Main Author: | |
---|---|
Format: | |
Published: |
Berlin : Springer-Verlag,
1993
|
Subjects: |
Summary: | 41 |
---|