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

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

Your search returned 10 results.

Sort
Unhighlight Highlight
Select all Clear all
Results
1. E-Book
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 resources:
Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
2. E-Book
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 resources:
Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
3. E-Book
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 resources:
Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
4. E-Book
Formal Aspects of Component Software by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2014
Online resources:
Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
5. E-Book
Dependable Software Engineering: Theories, Tools, and Applications by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2015
Online resources:
Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
6. E-Book
Engineering Trustworthy Software Systems by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2016
Online resources:
Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
7. E-Book
Engineering Trustworthy Software Systems by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2017
Online resources:
Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
8. E-Book
No cover image available No cover image available
Engineering Trustworthy Software Systems by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2018
Online resources:
Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
9. E-Book
Engineering Trustworthy Software Systems by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer Nature 2019
Online resources:
Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
10. E-Book
Engineering Trustworthy Software Systems by Series: Lecture Notes in Computer Science
Material type: Text Text
Publication details: Springer Nature 2020
Online resources:
Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
Pages
Copyright © 2024, 2021, 2017 Indian Institute of Technology Indore. All Rights Reserved.
Managed & maintained by Learning Resource Center, IIT Indore