Filter
Sökt på: Sökresultat
Filter
1 träff
Numerical Toolbox for Verified Computing I
häftad,
2011,
Engelska,
ISBN 9783642784255
As suggested by the title of this book Numerical Toolbox for Verified Computing, we present an extensive set of sophisticated tools to solve basic numerical problems with a …