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
161.
Runtime Verification 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).

162.
Frontiers of Combining 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).

163.
Programming Languages 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).

164.
Algorithmic Learning Theory 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).

165.
KI 2013: Advances in Artificial 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).

166.
Logic, Rationality, and Interaction 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).

167.
Modeling and Using Context 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).

168.
Formal Methods for Industrial Critical 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).

169.
Reachability Problems 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).

170.
Formal Methods and 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).

171.
Model-Driven Engineering Languages and 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).

172.
Constraint Solving and Language Processing 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).

173.
Implementation and Application of Functional Languages 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).

174.
In Search of Elegance in the Theory and Practice of 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).

175.
Testing Software and 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).

176.
Ada 2012 Rationale 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).

177.
Logic for Programming, Artificial Intelligence, and Reasoning 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).

178.
Combinatorial Algorithms 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).

179.
Practical Aspects of Declarative Languages 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).

180.
Advanced Parallel Processing Technologies 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