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

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

Your search returned 354 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.	Automated Technology for Verification and Analysis by Dang Hung, Mizuhito Ogawa 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.	Software Language Engineering by Martin Erwig, Richard F. Paige, Eric Wyk 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.	Hardware and Software: Verification and Testing by Valeria Bertacco, Axel Legay 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.	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)
	9.	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)
	10.	Runtime Verification by Shaz Qadeer, Serdar Tasiran 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.	Unifying Theories of Programming by Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi 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.	Logical Foundations of Computer Science by Sergei Artemov, Anil Nerode 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.	Software Engineering for Self-Adaptive Systems II by Rog�rio Lemos, Holger Giese, Hausi A. M�ller, Mary Shaw 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.	Formal Aspects of Component Software by Corina S. Pasareanu, Gwen Sala�n 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.	Formal Methods for Components and Objects by Bernhard Beckert, Ferruccio Damiani, Frank S. Boer, Marcello M. Bonsangue 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.	Generative and Transformational Techniques in Software Engineering IV by Ralf L�mmel, Jo�o Saraiva, Joost Visser 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.	Languages and Compilers for Parallel Computing by Sanjay Rajopadhye, Michelle Mills Strout 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.	Software Engineering by Andrea Lucia, Filomena Ferrucci 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.	Software Language Engineering by Krzysztof Czarnecki, G�rel Hedin 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.	Construction and Evolution of Code Generators by Sven J�rges 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)