Logo

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

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

Refine your search

Your search returned 5298 results.

Sort
Results
1541. E-Book
Relational and Algebraic Methods in Computer Science by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2018
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

1542. E-Book
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 2018
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

1543. E-Book
On the Move to Meaningful Internet Systems. OTM 2018 Conferences by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2018
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

1544. E-Book
1545. E-Book
On the Move to Meaningful Internet Systems. OTM 2018 Conferences by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2018
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

1546. E-Book
Internet and Distributed Computing Systems by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2018
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

1547. E-Book
Serious Games by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2018
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

1548. E-Book
Web Information Systems Engineering � WISE 2018 by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2018
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

1549. E-Book
Web Information Systems Engineering � WISE 2018 by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2018
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

1550. E-Book
Ambient Intelligence by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2018
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

1551. E-Book
PRIMA 2018: Principles and Practice of Multi-Agent Systems by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2018
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

1552. E-Book
Stabilization, Safety, and Security of Distributed Systems by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2018
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

1553. E-Book
Pattern Recognition and Computer Vision by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2018
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

1554. E-Book
Pattern Recognition and Computer Vision by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2018
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

1555. E-Book
Pattern Recognition and Computer Vision by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2018
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

1556. E-Book
Pattern Recognition and Computer Vision by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2018
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

1557. E-Book
Leveraging Applications of Formal Methods, Verification and Validation. Modeling by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2018
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

1558. E-Book
Leveraging Applications of Formal Methods, Verification and Validation. Verification by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2018
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

1559. E-Book
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2018
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

1560. E-Book
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2018
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