Logo

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

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

Refine your search

Your search returned 729 results.

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

582.
Principles and Practice of Constraint Programming by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2017
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

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

584.
Verification and Evaluation of Computer and Communication Systems by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2017
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

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

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

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

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

589.
Combinatorics on Words by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2017
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

590.
Coordination, Organizations, Institutions, and Norms in Agent Systems XII by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2017
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

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

592.
Integrated Formal Methods by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2017
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

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

594.
Automated Reasoning with Analytic Tableaux and Related Methods by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2017
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

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

596.
Critical Systems: Formal Methods and Automated Verification by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2017
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

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

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

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

600.
Scalable Uncertainty Management by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2017
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