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

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

Your search returned 3 results.

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

Add to cart
2.
Theoretical Aspects of Computing � ICTAC 2013 by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2013
Online access:
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

Add to cart
3.
Unifying Theories of Programming and Formal Engineering Methods by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2013
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