| 000 | 01430nmm a22003017a 4500 | ||
|---|---|---|---|
| 003 | SPU | ||
| 005 | 20230804145300.0 | ||
| 008 | 220611s2021||||enk o ||1 0|eng|d | ||
| 020 | _a9781108770750 | ||
| 040 | _aSPU | ||
| 049 | _amain | ||
| 050 | 4 |
_aQA 76.6 _bF68 2021 |
|
| 245 | 0 | 0 |
_aFoundations of probabilistic programming / _cedited by Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva _h[electronic resource] |
| 260 |
_aCambridge : _bCambridge University Press, _c2021 |
||
| 300 | _aonline resource | ||
| 449 | _a111117 | ||
| 505 | _aSemantics of Probabilistic Programming : A Gentle Introduction -- Semantics of Probabilistic Programming: A Gentle Introduction -- Expected Runtime Analyis by Program Verification -- Quantitative Analysis of Programs with Probabilities and Concentration of Measure Inequalities -- Probabilistic Abstract Interpretation: Sound Inference and Application to Privacy -- Luck: A Probabilistic Language for Testing -- Programming Unreliable Hardware | ||
| 650 | 0 |
_aCOMPUTER PROGRAMMING _940510 |
|
| 650 | 0 |
_aPROBABILITIES _xDATA PROCESSING _9245930 |
|
| 700 | 1 |
_aBarthe, Gilles, _d1967- _eeditor |
|
| 700 | 1 |
_aKatoen, Joost-Pieter, _eeditor |
|
| 700 | 1 |
_aSilva, Alexandra, _eeditor |
|
| 850 | _aSPU | ||
| 856 | _uhttps://doi.org/10.1017/9781108770750 | ||
| 910 |
_aLibrary _bCambridge University Press _c110622 _pEB000148 |
||
| 942 |
_2lcc _cEBK |
||
| 998 |
_ajirawan 0622 _bjirawan 0622 |
||
| 999 | _c204918 | ||