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

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

Your search returned 729 results.

Results
	661.	Verified Software. Theories, Tools, and Experiments by Supratik Chakraborty Jorge A. Navas 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)
	662.	Relational and Algebraic Methods in Computer Science by Uli Fahrenberg Michael Winter Peter Jipsen 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)
	663.	Artificial Intelligence in Music, Sound, Art and Design by Juan Romero Anikó Ekárt João Correia Tiago Martins 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)
	664.	Programming Languages and Systems by Peter Müller 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)
	665.	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)
	666.	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)
	667.	Sets, Logic and Maths for Computing by David Makinson Series: Undergraduate Topics 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)
	668.	Rigorous State-Based Methods by Alexander Raschke Dominique Méry Frank Houdek 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)
	669.	The Semantic Web by Andreas Harth Axel-Cyrille Ngonga Ngomo [et al.] Sabrina Kirrane 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)
	670.	Inductive Logic Programming by Dimitar Kazakov Can Erten 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)
	671.	Information Processing and Management of Uncertainty in Knowledge-Based Systems by Marie-Jeanne Lesot Marek Z. Reformat [et al.] Susana Vieira Series: Communications in Computer and Information 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)
	672.	Coordination Models and Languages by Simon Bliudze Laura Bocchi 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)
	673.	Tests and Proofs by Wolfgang Ahrendt Heike Wehrheim 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)
	674.	Beyond the Horizon of Computability by Marcella Anselmo Arno Pauly Florin Manea Gianluca Della Vedova 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)
	675.	Accelerator Programming Using Directives by Sandra Wienke Sridutt Bhalachandra 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)
	676.	Graph Transformation by Fabio Gadducci Timo Kehrer 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)
	677.	Automated Reasoning by Nicolas Peltier Viorica Sofronie-Stokkermans 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)
	678.	Automated Reasoning by Nicolas Peltier Viorica Sofronie-Stokkermans 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)
	679.	Diagrammatic Representation and Inference by Ahti-Veikko Pietarinen Leonie Bosveld-de Smet [et al.] Peter Chapman 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)
	680.	Trends in Functional Programming by Aleksander Byrski John Hughes 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)