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

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

Your search returned 32 results.

Results per page:

Results
	1.	SDL 2013: Model-Driven Dependability Engineering by Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi, Rick Reed 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)
	2.	Trustworthy Global Computing by Mart�n Abadi, Alberto Lluch Lafuente 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)
	3.	Computer Aided Verification by Armin Biere, Roderick Bloem 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)
	4.	Trustworthy Global Computing by Matteo Maffei, Emilio Tuosto 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)
	5.	Computer Aided Verification by Daniel Kroening, Corina S. Pasareanu Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	6.	Computer Aided Verification by Daniel Kroening, Corina S. Pasareanu Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	7.	Computer Safety, Reliability, and Security by Floor Koornneef, Coen van Gulijk Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	8.	SDL 2015: Model-Driven Engineering for Smart Cities by Joachim Fischer, Markus Scheidgen, Ina Schieferdecker, Rick Reed Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	9.	Euro-Par 2015: Parallel Processing by Jesper Larsson Tr�ff, Sascha Hunold, Francesco Versaci Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	10.	Trustworthy Global Computing by Pierre Ganty, Michele Loreti Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 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 Aided Verification by Swarat Chaudhuri, Azadeh Farzan Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	12.	Computer Aided Verification by Swarat Chaudhuri, Azadeh Farzan Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	13.	Computer Safety, Reliability, and Security by Amund Skavhaug, J�r�mie Guiochet, Friedemann Bitsch Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	14.	Models, Algorithms, Logics and Tools by Luca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ing�lfsd�ttir, Axel Legay, Radu Mardare Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	15.	Software Architecture by Ant�nia Lopes, Rog�rio de Lemos Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	16.	Computer Safety, Reliability, and Security by Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	17.	Computer Safety, Reliability, and Security by Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	18.	Integrated Formal Methods by Nadia Polikarpova, Steve Schneider Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	19.	SDL 2017: Model-Driven Engineering for Future Internet by Tibor Cs�ndes, G�bor Kov�cs, Gy�rgy R�thy Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 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 Technology for Verification and Analysis by Deepak D'Souza, K. Narayan Kumar Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)