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

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

Your search returned 992 results.

Results
	241.	No cover image available Formal Methods for Distributed processing : A Survey of Object-Oriented Approaches by Bowman, Howard Derrick, John Material type: Text Publication details: Cambridge Cambridge University Press 2001 Availability: Items available for reference: LRC, IIT Indore: Not For Loan (1)Location, call number: 3rd Floor - Reference Collection 005.117 BOW. Add to cart (remove)
	242.	Foundations of XML Processing: The Tree-Automata Approach by Hosoya, Haruo Material type: Text Publication details: Cambridge Cambridge University Press 2011 Availability: Items available for reference: LRC, IIT Indore: Not For Loan (1)Location, call number: 3rd Floor - Reference Collection 006.74 HOS. Add to cart (remove)
	243.	Fundamentals of Error-Correcting Codes by Huffman, W Cary Pless, Vera Material type: Text Publication details: Cambridge Cambridge University Press 2003 Availability: Items available for loan: LRC, IIT Indore (5)Location, call number: 3rd Floor - General Stack 005.72 HUF, ... Place hold Add to cart (remove)
	244.	Groups Graphs and Trees: An Introduction to the Geometry of Infinity Groups by Meier, John Material type: Text Publication details: Cambridge Cambridge University press 2008 Availability: Items available for loan: LRC, IIT Indore (1)Location, call number: 3rd Floor - General Stack 512.2 MEI. Place hold Add to cart (remove)
	245.	Information Systems Engineering: A Formal Approach by Hee, K M Van Material type: Text Publication details: Cambridge Cambridge University Press 1994 Availability: Items available for loan: LRC, IIT Indore (2)Location, call number: 3rd Floor - General Stack 004.21 HEE, ... Items available for reference: LRC, IIT Indore: Not For Loan (1)Location, call number: 3rd Floor - Reference Collection 004.21 HEE. Place hold Add to cart (remove)
	246.	No cover image available Integration-ready architecture and design : software engineering with XML, Java, .NET, wireless, speech, and knowledge technologies by Zhuk, Jeff Material type: Text Publication details: Cambridge Cambridge University Press 2004 Availability: Items available for loan: LRC, IIT Indore (1)Location, call number: 3rd Floor - General Stack 005.1 ZHU. Items available for reference: LRC, IIT Indore: Not For Loan (1)Location, call number: 3rd Floor - Reference Collection 005.1 ZHU. Place hold Add to cart (remove)
	247.	No cover image available Introduction to Clustering Large and High-Dimensional Data by Kogan, Jacob Material type: Text Publication details: Cambridge Cambridge University Press 2007 Availability: Items available for reference: LRC, IIT Indore: Not For Loan (1)Location, call number: 3rd Floor - Reference Collection 519.53 KOG. Add to cart (remove)
	248.	Introduction to Lattices and Order by Davey, B A Priestley, H A Edition: 2nd ed. Material type: Text Publication details: Cambridge Cambridge University Press 2002 Availability: Items available for loan: LRC, IIT Indore (1)Location, call number: 3rd Floor - General Stack 511.33 DAV. Place hold Add to cart (remove)
	249.	Lexical Meaning by Murphy, M Lynne Material type: Text Publication details: Cambridge Cambridge University Press 2010 Availability: Items available for loan: LRC, IIT Indore (1)Location, call number: 3rd Floor - General Stack 401.43 MUR. Place hold Add to cart (remove)
	250.	Logic Colloquium 2006 by Cooper, S Barry Geuvers, Herman Pillay, Anand ...[et al.] Material type: Text Publication details: Cambridge Cambridge University Press 2009 Availability: Items available for reference: LRC, IIT Indore: Not For Loan (1)Location, call number: 3rd Floor - Reference Collection 511.3 COO. Add to cart (remove)
	251.	Logic in Computer Science: Modelling and Reasoning about Systems by Huth, Michael Ryan, Mark Material type: Text Publication details: Cambridge Cambridge University Press 2004 Availability: Items available for loan: LRC, IIT Indore (1)Location, call number: 3rd Floor - General Stack 005.1015113 HUT. Place hold Add to cart (remove)
	252.	Mobile computing principles : designing and developing mobile applications with UML and XML by B'Far, Reza Material type: Text Publication details: Cambridge Cambridge University Press 2005 Availability: Items available for loan: LRC, IIT Indore (2)Location, call number: 3rd Floor - General Stack 005.268 BFA, ... Items available for reference: LRC, IIT Indore: Not For Loan (1)Location, call number: 3rd Floor - Reference Collection 005.268 BFA. Place hold Add to cart (remove)
	253.	Modern Compiler implementation in Java by Appel, Andrew W Material type: Text Publication details: Cambridge Cambridge University Press 2010 Availability: Items available for loan: LRC, IIT Indore (4)Location, call number: 3rd Floor - General Stack 005.453 APP, ... Items available for reference: LRC, IIT Indore: Not For Loan (1)Location, call number: 2nd Floor - Textbook Reserve 005.453 APP. Place hold Add to cart (remove)
	254.	NIST Handbook of Mathematical Functions by Olver, Frank W J Boisvert, Ronald F Clark, Charles W Lozier, Daniel W Material type: Text Publication details: Cambridge Cambridge University Press 2010 Availability: Items available for reference: LRC, IIT Indore: Not For Loan (1)Location, call number: 3rd Floor - Reference Collection 515 OLV. Add to cart (remove)
	255.	Numerical recipes in C : the art of scientific computing [2nd ed.] by Press, William H Teukolsky, Saul A Vetterling, William T Flannery, Brian P Edition: 2nd ed. Material type: Text Publication details: Cambridge Cambridge University Press 1992 Availability: Items available for loan: LRC, IIT Indore (4)Location, call number: 3rd Floor - General Stack 005.133 PRE.2E, ... Items available for reference: LRC, IIT Indore: Not For Loan (1)Location, call number: 3rd Floor - Reference Collection 005.133 PRE.2E. Place hold Add to cart (remove)
	256.	Object-oriented programming with Visual Basic.Net by McMillan, Michael Material type: Text Publication details: Cambridge Cambridge University Press 2004 Availability: Items available for loan: LRC, IIT Indore (1)Location, call number: 3rd Floor - General Stack 005.117 MCM. Items available for reference: LRC, IIT Indore: Not For Loan (1)Location, call number: 3rd Floor - Reference Collection 005.117 MCM. Place hold Add to cart (remove)
	257.	Practical Algorithms for Image Analysis: Description, Examples, Programs, and Projects by O'Gorman, Lawrence Sammon, Michael Seul, Michael Material type: Text Publication details: Cambridge Cambridge University Press 2007 Availability: Items available for reference: LRC, IIT Indore: Not For Loan (1)Location, call number: 3rd Floor - Reference Collection 621.367 OGO. Add to cart (remove)
	258.	Randomized Algorithms by Motwani, Rajeev Raghavan, Prabhakar Material type: Text Publication details: Cambridge Cambridge University Press 1995 Availability: Items available for loan: LRC, IIT Indore (5)Location, call number: 3rd Floor - General Stack 004.015192 MOT, ... Place hold Add to cart (remove)
	259.	Real-Time Systems: Formal Specification and Automatic Verification by Olderog, Ernst-Rudiger Dierks, Henning Material type: Text Publication details: Cambridge Cambridge University Press 2008 Availability: Items available for reference: LRC, IIT Indore: Not For Loan (1)Location, call number: 3rd Floor - Reference Collection 004.33 OLD. Add to cart (remove)
	260.	Revised Report on the Algorithmic Language Scheme by Sperber, Michael Dybvig, R Kent Flatt, Matthew... [et al.] Material type: Text Publication details: Cambridge Cambridge University Press 2009 Availability: Items available for reference: LRC, IIT Indore: Not For Loan (1)Location, call number: 3rd Floor - Reference Collection 005.133 SPE. Add to cart (remove)