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

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

Your search returned 169 results.

Results
	1.	Foundations of object-oriented languages : types and semantics by Bruce, Kim B Material type: Text Publication details: New Delhi PHI Learning Private Limited 2002 Availability: Items available for loan: LRC, IIT Indore (2)Location, call number: 3rd Floor - General Stack 005.117 BRU, ... Items available for reference: LRC, IIT Indore: Not For Loan (1)Location, call number: 2nd Floor - Textbook Reserve 005.117 BRU. Place hold Add to cart (remove)
	2.	Programming with ANSI C++ by Trivedi, Bhusan Edition: 1st published 2007. 7th imp. 2009 Material type: Text Publication details: New Delhi Oxford University Press 2007 Availability: Items available for loan: LRC, IIT Indore (2)Location, call number: 3rd Floor - General Stack 005.133 TRI, ... Place hold Add to cart (remove)
	3.	Let us C [14th ed.] by Kanetkar, Yashavant Edition: 14th rev. & upd. ed. 2016 Material type: Text Language: English Publication details: New Delhi BPB Publications 2016 Availability: Items available for loan: LRC, IIT Indore (1)Location, call number: 3rd Floor - General Stack 005.133 KAN.14E. Items available for reference: LRC, IIT Indore: Not For Loan (1)Location, call number: 2nd Floor - Textbook Reserve 005.133 KAN.14E. LRC, IIT Indore: Not for loan (3)Location, call number: 2nd Floor - Textbook Reserve 005.133 KAN.14E, ... Place hold Add to cart (remove)
	4.	Let us C [15th ed.] by Kanetkar, Yashavant Edition: 15th rev. and updated ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi BPB Publications 2017 Availability: Items available for loan: LRC, IIT Indore (1)Location, call number: 3rd Floor - General Stack 005.133 KAN.15E. Place hold Add to cart (remove)
	5.	Programming Languages and Systems by Chung-chieh Shan Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	6.	Certified Programs and Proofs by Georges Gonthier, Michael Norrish Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	7.	Uncertainty Reasoning for the Semantic Web II by Fernando Bobillo, Paulo C. G. Costa, Claudia d�Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, Michael Pool Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	8.	Logic and Its Applications by Kamal Lodaya Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	9.	Automated Reasoning and Mathematics by Maria Paola Bonacina, Mark E. Stickel Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	10.	Logic-Based Program Synthesis and Transformation by Elvira Albert Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	11.	Computer Science � Theory and Applications by Andrei A. Bulatov, Arseny M. Shur Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	12.	Application and Theory of Petri Nets and Concurrency by Jos�-Manuel Colom, J�rg Desel Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	13.	Developments in Language Theory by Marie-Pierre B�al, Olivier Carton Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	14.	Inductive Logic Programming by Fabrizio Riguzzi, Filip �elezn� Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	15.	Descriptional Complexity of Formal Systems by Helmut Jurgensen, Rog�rio Reis Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	16.	Intelligent Computer Mathematics by Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	17.	Logic, Language, Information, and Computation by Leonid Libkin, Ulrich Kohlenbach, Ruy Queiroz Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	18.	Formal Grammar by Glyn Morrill, Mark-Jan Nederhof Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	19.	Mathematical Foundations of Computer Science 2013 by Krishnendu Chatterjee, Jir� Sgall Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	20.	Automated Reasoning with Analytic Tableaux and Related Methods by Didier Galmiche, Dominique Larchey-Wendling Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)