UNSIA - eLibrary

  • Beranda
  • Kontak Kami
  • E-book
    E-book 1
    E-book 2
  • Login
    Login Member
    Login Librarian
  • Pilih Bahasa :
    Bahasa Arab Bahasa Bengal Bahasa Brazil Portugis Bahasa Inggris Bahasa Spanyol Bahasa Jerman Bahasa Indonesia Bahasa Jepang Bahasa Melayu Bahasa Persia Bahasa Rusia Bahasa Thailand Bahasa Turki Bahasa Urdu

Pencarian berdasarkan :

SEMUA Pengarang Subjek ISBN/ISSN Pencarian Spesifik

Pencarian terakhir:

{{tmpObj[k].text}}
Image of Foundations of probabilistic programming
Penanda Bagikan

Text

Foundations of probabilistic programming

Barthe, Gilles - Nama Orang; Katoen, Joost-Pieter - Nama Orang; Silva, Alexandra - Nama Orang;

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.


Ketersediaan
#
Repository Unsia Cyber Library (Repository) 000
2024ebook040
Tersedia
Informasi Detail
Judul Seri
-
No. Panggil
-
Penerbit
New York : Cambridge University Press., 2020
Deskripsi Fisik
xiv, 568p. : ill.
Bahasa
English
ISBN/ISSN
9781108770750
Klasifikasi
001.642
Tipe Isi
-
Tipe Media
-
Tipe Pembawa
-
Edisi
-
Subjek
Computer programming.
Computer programming. Topik Primary Probabilities
Info Detail Spesifik
-
Pernyataan Tanggungjawab
-
Versi lain/terkait

Tidak tersedia versi lain

Lampiran Berkas
  • 9781108770750
Komentar

Anda harus masuk sebelum memberikan komentar

UNSIA - eLibrary
  • Informasi
  • Layanan
  • Pustakawan
  • Area Anggota

Tentang Kami

Merupakan universitas pertama di Indonesia yang berbasis full online learning di bawah Yayasan Memajukan Ilmu Dan Kebudayaan (YMIK)

Cari

masukkan satu atau lebih kata kunci dari judul, pengarang, atau subjek


© 2025 — Universitas Siber Asia

Ditenagai oleh SLiMS
Pilih subjek yang menarik bagi Anda
  • Karya Umum
  • Filsafat
  • Agama
  • Ilmu-ilmu Sosial
  • Bahasa
  • Ilmu-ilmu Murni
  • Ilmu-ilmu Terapan
  • Kesenian, Hiburan, dan Olahraga
  • Kesusastraan
  • Geografi dan Sejarah
Icons made by Freepik from www.flaticon.com
Pencarian Spesifik
Kemana ingin Anda bagikan?