Scientific computing with automatic result verification:
Gespeichert in:
| Format: | Elektronisch E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Boston
Academic Press
1993
|
| Schriftenreihe: | Mathematics in science and engineering
v. 189 |
| Schlagworte: | |
| Beschreibung: | Print version record. - Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002 |
| Beschreibung: | 1 online resource (x, 612 pages) |
| ISBN: | 9780120442102 0120442108 9780080958750 0080958753 1282290169 9781282290167 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV045343046 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 181206s1993 |||| o||u| ||||||eng d | ||
| 020 | |a 9780120442102 |9 978-0-12-044210-2 | ||
| 020 | |a 0120442108 |9 0-12-044210-8 | ||
| 020 | |a 9780080958750 |9 978-0-08-095875-0 | ||
| 020 | |a 0080958753 |9 0-08-095875-3 | ||
| 020 | |a 1282290169 |9 1-282-29016-9 | ||
| 020 | |a 9781282290167 |9 978-1-282-29016-7 | ||
| 035 | |a (ZDB-4-ENC)ocn316566653 | ||
| 035 | |a (OCoLC)316566653 | ||
| 035 | |a (DE-599)BVBBV045343046 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 082 | 0 | |a 519.4/0285 |2 22 | |
| 084 | |a SK 950 |0 (DE-625)143273: |2 rvk | ||
| 245 | 1 | 0 | |a Scientific computing with automatic result verification |c edited by E. Adams, U. Kulisch |
| 264 | 1 | |a Boston |b Academic Press |c 1993 | |
| 300 | |a 1 online resource (x, 612 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Mathematics in science and engineering |v v. 189 | |
| 500 | |a Print version record. - Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002 | ||
| 505 | 8 | |a A collection of papers on recent progress in the development of numerical applications with automatic result verification. The book includes various applications of enclosure methods to problems in the engineering sciences, such as MHD flow calculations and KKR bandstructure calculations | |
| 650 | 7 | |a MATHEMATICS / Applied |2 bisacsh | |
| 650 | 7 | |a Computer science / Mathematics |2 fast | |
| 650 | 7 | |a Electronic data processing |2 fast | |
| 650 | 7 | |a Analyse numerique |2 ram | |
| 650 | 4 | |a Electronic data processing |a Computer science |x Mathematics | |
| 650 | 0 | 7 | |a Datenverarbeitung |0 (DE-588)4011152-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Wissenschaftliches Rechnen |0 (DE-588)4338507-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Wissenschaftliches Rechnen |0 (DE-588)4338507-2 |D s |
| 689 | 0 | 1 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 689 | 1 | 0 | |a Datenverarbeitung |0 (DE-588)4011152-0 |D s |
| 689 | 1 | |8 3\p |5 DE-604 | |
| 700 | 1 | |a Adams, Ernst |e Sonstige |4 oth | |
| 700 | 1 | |a Kulisch, Ulrich |e Sonstige |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |t Scientific computing with automatic result verification |d Boston : Academic Press, 1993 |z 9780120442102 |
| 912 | |a ZDB-4-ENC | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030729750 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804179161425641472 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV045343046 |
| classification_rvk | SK 950 |
| collection | ZDB-4-ENC |
| contents | A collection of papers on recent progress in the development of numerical applications with automatic result verification. The book includes various applications of enclosure methods to problems in the engineering sciences, such as MHD flow calculations and KKR bandstructure calculations |
| ctrlnum | (ZDB-4-ENC)ocn316566653 (OCoLC)316566653 (DE-599)BVBBV045343046 |
| dewey-full | 519.4/0285 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 519 - Probabilities and applied mathematics |
| dewey-raw | 519.4/0285 |
| dewey-search | 519.4/0285 |
| dewey-sort | 3519.4 3285 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02919nmm a2200613zcb4500</leader><controlfield tag="001">BV045343046</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">181206s1993 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780120442102</subfield><subfield code="9">978-0-12-044210-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0120442108</subfield><subfield code="9">0-12-044210-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780080958750</subfield><subfield code="9">978-0-08-095875-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0080958753</subfield><subfield code="9">0-08-095875-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1282290169</subfield><subfield code="9">1-282-29016-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781282290167</subfield><subfield code="9">978-1-282-29016-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-4-ENC)ocn316566653</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)316566653</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV045343046</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">519.4/0285</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 950</subfield><subfield code="0">(DE-625)143273:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Scientific computing with automatic result verification</subfield><subfield code="c">edited by E. Adams, U. Kulisch</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boston</subfield><subfield code="b">Academic Press</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (x, 612 pages)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Mathematics in science and engineering</subfield><subfield code="v">v. 189</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Print version record. - Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">A collection of papers on recent progress in the development of numerical applications with automatic result verification. The book includes various applications of enclosure methods to problems in the engineering sciences, such as MHD flow calculations and KKR bandstructure calculations</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Applied</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer science / Mathematics</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Electronic data processing</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Analyse numerique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic data processing</subfield><subfield code="a">Computer science</subfield><subfield code="x">Mathematics</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Wissenschaftliches Rechnen</subfield><subfield code="0">(DE-588)4338507-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Wissenschaftliches Rechnen</subfield><subfield code="0">(DE-588)4338507-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Adams, Ernst</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kulisch, Ulrich</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="t">Scientific computing with automatic result verification</subfield><subfield code="d">Boston : Academic Press, 1993</subfield><subfield code="z">9780120442102</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-ENC</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030729750</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV045343046 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T08:15:28Z |
| institution | BVB |
| isbn | 9780120442102 0120442108 9780080958750 0080958753 1282290169 9781282290167 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030729750 |
| oclc_num | 316566653 |
| open_access_boolean | |
| physical | 1 online resource (x, 612 pages) |
| psigel | ZDB-4-ENC |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | Academic Press |
| record_format | marc |
| series2 | Mathematics in science and engineering |
| spelling | Scientific computing with automatic result verification edited by E. Adams, U. Kulisch Boston Academic Press 1993 1 online resource (x, 612 pages) txt rdacontent c rdamedia cr rdacarrier Mathematics in science and engineering v. 189 Print version record. - Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002 A collection of papers on recent progress in the development of numerical applications with automatic result verification. The book includes various applications of enclosure methods to problems in the engineering sciences, such as MHD flow calculations and KKR bandstructure calculations MATHEMATICS / Applied bisacsh Computer science / Mathematics fast Electronic data processing fast Analyse numerique ram Electronic data processing Computer science Mathematics Datenverarbeitung (DE-588)4011152-0 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf Wissenschaftliches Rechnen (DE-588)4338507-2 gnd rswk-swf 1\p (DE-588)4143413-4 Aufsatzsammlung gnd-content Wissenschaftliches Rechnen (DE-588)4338507-2 s Verifikation (DE-588)4135577-5 s 2\p DE-604 Datenverarbeitung (DE-588)4011152-0 s 3\p DE-604 Adams, Ernst Sonstige oth Kulisch, Ulrich Sonstige oth Erscheint auch als Druck-Ausgabe Scientific computing with automatic result verification Boston : Academic Press, 1993 9780120442102 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Scientific computing with automatic result verification A collection of papers on recent progress in the development of numerical applications with automatic result verification. The book includes various applications of enclosure methods to problems in the engineering sciences, such as MHD flow calculations and KKR bandstructure calculations MATHEMATICS / Applied bisacsh Computer science / Mathematics fast Electronic data processing fast Analyse numerique ram Electronic data processing Computer science Mathematics Datenverarbeitung (DE-588)4011152-0 gnd Verifikation (DE-588)4135577-5 gnd Wissenschaftliches Rechnen (DE-588)4338507-2 gnd |
| subject_GND | (DE-588)4011152-0 (DE-588)4135577-5 (DE-588)4338507-2 (DE-588)4143413-4 |
| title | Scientific computing with automatic result verification |
| title_auth | Scientific computing with automatic result verification |
| title_exact_search | Scientific computing with automatic result verification |
| title_full | Scientific computing with automatic result verification edited by E. Adams, U. Kulisch |
| title_fullStr | Scientific computing with automatic result verification edited by E. Adams, U. Kulisch |
| title_full_unstemmed | Scientific computing with automatic result verification edited by E. Adams, U. Kulisch |
| title_short | Scientific computing with automatic result verification |
| title_sort | scientific computing with automatic result verification |
| topic | MATHEMATICS / Applied bisacsh Computer science / Mathematics fast Electronic data processing fast Analyse numerique ram Electronic data processing Computer science Mathematics Datenverarbeitung (DE-588)4011152-0 gnd Verifikation (DE-588)4135577-5 gnd Wissenschaftliches Rechnen (DE-588)4338507-2 gnd |
| topic_facet | MATHEMATICS / Applied Computer science / Mathematics Electronic data processing Analyse numerique Electronic data processing Computer science Mathematics Datenverarbeitung Verifikation Wissenschaftliches Rechnen Aufsatzsammlung |
| work_keys_str_mv | AT adamsernst scientificcomputingwithautomaticresultverification AT kulischulrich scientificcomputingwithautomaticresultverification |