C++ toolbox for verified computing I : basic numerical problems /

57

Bibliographic Details
Main Author: Hammer, R.
Format:
Published: Berlin : Springer, 1995
Subjects:

Similar Items