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

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

Your search returned 6 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Integrated Formal Methods by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2016
Online access:
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

Add to cart
2.
Fundamental Approaches to Software Engineering by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2017
Online access:
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

Add to cart
3.
No cover image available
Tools and Algorithms for the Construction and Analysis of Systems by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2018
Online access:
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

Add to cart
4.
No cover image available
Tools and Algorithms for the Construction and Analysis of Systems by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2018
Online access:
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

Add to cart
5.
Tools and Algorithms for the Construction and Analysis of Systems by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer Nature 2019
Online access:
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

Add to cart
6.
No cover image available
Formal Methods by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer Nature 2021
Online access:
Availability: Items available for reference: LRC, IIT Indore: 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