Semantics of the probabilistic typed lambda calculus: Markov chain semantics, termination behavior, and denotational semantics
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin ; Heidelberg
Springer
2017
|
| Schlagworte: | |
| Beschreibung: | VIII, 218 Seiten Illustrationen |
| ISBN: | 9783642551970 9783642551987 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV044649941 | ||
| 003 | DE-604 | ||
| 005 | 20240302 | ||
| 007 | t | ||
| 008 | 171124s2017 a||| |||| 00||| eng d | ||
| 020 | |a 9783642551970 |c Hbk |9 978-3-642-55197-0 | ||
| 020 | |a 9783642551987 |c Online |9 978-3-642-55198-7 | ||
| 035 | |a (OCoLC)986540658 | ||
| 035 | |a (DE-599)BVBBV044649941 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-11 |a DE-188 |a DE-83 | ||
| 082 | 0 | |a 004.0151 |2 23 | |
| 084 | |a SK 820 |0 (DE-625)143258: |2 rvk | ||
| 084 | |a ST 250 |0 (DE-625)143626: |2 rvk | ||
| 084 | |a 68N18 |2 msc/2010 | ||
| 084 | |a 68Q55 |2 msc/2010 | ||
| 084 | |a 03B70 |2 msc/2010 | ||
| 084 | |a 03B40 |2 msc/2010 | ||
| 100 | 1 | |a Draheim, Dirk |d 1969- |0 (DE-588)1169584039 |4 aut | |
| 245 | 1 | 0 | |a Semantics of the probabilistic typed lambda calculus |b Markov chain semantics, termination behavior, and denotational semantics |c Dirk Draheim |
| 264 | 1 | |a Berlin ; Heidelberg |b Springer |c 2017 | |
| 300 | |a VIII, 218 Seiten |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 650 | 4 | |a Computers | |
| 650 | 4 | |a Mathematical statistics | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Theory of Computation | |
| 650 | 4 | |a Programming Languages, Compilers, Interpreters | |
| 650 | 4 | |a Probability and Statistics in Computer Science | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-642-55198-7 |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030047695 | ||
Datensatz im Suchindex
| _version_ | 1804178077605953536 |
|---|---|
| any_adam_object | |
| author | Draheim, Dirk 1969- |
| author_GND | (DE-588)1169584039 |
| author_facet | Draheim, Dirk 1969- |
| author_role | aut |
| author_sort | Draheim, Dirk 1969- |
| author_variant | d d dd |
| building | Verbundindex |
| bvnumber | BV044649941 |
| classification_rvk | SK 820 ST 250 |
| ctrlnum | (OCoLC)986540658 (DE-599)BVBBV044649941 |
| dewey-full | 004.0151 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.0151 |
| dewey-search | 004.0151 |
| dewey-sort | 14.0151 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01576nam a2200457 c 4500</leader><controlfield tag="001">BV044649941</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20240302 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">171124s2017 a||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642551970</subfield><subfield code="c">Hbk</subfield><subfield code="9">978-3-642-55197-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642551987</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-55198-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)986540658</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044649941</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="049" ind1=" " ind2=" "><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 820</subfield><subfield code="0">(DE-625)143258:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 250</subfield><subfield code="0">(DE-625)143626:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">68N18</subfield><subfield code="2">msc/2010</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">68Q55</subfield><subfield code="2">msc/2010</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03B70</subfield><subfield code="2">msc/2010</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03B40</subfield><subfield code="2">msc/2010</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Draheim, Dirk</subfield><subfield code="d">1969-</subfield><subfield code="0">(DE-588)1169584039</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Semantics of the probabilistic typed lambda calculus</subfield><subfield code="b">Markov chain semantics, termination behavior, and denotational semantics</subfield><subfield code="c">Dirk Draheim</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg</subfield><subfield code="b">Springer</subfield><subfield code="c">2017</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 218 Seiten</subfield><subfield code="b">Illustrationen</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="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical statistics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Theory of Computation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Languages, Compilers, Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Probability and Statistics in Computer Science</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-642-55198-7</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030047695</subfield></datafield></record></collection> |
| id | DE-604.BV044649941 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T07:58:14Z |
| institution | BVB |
| isbn | 9783642551970 9783642551987 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030047695 |
| oclc_num | 986540658 |
| open_access_boolean | |
| owner | DE-11 DE-188 DE-83 |
| owner_facet | DE-11 DE-188 DE-83 |
| physical | VIII, 218 Seiten Illustrationen |
| publishDate | 2017 |
| publishDateSearch | 2017 |
| publishDateSort | 2017 |
| publisher | Springer |
| record_format | marc |
| spelling | Draheim, Dirk 1969- (DE-588)1169584039 aut Semantics of the probabilistic typed lambda calculus Markov chain semantics, termination behavior, and denotational semantics Dirk Draheim Berlin ; Heidelberg Springer 2017 VIII, 218 Seiten Illustrationen txt rdacontent n rdamedia nc rdacarrier Computer science Programming languages (Electronic computers) Computers Mathematical statistics Computer Science Theory of Computation Programming Languages, Compilers, Interpreters Probability and Statistics in Computer Science Erscheint auch als Online-Ausgabe 978-3-642-55198-7 |
| spellingShingle | Draheim, Dirk 1969- Semantics of the probabilistic typed lambda calculus Markov chain semantics, termination behavior, and denotational semantics Computer science Programming languages (Electronic computers) Computers Mathematical statistics Computer Science Theory of Computation Programming Languages, Compilers, Interpreters Probability and Statistics in Computer Science |
| title | Semantics of the probabilistic typed lambda calculus Markov chain semantics, termination behavior, and denotational semantics |
| title_auth | Semantics of the probabilistic typed lambda calculus Markov chain semantics, termination behavior, and denotational semantics |
| title_exact_search | Semantics of the probabilistic typed lambda calculus Markov chain semantics, termination behavior, and denotational semantics |
| title_full | Semantics of the probabilistic typed lambda calculus Markov chain semantics, termination behavior, and denotational semantics Dirk Draheim |
| title_fullStr | Semantics of the probabilistic typed lambda calculus Markov chain semantics, termination behavior, and denotational semantics Dirk Draheim |
| title_full_unstemmed | Semantics of the probabilistic typed lambda calculus Markov chain semantics, termination behavior, and denotational semantics Dirk Draheim |
| title_short | Semantics of the probabilistic typed lambda calculus |
| title_sort | semantics of the probabilistic typed lambda calculus markov chain semantics termination behavior and denotational semantics |
| title_sub | Markov chain semantics, termination behavior, and denotational semantics |
| topic | Computer science Programming languages (Electronic computers) Computers Mathematical statistics Computer Science Theory of Computation Programming Languages, Compilers, Interpreters Probability and Statistics in Computer Science |
| topic_facet | Computer science Programming languages (Electronic computers) Computers Mathematical statistics Computer Science Theory of Computation Programming Languages, Compilers, Interpreters Probability and Statistics in Computer Science |
| work_keys_str_mv | AT draheimdirk semanticsoftheprobabilistictypedlambdacalculusmarkovchainsemanticsterminationbehavioranddenotationalsemantics |