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

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

Your search returned 354 results.

Results
	61.	Programming Languages by Andr� Rauber Bois, Phil Trinder 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)
	62.	Reachability Problems by Parosh Aziz Abdulla, Igor Potapov 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)
	63.	Formal Methods and Software Engineering by Lindsay Groves, Jing Sun 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)
	64.	Model-Driven Engineering Languages and Systems by Ana Moreira, Bernhard Sch�tz, Jeff Gray, Antonio Vallecillo, Peter Clarke 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)
	65.	Constraint Solving and Language Processing by Denys Duchier, Yannick Parmentier 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)
	66.	Implementation and Application of Functional Languages by Ralf Hinze 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)
	67.	In Search of Elegance in the Theory and Practice of Computation by Val Tannen, Limsoon Wong, Leonid Libkin, Wenfei Fan, Wang-Chiew Tan, Michael Fourman 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)
	68.	Testing Software and Systems by H�sn� Yenig�n, Cemal Yilmaz, Andreas Ulrich 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)
	69.	Ada 2012 Rationale by John Barnes 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)
	70.	Logic for Programming, Artificial Intelligence, and Reasoning by Ken McMillan, Aart Middeldorp, Andrei Voronkov 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)
	71.	Practical Aspects of Declarative Languages by Kostis Sagonas 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)
	72.	Advanced Parallel Processing Technologies by Chenggang Wu, Albert Cohen 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)
	73.	Ada 2012 Reference Manual. Language and Standard Libraries by S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy, Edmond Schonberg 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)
	74.	Practical Aspects of Declarative Languages by Matthew Flatt, Hai-Feng Guo Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	75.	Structured Object-Oriented Formal Language and Method by Shaoying Liu, Zhenhua Duan Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	76.	Software Engineering and Formal Methods by Steve Counsell, Manuel N��ez Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	77.	OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools by Stephen Poole, Oscar Hernandez, Pavel Shamis Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	78.	Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance by Kai Fischbach, Udo R. Krieger Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	79.	NASA Formal Methods by Julia M. Badger, Kristin Yvonne Rozier Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	80.	Functional and Logic Programming by Michael Codish, Eijiro Sumii Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)