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

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

Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Formal Methods for Industrial Critical Systems by Series: Lecture Notes in Computer Science
Material type: Text Text
Publication details: Springer Nature 2020
Online access:
Availability: Items available for reference: : Not for loan (1).

Add to cart
2.
Runtime Verification by Series: Lecture Notes in Computer Science
Material type: Text Text
Publication details: Springer Nature 2020
Online access:
Availability: Items available for reference: : Not for loan (1).

Add to cart
Pages
Copyright © 2024, 2021, 2017 Indian Institute of Technology Indore. All Rights Reserved.
Managed & maintained by Learning Resource Center, IIT Indore

Powered by Koha