Local cover image
Image from Amazon.com
Foundations of probabilistic programming / edited by Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva [electronic resource]
Material type:
Computer filePublication details: Cambridge : Cambridge University Press, 2021Description: online resourceISBN: - 9781108770750
- QA 76.6 F68 2021
Contents:
Semantics 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
| Item type | Current library | Collection | Shelving location | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|---|
E-Book
|
SPU Library, Bangkok (Main Campus) | Electronic Resources | On Display | QA 76.6 F68 2021 (Browse shelf(Opens below)) | Available | EB000148 |
Total holds: 0
Semantics 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
There are no comments on this title.
Log in to your account to post a comment.
Click on an image to view it in the image viewer