Logo

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

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

Refine your search

Your search returned 733 results.

Sort
Results
121.
SDL 2013: Model-Driven Dependability Engineering by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2013
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

122.
Tests and Proofs by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2013
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

123.
Typed Lambda Calculi and Applications by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2013
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

124.
Safe and Secure Software Reuse by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2013
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

125.
Modelling Foundations and Applications by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2013
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

126.
Software Architecture by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2013
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

127.
ECOOP 2013 � Object-Oriented Programming by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2013
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

128.
Theory and Applications of Satisfiability Testing � SAT 2013 by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2013
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

129.
Unconventional Computation and Natural Computation by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2013
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

130.
Symbolic and Quantitative Approaches to Reasoning with Uncertainty by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2013
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

131.
Model Checking Software by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2013
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

132.
Implementation and Application of Automata by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2013
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

133.
Structured Object-Oriented Formal Language and Method by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2013
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

134.
Descriptional Complexity of Formal Systems by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2013
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

135.
Intelligent Computer Mathematics by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2013
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

136.
Artificial General Intelligence by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2013
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

137.
Hardware and Software: Verification and Testing by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2013
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

138.
Software Composition by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2013
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

139.
Interactive Theorem Proving by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2013
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

140.
Search Based Software Engineering by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2013
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

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

Powered by Koha