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

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

Your search returned 149 results.

Results
	121.	Computer Aided Verification by Rupak Majumdar, Viktor Kuncak 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)
	122.	Euro-Par 2017: Parallel Processing by Francisco F. Rivera, Tom�s F. Pena, Jos� C. Cabaleiro 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)
	123.	Scaling OpenMP for Exascale Performance and Portability by Bronis R. de Supinski, Stephen L. Olivier, Christian Terboven, Barbara M. Chapman, Matthias S. M�ller 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)
	124.	Verification and Evaluation of Computer and Communication Systems by Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofi�ne Tahar 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)
	125.	Software Engineering and Formal Methods by Alessandro Cimatti, Marjan Sirjani 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)
	126.	Model and Data Engineering by Yassine Ouhammou, Mirjana Ivanovic, Alberto Abell�, Ladjel Bellatreche 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)
	127.	Automated Reasoning with Analytic Tableaux and Related Methods by Renate A. Schmidt, Cl�udia Nalon 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)
	128.	Runtime Verification by Shuvendu Lahiri, Giles Reger 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)
	129.	High Performance Computing by Julian M. Kunkel, Rio Yokota, Michela Taufer, John Shalf 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)
	130.	Formal Methods and Software Engineering by Zhenhua Duan, Luke Ong 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)
	131.	Topics in Theoretical Computer Science by Mohammad Reza Mousavi, Jir� Sgall 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)
	132.	Fundamentals of Software Engineering by Mehdi Dastani, Marjan Sirjani 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)
	133.	Conceptual Modeling by Heinrich C. Mayr, Giancarlo Guizzardi, Hui Ma, Oscar Pastor 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)
	134.	Programming Languages and Systems by Bor-Yuh Evan Chang 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)
	135.	Small Dynamic Complexity Classes by Thomas Zeume 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)
	136.	Programming Languages and Systems by Hongseok Yang 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)
	137.	Practical Aspects of Declarative Languages by Ekaterina Komendantskaya Yanhong Annie Liu Series: Lecture Notes in Computer Science Material type: Text Publication details: Springer Nature 2020 Online access: Click here to access online Availability: Items available for reference: : Not for loan (1). Add to cart (remove)
	138.	Chatbot Research and Design by Asbjørn Følstad Effie Lai-Chong Law [et al.] Symeon Papadopoulos Theo Araujo Series: Lecture Notes in Computer Science Material type: Text Publication details: Springer Nature 2020 Online access: Click here to access online Availability: Items available for reference: : Not for loan (1). Add to cart (remove)
	139.	Declarative Programming and Knowledge Management by Petra Hofstedt Salvador Abreu Ulrich John [et al.] Series: Lecture Notes in Computer Science Material type: Text Publication details: Springer Nature 2020 Online access: Click here to access online Availability: Items available for reference: : Not for loan (1). Add to cart (remove)
	140.	Trends in Functional Programming by William J. Bowman Ronald Garcia Series: Lecture Notes in Computer Science Material type: Text Publication details: Springer Nature 2020 Online access: Click here to access online Availability: Items available for reference: : Not for loan (1). Add to cart (remove)

First
Previous
1
2
3
4
5
6
7
8
Next
Last

Copyright © 2024, 2021, 2017 Indian Institute of Technology Indore. All Rights Reserved.

Managed & maintained by Learning Resource Center, IIT Indore

Powered by Koha