Gutscheinbedingungen

**Gültig bis 17.08.2026 auf Schreibwaren & Office-Artikel online auf thalia.at, in der Thalia App und in teilnehmenden Thalia Buchhandlungen in Österreich mit Schulsortiment. In den Buchhandlungen nur gültig auf lagernde Ware. Einzelne Artikel können ausgeschlossen sein. Ausgenommen sind preisgebundene Artikel. Pro Einkauf einmal einlösbar. Nur gültig gegen Vorlage oder im Onlineshop hinterlegter Bonuscard. Infos zur Einlösung in der Buchhandlung sind auf der Bonuscard-Vorteilspreisseite zu finden. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Einlösung bei Scan & Go-Bezahlung. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Geschenkkarten, Versandkosten und Services.

Produktbild: Foundations of Probabilistic Programming

Foundations of Probabilistic Programming

84,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

07.01.2021

Herausgeber

Barthe Gilles + weitere

Verlag

Cambridge Academic

Seitenzahl

582

Maße (L/B/H)

24,8/17,2/3,3 cm

Gewicht

1230 g

Sprache

Englisch

ISBN

978-1-108-48851-8

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

07.01.2021

Herausgeber

Verlag

Cambridge Academic

Seitenzahl

582

Maße (L/B/H)

24,8/17,2/3,3 cm

Gewicht

1230 g

Sprache

Englisch

ISBN

978-1-108-48851-8

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: gpsr@libri.de

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Foundations of Probabilistic Programming
  • 1. Semantics of Probabilistic Programming: A Gentle Introduction Fredrik Dahlqvist, Alexandra Silva and Dexter Kozen; 2. Probabilistic Programs as Measures Sam Staton; 3. An Application of Computable Distributions to the Semantics of Probabilistic Programs Daniel Huang, Greg Morrisett and Bas Spitters; 4. On Probabilistic ¿-Calculi Ugo Dal Lago; 5. Probabilistic Couplings from Program Logics Gilles Barthe and Justin Hsu; 6. Expected Runtime Analysis by Program Verification Benjamin Lucien Kaminski, Joost-Pieter Katoen and Christoph Matheja; 7. Termination Analysis of Probabilistic Programs with Martingales Krishnendu Chatterjee, Hongfei Fu and Petr Novotný; 8. Quantitative Analysis of Programs with Probabilities and Concentration of Measure Inequalities Sriram Sankaranarayanan; 9. The Logical Essentials of Bayesian Reasoning Bart Jacobs and Fabio Zanasi; 10. Quantitative Equational Reasoning Giorgio Bacci, Radu Mardare, Prakash Panangaden and Gordon Plotkin; 11. Probabilistic Abstract Interpretation: Sound Inference and Application to Privacy José Manuel Calderón Trilla, Michael Hicks, Stephen Magill, Piotr Mardziel and Ian Sweet; 12. Quantitative Information Flow with Monads in Haskell Jeremy Gibbons, Annabelle McIver, Carroll Morgan and Tom Schrijvers; 13. Luck: A Probabilistic Language for Testing Lampropoulos Leonidas, Benjamin C. Pierce, Li-yao Xia, Diane Gallois-Wong, C¿t¿lin Hri¿cu and John Hughes; 14. Tabular: Probabilistic Inference from the Spreadsheet Andrew D. Gordon, Claudio Russo, Marcin Szymczak, Johannes Borgström, Nicolas Rolland, Thore Graepel and Daniel Tarlow; 15. Programming Unreliable Hardware Michael Carbin and Sasa Misailovic.