C++ toolbox for verified computing I : basic numerical problems /
57
| Päätekijä: | |
|---|---|
| Aineistotyyppi: | |
| Julkaistu: |
Berlin : Springer,
1995
|
| Aiheet: |
| _version_ | 1826416080853139456 |
|---|---|
| author | Hammer, R. |
| author_facet | Hammer, R. |
| author_sort | Hammer, R. |
| collection | OCEAN |
| description | 57 |
| first_indexed | 2024-03-05T03:25:06Z |
| format | |
| id | KOHA-OAI-TEST:298548 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| last_indexed | 2024-03-05T03:25:06Z |
| publishDate | 1995 |
| publisher | Berlin : Springer, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:2985482020-12-19T17:09:52ZC++ toolbox for verified computing I : basic numerical problems / Hammer, R. Berlin : Springer,1995575859PSZKLLC++ (Computer program language)URN:ISBN:3540591109 |
| spellingShingle | C++ (Computer program language) Hammer, R. C++ toolbox for verified computing I : basic numerical problems / |
| title | C++ toolbox for verified computing I : basic numerical problems / |
| title_full | C++ toolbox for verified computing I : basic numerical problems / |
| title_fullStr | C++ toolbox for verified computing I : basic numerical problems / |
| title_full_unstemmed | C++ toolbox for verified computing I : basic numerical problems / |
| title_short | C++ toolbox for verified computing I : basic numerical problems / |
| title_sort | c toolbox for verified computing i basic numerical problems |
| topic | C++ (Computer program language) |
| work_keys_str_mv | AT hammerr ctoolboxforverifiedcomputingibasicnumericalproblems |