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

57

Podrobná bibliografie
Hlavní autor: Hammer, R.
Médium:
Vydáno: Berlin : Springer, 1995
Témata: