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

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

Your search returned 4 results.

Results
	1.		Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification by Thierry Lecomte, Ralf Pinger, Alexander Romanovsky 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)
	2.		Formal Methods: Foundations and Applications by Leila Ribeiro, Thierry Lecomte 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)
	3.		Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification by Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	4.		Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification by Simon Collart-Dutilleul Alexander Romanovsky Thierry Lecomte Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer Nature 2019 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: 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