Formalized Probability Theory and Applications Using Theorem Proving

£185.00

Formalized Probability Theory and Applications Using Theorem Proving

Mathematics Probability and statistics Computer architecture and logic design

Authors: Osman Hasan, Sofiene Tahar

Dinosaur mascot

Language: English

Published by: Information Science Reference

Published on: 31st March 2015

Format: LCP-protected ePub

Size: 298 pages

ISBN: 9781466683174

You may also like

Principles of Formal Quantitative Analysis

Principles of Formal Quantitative Analysis

Probability and Inductive Logic

Probability and Inductive Logic

Principles of Verification: Cycling the Probabilistic Landscape

Principles of Verification: Cycling the Probabilistic Landscape

Principles of Verification: Cycling the Probabilistic Landscape

Principles of Verification: Cycling the Probabilistic Landscape

Principles of Verification: Cycling the Probabilistic Landscape

Principles of Verification: Cycling the Probabilistic Landscape

Program Proofs

Program Proofs

Probability and Statistics for Computer Scientists

Probability and Statistics for Computer Scientists

Probability with R

Probability with R

Theory of Computation and Application- Automata,Formal languages,Computational Complexity (2nd Edition)

Theory of Computation and Application- Automata,Formal languages,Computational Complexity (2nd Edition)

Probability

Probability

Foundations of Constructive Probability Theory

Foundations of Constructive Probability Theory

Probability and Computing

Probability and Computing