Formalized Probability Theory And Applications Using Theorem Proving

By:

Material type: Text

TextPublication details: USA Igi Publishing 2015Edition: 1stDescription: 298pISBN:

Subject(s):

DDC classification:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Home library	Call number	Status	Notes	Date due	Barcode
Books	Central Library	Central Library	519.2 HAS (Browse shelf(Opens below))	Available	30/09/2019		CLIB114121

Previous		No cover image available	No cover image available		No cover image available	No cover image available	No cover image available	Next
Previous	519.2 GIN Stochastic Inequalities And Applications	519.2 GRI,G One Thausand Exercises in Probability	519.2 GST Estimating Output-Specific Efficiencies	519.2 HAS Formalized Probability Theory And Applications Using Theorem Proving	519.2 HAY,A.J Probability and statistics for engineers.	519.2 HAY,A.J Probability & Statistics For Engineers	519.2 HOU High Dimensional Probability VI	Next

There are no comments on this title.

to post a comment.

Back to results