| 000 | 02351nam a22004695i 4500 | ||
|---|---|---|---|
| 001 | 978-3-319-31769-4 | ||
| 003 | DE-He213 | ||
| 005 | 20200421112224.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 160408s2016 gw | s |||| 0|eng d | ||
| 020 |
_a9783319317694 _9978-3-319-31769-4 |
||
| 024 | 7 |
_a10.1007/978-3-319-31769-4 _2doi |
|
| 050 | 4 | _aQA75.5-76.95 | |
| 072 | 7 |
_aUY _2bicssc |
|
| 072 | 7 |
_aCOM014000 _2bisacsh |
|
| 082 | 0 | 4 |
_a004 _223 |
| 245 | 1 | 0 |
_aScientific Computing, Computer Arithmetic, and Validated Numerics _h[electronic resource] : _b16th International Symposium, SCAN 2014, W�urzburg, Germany, September 21-26, 2014. Revised Selected Papers / _cedited by Marco Nehmeier, J�urgen Wolff von Gudenberg, Warwick Tucker. |
| 264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2016. |
|
| 300 |
_aXIII, 291 p. 51 illus. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 1 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v9553 |
|
| 505 | 0 | _aInterval arithmetic and interval functions -- Uncertainty -- Linear algebra -- Global optimisation -- Dynamical systems -- PDE. | |
| 520 | _aThis book constitutes the refereed post proceedings of the 16th International Symposium, SCAN 2014, held in W�urzburg, Germany, in September 2014. The 22 full papers presented were carefully reviewed and selected from 60 submissions. The main concerns of research addressed by SCAN conferences are validation, verification or reliable assertions of numerical computations. Interval arithmetic and other treatments of uncertainty are developed as appropriate tools. | ||
| 650 | 0 | _aComputer science. | |
| 650 | 1 | 4 | _aComputer Science. |
| 650 | 2 | 4 | _aComputer Science, general. |
| 700 | 1 |
_aNehmeier, Marco. _eeditor. |
|
| 700 | 1 |
_aWolff von Gudenberg, J�urgen. _eeditor. |
|
| 700 | 1 |
_aTucker, Warwick. _eeditor. |
|
| 710 | 2 | _aSpringerLink (Online service) | |
| 773 | 0 | _tSpringer eBooks | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783319317687 |
| 830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v9553 |
|
| 856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-319-31769-4 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-LNC | ||
| 942 | _cEBK | ||
| 999 |
_c57582 _d57582 |
||