Your search returned 2 results.

Constructive computation in stochastic models with applications : the RG-factorization / Quan-Lin Li. by
  • Li, Quan-Lin
Material type: Text 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.

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.


Central Library, Indian Institute of Technology Bhubaneswar, 4th Floor, Administrative Building, Argul, Khordha, PIN-752050, Odisha, India
Phone: +91-674-7138750 | Email: (For circulation related queries),
Email: (For other queries)

Powered by Koha