Your search returned 2 results.

Results
	1.	Constructive computation in stochastic models with applications : the RG-factorization / Quan-Lin Li. by Li, Quan-Lin Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, c2010 Availability: Items available for reference: Central Library, IIT Bhubaneswar: Not for loan (1)Call number: 519.2 LI/C.
	2.	Stochastic model checking : rigorous dependability analysis using model checking techniques for stochastic systems / Anne Remke and Marielle Stoelinga by Remke, Anne [Author] Stoelinga, Marielle [Author] Language: English Publication details: Heidelberg : Springer, 2014 Availability: Items available for loan: Central Library, IIT Bhubaneswar (1)Call number: 003.76 REM/S. Place hold

Refine your search