विद्यार्जन संसाधन केंद्र, भारतीय प्रौद्योगिकी संस्थान इन्दौर
Learning Resource Center, Indian Institute of Technology Indore

ऑनलाइन सार्वजनिक अभिगम प्रसूची
Online Public Access Catalogue (OPAC)

Your search returned 6 results.

Results
	1.	Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems by Anne Remke, Mari�lle Stoelinga Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	2.	Analytical and Stochastic Modelling Techniques and Applications by Marco Gribaudo, Daniele Manini, Anne Remke Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	3.	Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems by Anne Remke, Boudewijn R. Haverkort Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	4.	No cover image available Computer Performance Engineering by Rena Bakhshi, Paolo Ballarini, Beno�t Barbot, Hind Castel-Taleb, Anne Remke Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2018 Online access: Click here to access online Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	5.	Distributed Applications and Interoperable Systems by Anne Remke Valerio Schiavoni Series: Lecture Notes in Computer Science Material type: Text Publication details: Springer Nature 2020 Online access: Click here to access online Availability: Items available for reference: : Not for loan (1). Add to cart (remove)
	6.	Quantitative Evaluation of Systems by Marco Gribaudo Anne Remke David N. Jansen Series: Lecture Notes in Computer Science Material type: Text Publication details: Springer Nature 2020 Online access: Click here to access online Availability: Items available for reference: : Not for loan (1). Add to cart (remove)

Copyright © 2024, 2021, 2017 Indian Institute of Technology Indore. All Rights Reserved.

Managed & maintained by Learning Resource Center, IIT Indore

Powered by Koha