Towards faster numerical solution of continuous time Markov Chains stored by symbolic data structures:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | English |
| Veröffentlicht: |
München
Verl. Dr. Hut
2012
|
| Ausgabe: | 1. Auflage |
| Schriftenreihe: | Informatik
|
| Schlagworte: | |
| Online-Zugang: | Inhaltstext |
| Beschreibung: | VIII, 137 S. graph. Darst. 240 mm x 170 mm, 315 g |
| ISBN: | 9783843903158 3843903158 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV039937849 | ||
| 003 | DE-604 | ||
| 005 | 20160519 | ||
| 007 | t | ||
| 008 | 120306s2012 d||| m||| 00||| eng d | ||
| 015 | |a 12,N06 |2 dnb | ||
| 016 | 7 | |a 101944858X |2 DE-101 | |
| 020 | |a 9783843903158 |c Pb. : EUR 72.00 (DE), EUR 74.10 (AT) |9 978-3-8439-0315-8 | ||
| 020 | |a 3843903158 |9 3-8439-0315-8 | ||
| 024 | 3 | |a 9783843903158 | |
| 035 | |a (OCoLC)785837612 | ||
| 035 | |a (DE-599)DNB101944858X | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-706 |a DE-91 | ||
| 082 | 0 | |a 004 | |
| 084 | |a 004 |2 sdnb | ||
| 100 | 1 | |a Schuster, Johann |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Towards faster numerical solution of continuous time Markov Chains stored by symbolic data structures |c Johann Schuster |
| 250 | |a 1. Auflage | ||
| 264 | 1 | |a München |b Verl. Dr. Hut |c 2012 | |
| 300 | |a VIII, 137 S. |b graph. Darst. |c 240 mm x 170 mm, 315 g | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Informatik | |
| 502 | |a Zugl.: München, Univ. der Bundeswehr München, Diss., 2011 | ||
| 650 | 0 | 7 | |a Binäres Entscheidungsdiagramm |0 (DE-588)4530728-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Markov-Kette mit stetiger Zeit |0 (DE-588)4272650-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modellbasiertes Testen |0 (DE-588)7732025-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Modellbasiertes Testen |0 (DE-588)7732025-6 |D s |
| 689 | 0 | 1 | |a Binäres Entscheidungsdiagramm |0 (DE-588)4530728-3 |D s |
| 689 | 0 | 2 | |a Markov-Kette mit stetiger Zeit |0 (DE-588)4272650-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |a Schuster, Johann |t Towards faster numerical solution of Continuous Time Markov Chains stored by symbolic data structures |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3972986&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-024795965 | |
Datensatz im Suchindex
| _version_ | 1805146241208680448 |
|---|---|
| adam_text | |
| any_adam_object | |
| author | Schuster, Johann |
| author_facet | Schuster, Johann |
| author_role | aut |
| author_sort | Schuster, Johann |
| author_variant | j s js |
| building | Verbundindex |
| bvnumber | BV039937849 |
| ctrlnum | (OCoLC)785837612 (DE-599)DNB101944858X |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| edition | 1. Auflage |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV039937849</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160519</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">120306s2012 d||| m||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">12,N06</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">101944858X</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783843903158</subfield><subfield code="c">Pb. : EUR 72.00 (DE), EUR 74.10 (AT)</subfield><subfield code="9">978-3-8439-0315-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3843903158</subfield><subfield code="9">3-8439-0315-8</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783843903158</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)785837612</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB101944858X</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-91</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Schuster, Johann</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Towards faster numerical solution of continuous time Markov Chains stored by symbolic data structures</subfield><subfield code="c">Johann Schuster</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. Auflage</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="b">Verl. Dr. Hut</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 137 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">240 mm x 170 mm, 315 g</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="0" ind2=" "><subfield code="a">Informatik</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: München, Univ. der Bundeswehr München, Diss., 2011</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Binäres Entscheidungsdiagramm</subfield><subfield code="0">(DE-588)4530728-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Markov-Kette mit stetiger Zeit</subfield><subfield code="0">(DE-588)4272650-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modellbasiertes Testen</subfield><subfield code="0">(DE-588)7732025-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Modellbasiertes Testen</subfield><subfield code="0">(DE-588)7732025-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Binäres Entscheidungsdiagramm</subfield><subfield code="0">(DE-588)4530728-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Markov-Kette mit stetiger Zeit</subfield><subfield code="0">(DE-588)4272650-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="a">Schuster, Johann</subfield><subfield code="t">Towards faster numerical solution of Continuous Time Markov Chains stored by symbolic data structures</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3972986&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-024795965</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV039937849 |
| illustrated | Illustrated |
| indexdate | 2024-07-21T00:26:46Z |
| institution | BVB |
| isbn | 9783843903158 3843903158 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024795965 |
| oclc_num | 785837612 |
| open_access_boolean | |
| owner | DE-12 DE-706 DE-91 DE-BY-TUM |
| owner_facet | DE-12 DE-706 DE-91 DE-BY-TUM |
| physical | VIII, 137 S. graph. Darst. 240 mm x 170 mm, 315 g |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | Verl. Dr. Hut |
| record_format | marc |
| series2 | Informatik |
| spelling | Schuster, Johann Verfasser aut Towards faster numerical solution of continuous time Markov Chains stored by symbolic data structures Johann Schuster 1. Auflage München Verl. Dr. Hut 2012 VIII, 137 S. graph. Darst. 240 mm x 170 mm, 315 g txt rdacontent n rdamedia nc rdacarrier Informatik Zugl.: München, Univ. der Bundeswehr München, Diss., 2011 Binäres Entscheidungsdiagramm (DE-588)4530728-3 gnd rswk-swf Markov-Kette mit stetiger Zeit (DE-588)4272650-5 gnd rswk-swf Modellbasiertes Testen (DE-588)7732025-6 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Modellbasiertes Testen (DE-588)7732025-6 s Binäres Entscheidungsdiagramm (DE-588)4530728-3 s Markov-Kette mit stetiger Zeit (DE-588)4272650-5 s DE-604 Erscheint auch als Online-Ausgabe Schuster, Johann Towards faster numerical solution of Continuous Time Markov Chains stored by symbolic data structures X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3972986&prov=M&dok_var=1&dok_ext=htm Inhaltstext |
| spellingShingle | Schuster, Johann Towards faster numerical solution of continuous time Markov Chains stored by symbolic data structures Binäres Entscheidungsdiagramm (DE-588)4530728-3 gnd Markov-Kette mit stetiger Zeit (DE-588)4272650-5 gnd Modellbasiertes Testen (DE-588)7732025-6 gnd |
| subject_GND | (DE-588)4530728-3 (DE-588)4272650-5 (DE-588)7732025-6 (DE-588)4113937-9 |
| title | Towards faster numerical solution of continuous time Markov Chains stored by symbolic data structures |
| title_auth | Towards faster numerical solution of continuous time Markov Chains stored by symbolic data structures |
| title_exact_search | Towards faster numerical solution of continuous time Markov Chains stored by symbolic data structures |
| title_full | Towards faster numerical solution of continuous time Markov Chains stored by symbolic data structures Johann Schuster |
| title_fullStr | Towards faster numerical solution of continuous time Markov Chains stored by symbolic data structures Johann Schuster |
| title_full_unstemmed | Towards faster numerical solution of continuous time Markov Chains stored by symbolic data structures Johann Schuster |
| title_short | Towards faster numerical solution of continuous time Markov Chains stored by symbolic data structures |
| title_sort | towards faster numerical solution of continuous time markov chains stored by symbolic data structures |
| topic | Binäres Entscheidungsdiagramm (DE-588)4530728-3 gnd Markov-Kette mit stetiger Zeit (DE-588)4272650-5 gnd Modellbasiertes Testen (DE-588)7732025-6 gnd |
| topic_facet | Binäres Entscheidungsdiagramm Markov-Kette mit stetiger Zeit Modellbasiertes Testen Hochschulschrift |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3972986&prov=M&dok_var=1&dok_ext=htm |
| work_keys_str_mv | AT schusterjohann towardsfasternumericalsolutionofcontinuoustimemarkovchainsstoredbysymbolicdatastructures |