C++ toolbox for verified computing I : basic numerical problems /
57
Hlavní autor: | |
---|---|
Médium: | |
Vydáno: |
Berlin : Springer,
1995
|
Témata: |
57
Hlavní autor: | |
---|---|
Médium: | |
Vydáno: |
Berlin : Springer,
1995
|
Témata: |