Kapak Resmi

Foundations of Probabilistic Programming

This book provides an overview of the theoretical underpinnings of modern probabilistic programming and presents applications in e.g., machine learning, security, and approximate computing. Comprehensive survey chapters make the material accessible to graduate students and non-experts. This title is...

Kaydedildi:

Detaylı Bibliyografya
Diğer Yazarlar:	Barthe, Gilles (Editör), Katoen, Joost-Pieter (Editör), Silva, Alexandra (Editör)
Materyal Türü:	Elektronik Kitap Bölümü
Dil:	İngilizce
Baskı/Yayın Bilgisi:	Cambridge University Press 2020
Seri Bilgileri:	Mathematical Sciences and Information Technology
Konular:	Programming & scripting languages: general Machine learning Artificial intelligence theory of programming languages
Online Erişim:	DOAB: download the publication DOAB: description of the publication
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Benzer Materyaller

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Baskı/Yayın Bilgisi: (2019)

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Baskı/Yayın Bilgisi: (2019)

10 PRINT CHR$(205.5+RND(1)); : GOTO 10
Yazar:: Montfort, Nick
Baskı/Yayın Bilgisi: (2012)

XcalableMP PGAS Programming Language From Programming Model to Applications
Yazar:: Sato, Mitsuhisa
Baskı/Yayın Bilgisi: (2021)

XcalableMP PGAS Programming Language From Programming Model to Applications
Yazar:: Sato, Mitsuhisa
Baskı/Yayın Bilgisi: (2021)

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings /
Baskı/Yayın Bilgisi: (2019)

10 PRINT CHR$(205.5+RND(1)); GOTO 10
Yazar:: Montfort, Nick
Baskı/Yayın Bilgisi: (2014)

Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
Baskı/Yayın Bilgisi: (2020)

Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
Baskı/Yayın Bilgisi: (2020)

Data Parallel C++ Mastering DPC++ for Programming of Heterogeneous Systems using C++ and SYCL
Yazar:: Reinders, James
Baskı/Yayın Bilgisi: (2021)

Data Parallel C++ Mastering DPC++ for Programming of Heterogeneous Systems using C++ and SYCL
Yazar:: Reinders, James
Baskı/Yayın Bilgisi: (2021)

Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
Baskı/Yayın Bilgisi: (2021)

Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
Baskı/Yayın Bilgisi: (2021)

Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Baskı/Yayın Bilgisi: (2023)

Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Baskı/Yayın Bilgisi: (2023)

Data Parallel C++ Programming Accelerated Systems Using C++ and SYCL
Yazar:: Reinders, James
Baskı/Yayın Bilgisi: (2023)

Data Parallel C++ Programming Accelerated Systems Using C++ and SYCL
Yazar:: Reinders, James
Baskı/Yayın Bilgisi: (2023)

Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
Baskı/Yayın Bilgisi: (2020)

Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
Baskı/Yayın Bilgisi: (2020)

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Baskı/Yayın Bilgisi: (2019)

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Baskı/Yayın Bilgisi: (2019)

Pro TBB C++ Parallel Programming with Threading Building Blocks
Yazar:: Voss, Michael
Baskı/Yayın Bilgisi: (2019)

Pro TBB C++ Parallel Programming with Threading Building Blocks
Yazar:: Voss, Michael
Baskı/Yayın Bilgisi: (2019)

Rethinking Productivity in Software Engineering
Baskı/Yayın Bilgisi: (2019)

Rethinking Productivity in Software Engineering
Baskı/Yayın Bilgisi: (2019)

Rhetorical Code Studies: Discovering Arguments in and around Code
Yazar:: Brock, Kevin
Baskı/Yayın Bilgisi: (2019)

Rhetorical Code Studies: Discovering Arguments in and around Code
Yazar:: Brock, Kevin
Baskı/Yayın Bilgisi: (2019)

Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings /
Baskı/Yayın Bilgisi: (2021)

Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
Baskı/Yayın Bilgisi: (2021)

Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
Baskı/Yayın Bilgisi: (2021)

Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Baskı/Yayın Bilgisi: (2019)

Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Baskı/Yayın Bilgisi: (2019)

Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings /
Baskı/Yayın Bilgisi: (2021)

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /
Baskı/Yayın Bilgisi: (2023)

Foundation Models for Natural Language Processing Pre-trained Language Models Integrating Media /
Yazar:: Paaß, Gerhard, ve diğerleri
Baskı/Yayın Bilgisi: (2023)

Developing Graphics Frameworks with Python and OpenGL
Yazar:: Stemkoski, Lee
Baskı/Yayın Bilgisi: (2021)

Developing Graphics Frameworks with Python and OpenGL
Yazar:: Stemkoski, Lee
Baskı/Yayın Bilgisi: (2021)

Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
Baskı/Yayın Bilgisi: (2022)

Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
Baskı/Yayın Bilgisi: (2022)

Architecture of Advanced Numerical Analysis Systems Designing a Scientific Computing System using OCaml /
Yazar:: Wang, Liang, ve diğerleri
Baskı/Yayın Bilgisi: (2023)