Perpustakaan Fakultas Ilmu Kesehatan

  • Home
  • Information
  • News
  • Help
  • Librarian
  • Bebas Pustaka
  • Member Area
  • Select Language :
    Arabic Bengali Brazilian Portuguese English Espanol German Indonesian Japanese Malay Persian Russian Thai Turkish Urdu

Search by :

ALL Author Subject ISBN/ISSN Advanced Search

Last search:

{{tmpObj[k].text}}
Image of Foundations of Probabilistic Programming
Bookmark Share

Text

Foundations of Probabilistic Programming

Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva - Personal Name;

Description Not Available


Availability

No copy data

Detail Information
Series Title
Ebook MIK
Call Number
-
Publisher
Inggris : Cambridge University Press., 2020
Collation
-
Language
Inggris
ISBN/ISSN
-
Classification
NONE
Content Type
-
Media Type
Ebook
Carrier Type
-
Edition
-
Subject(s)
Ebook MIK
Specific Detail Info
-
Statement of Responsibility
-
Other version/related

No other version available

File Attachment
  • Foundations of Probabilistic Programming
    What does a probabilistic program actually compute? How can one formally reason about such probabilistic programs? This valuable guide covers such elementary questions and more. It provides a state-of-the-art overview of the theoretical underpinnings of modern probabilistic programming and their applications in machine learning, security, and other domains, at a level suitable for graduate students and non-experts in the field. In addition, the book treats the connection between probabilistic programs and mathematical logic, security (what is the probability that software leaks confidential information?), and presents three programming languages for different applications: Excel tables, program testing, and approximate computing. This title is also available as Open Access on Cambridge Core.
Comments

You must be logged in to post a comment

Perpustakaan Fakultas Ilmu Kesehatan
  • Information
  • Services
  • Librarian
  • Member Area

About Us

As a complete Library Management System, SLiMS (Senayan Library Management System) has many features that will help libraries and librarians to do their job easily and quickly. Follow this link to show some features provided by SLiMS.

Search

start it by typing one or more keywords for title, author or subject

Keep SLiMS Alive Want to Contribute?

© 2026 — Senayan Developer Community

Powered by SLiMS
Select the topic you are interested in
  • Computer Science, Information & General Works
  • Philosophy & Psychology
  • Religion
  • Social Sciences
  • Language
  • Pure Science
  • Applied Sciences
  • Art & Recreation
  • Literature
  • History & Geography
Icons made by Freepik from www.flaticon.com
Advanced Search
Where do you want to share?