<![CDATA[Central Library Search for 'au:"Stoelinga, Mari�elle."']]>

<![CDATA[Central Library Search for 'au:"Stoelinga, Mari�elle."']]> https://opac.nitk.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=au%3A%22Stoelinga%2C%20Mari%EF%BF%BDelle.%22&format=rss2 2 0 50 Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems ISBN 9783662454893 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=53593

. XII, 281 p. 69 illus. 9783662454893

Place Hold on Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=53593 Quantitative Evaluation of Systems ISBN 9783642401961 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=53445

. XII, 406 p. 98 illus. 9783642401961

Place Hold on Quantitative Evaluation of Systems

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=53445