Validation of stochastic systems: a guide to current research
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Berlin u.a.
Springer
2004
|
| Series: | Lecture Notes in Computer Science
2925 |
| Subjects: | |
| Physical Description: | VIII, 465 S. graph. Darst. |
| ISBN: | 3540222650 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV019388757 | ||
| 003 | DE-604 | ||
| 005 | 20041227 | ||
| 007 | t| | ||
| 008 | 040910s2004 xx d||| |||| 10||| eng d | ||
| 020 | |a 3540222650 |9 3-540-22265-0 | ||
| 035 | |a (OCoLC)56333914 | ||
| 035 | |a (DE-599)BVBBV019388757 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-739 |a DE-91G |a DE-824 |a DE-706 | ||
| 050 | 0 | |a QA274.2 | |
| 082 | 0 | |a 519.22 |2 22 | |
| 084 | |a DAT 910f |2 stub | ||
| 084 | |a MAT 605f |2 stub | ||
| 245 | 1 | 0 | |a Validation of stochastic systems |b a guide to current research |c Christel Baier ... (Eds.) |
| 264 | 1 | |a Berlin u.a. |b Springer |c 2004 | |
| 300 | |a VIII, 465 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 2925 | |
| 650 | 4 | |a Analyse stochastique | |
| 650 | 7 | |a Analyse stochastique |2 rasuqam | |
| 650 | 7 | |a Processus stochastique |2 rasuqam | |
| 650 | 4 | |a Processus stochastiques | |
| 650 | 7 | |a Système stochastique |2 rasuqam | |
| 650 | 4 | |a Systèmes stochastiques | |
| 650 | 4 | |a Stochastic analysis | |
| 650 | 4 | |a Stochastic processes | |
| 650 | 4 | |a Stochastic systems | |
| 650 | 0 | 7 | |a Stochastisches System |0 (DE-588)4057635-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Validierung |0 (DE-588)4187357-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2002 |z Dagstuhl |2 gnd-content | |
| 689 | 0 | 0 | |a Stochastisches System |0 (DE-588)4057635-8 |D s |
| 689 | 0 | 1 | |a Validierung |0 (DE-588)4187357-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Baier, Christel |e Sonstige |0 (DE-588)12400301X |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 2925 |w (DE-604)BV000000607 |9 2925 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-012851561 | |
Record in the Search Index
| _version_ | 1820874952570568704 |
|---|---|
| adam_text | |
| any_adam_object | |
| author_GND | (DE-588)12400301X |
| building | Verbundindex |
| bvnumber | BV019388757 |
| callnumber-first | Q - Science |
| callnumber-label | QA274 |
| callnumber-raw | QA274.2 |
| callnumber-search | QA274.2 |
| callnumber-sort | QA 3274.2 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 910f MAT 605f |
| ctrlnum | (OCoLC)56333914 (DE-599)BVBBV019388757 |
| dewey-full | 519.22 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 519 - Probabilities and applied mathematics |
| dewey-raw | 519.22 |
| dewey-search | 519.22 |
| dewey-sort | 3519.22 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV019388757</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20041227</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">040910s2004 xx d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540222650</subfield><subfield code="9">3-540-22265-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)56333914</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV019388757</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA274.2</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">519.22</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 910f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 605f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Validation of stochastic systems</subfield><subfield code="b">a guide to current research</subfield><subfield code="c">Christel Baier ... (Eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">2004</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 465 S.</subfield><subfield code="b">graph. Darst.</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">2925</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Analyse stochastique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Analyse stochastique</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Processus stochastique</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Processus stochastiques</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Système stochastique</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systèmes stochastiques</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Stochastic analysis</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Stochastic processes</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Stochastic systems</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Stochastisches System</subfield><subfield code="0">(DE-588)4057635-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Validierung</subfield><subfield code="0">(DE-588)4187357-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2002</subfield><subfield code="z">Dagstuhl</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Stochastisches System</subfield><subfield code="0">(DE-588)4057635-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Validierung</subfield><subfield code="0">(DE-588)4187357-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Baier, Christel</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)12400301X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">2925</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">2925</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-012851561</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2002 Dagstuhl gnd-content |
| genre_facet | Konferenzschrift 2002 Dagstuhl |
| id | DE-604.BV019388757 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:07:55Z |
| institution | BVB |
| isbn | 3540222650 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-012851561 |
| oclc_num | 56333914 |
| open_access_boolean | |
| owner | DE-384 DE-739 DE-91G DE-BY-TUM DE-824 DE-706 |
| owner_facet | DE-384 DE-739 DE-91G DE-BY-TUM DE-824 DE-706 |
| physical | VIII, 465 S. graph. Darst. |
| publishDate | 2004 |
| publishDateSearch | 2004 |
| publishDateSort | 2004 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Validation of stochastic systems a guide to current research Christel Baier ... (Eds.) Berlin u.a. Springer 2004 VIII, 465 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 2925 Analyse stochastique Analyse stochastique rasuqam Processus stochastique rasuqam Processus stochastiques Système stochastique rasuqam Systèmes stochastiques Stochastic analysis Stochastic processes Stochastic systems Stochastisches System (DE-588)4057635-8 gnd rswk-swf Validierung (DE-588)4187357-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2002 Dagstuhl gnd-content Stochastisches System (DE-588)4057635-8 s Validierung (DE-588)4187357-9 s DE-604 Baier, Christel Sonstige (DE-588)12400301X oth Lecture Notes in Computer Science 2925 (DE-604)BV000000607 2925 |
| spellingShingle | Validation of stochastic systems a guide to current research Lecture Notes in Computer Science Analyse stochastique Analyse stochastique rasuqam Processus stochastique rasuqam Processus stochastiques Système stochastique rasuqam Systèmes stochastiques Stochastic analysis Stochastic processes Stochastic systems Stochastisches System (DE-588)4057635-8 gnd Validierung (DE-588)4187357-9 gnd |
| subject_GND | (DE-588)4057635-8 (DE-588)4187357-9 (DE-588)1071861417 |
| title | Validation of stochastic systems a guide to current research |
| title_auth | Validation of stochastic systems a guide to current research |
| title_exact_search | Validation of stochastic systems a guide to current research |
| title_full | Validation of stochastic systems a guide to current research Christel Baier ... (Eds.) |
| title_fullStr | Validation of stochastic systems a guide to current research Christel Baier ... (Eds.) |
| title_full_unstemmed | Validation of stochastic systems a guide to current research Christel Baier ... (Eds.) |
| title_short | Validation of stochastic systems |
| title_sort | validation of stochastic systems a guide to current research |
| title_sub | a guide to current research |
| topic | Analyse stochastique Analyse stochastique rasuqam Processus stochastique rasuqam Processus stochastiques Système stochastique rasuqam Systèmes stochastiques Stochastic analysis Stochastic processes Stochastic systems Stochastisches System (DE-588)4057635-8 gnd Validierung (DE-588)4187357-9 gnd |
| topic_facet | Analyse stochastique Processus stochastique Processus stochastiques Système stochastique Systèmes stochastiques Stochastic analysis Stochastic processes Stochastic systems Stochastisches System Validierung Konferenzschrift 2002 Dagstuhl |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT baierchristel validationofstochasticsystemsaguidetocurrentresearch |