Your search returned 1417 results.

Results
1261.	Image from Amazon.com Image from Coce	Interactive Theorem Proving by Mauricio Ayala-Rinc�n, C�sar A. Mu�oz Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
1262.	Image from Amazon.com Image from Coce	Principles and Practice of Constraint Programming by J. Christopher Beck Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
1263.	Image from Amazon.com Image from Coce	Frontiers of Combining Systems by Clare Dixon, Marcelo Finger Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
1264.	Image from Amazon.com Image from Coce	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 resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
1265.	Image from Amazon.com Image from Coce	Enhanced Quality of Life and Smart Living by Mounir Mokhtari, Bessam Abdulrazak, Hamdi Aloulou Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
1266.	Image from Amazon.com Image from Coce	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 resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
1267.	Image from Amazon.com Image from Coce	Theory and Applications of Satisfiability Testing � SAT 2017 by Serge Gaspers, Toby Walsh Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
1268.	Image from Amazon.com Image from Coce	Search Based Software Engineering by Tim Menzies, Justyna Petke Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
1269.	Image from Amazon.com Image from Coce	Combinatorics on Words by Srecko Brlek, Francesco Dolce, Christophe Reutenauer, �lise Vandomme Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
1270.	Image from Amazon.com Image from Coce	Speech and Computer by Alexey Karpov, Rodmonga Potapova, Iosif Mporas Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
1271.	Image from Amazon.com Image from Coce	Interactive Collaborative Robotics by Andrey Ronzhin, Gerhard Rigoll, Roman Meshcheryakov Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
1272.	Image from Amazon.com Image from Coce	Computer Performance Engineering by Philipp Reinecke, Antinisca Di Marco Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
1273.	Image from Amazon.com Image from Coce	Coordination, Organizations, Institutions, and Norms in Agent Systems XII by Stephen Cranefield, Samhar Mahmoud, Julian Padget, Ana Paula Rocha Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
1274.	Image from Amazon.com Image from Coce	Data Driven Approaches in Digital Education by �lise Lavou�, Hendrik Drachsler, Katrien Verbert, Julien Broisin, Mar P�rez-Sanagust�n Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
1275.	Image from Amazon.com Image from Coce	Pattern Recognition by Volker Roth, Thomas Vetter Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
1276.	Image from Amazon.com Image from Coce	Advances in Web-Based Learning � ICWL 2017 by Haoran Xie, Elvira Popescu, Gerhard Hancke, Baltasar Fern�ndez Manj�n Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
1277.	Image from Amazon.com Image from Coce	DNA Computing and Molecular Programming by Robert Brijder, Lulu Qian Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
1278.	Image from Amazon.com Image from Coce	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 resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
1279.	Image from Amazon.com Image from Coce	Research and Advanced Technology for Digital Libraries by Jaap Kamps, Giannis Tsakonas, Yannis Manolopoulos, Lazaros Iliadis, Ioannis Karydis Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
1280.	Image from Amazon.com Image from Coce	Computational Collective Intelligence by Ngoc Thanh Nguyen, George A. Papadopoulos, Piotr Jedrzejowicz, Bogdan Trawinski, Gottfried Vossen Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).