00443pam a2200133 a 4500
Springer series in computational mathematics. Vol 21. Numerical toolbox for verified computing 1. Basic numerical problems.
Hammer, Rolf
Hocks, Matthias
Kulisch, Ulrich
Ratz, Dietmar
Berlin
Springer-Verlag
1993
SCM :21
110714s||||||||xx||||||||||||||||||eng|d
0
0
0
0
STP
STP
LIB
2011-07-19
0
519.62
03261
2011-07-19 00:00:00
2011-07-19
BK
15986
15986