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

57

Dades bibliogràfiques
Autor principal: Hammer, R.
Format:
Publicat: Berlin : Springer, 1995
Matèries: