Your search returned 9182 results.

Results
2581.	Image from Amazon.com Image from Coce	Interactive Theorem Proving by Gerwin Klein, Ruben Gamboa Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
2582.	Image from Amazon.com Image from Coce	Advances in Data Mining. Applications and Theoretical Aspects by Petra Perner Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
2583.	Image from Amazon.com Image from Coce	Machine Learning and Data Mining in Pattern Recognition by Petra Perner Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
2584.	Image from Amazon.com Image from Coce	Computational Intelligence Methods for Bioinformatics and Biostatistics by Enrico Formenti, Roberto Tagliaferri, Ernst Wit Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
2585.	Image from Amazon.com Image from Coce	Tests and Proofs by Martina Seidl, Nikolai Tillmann Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
2586.	Image from Amazon.com Image from Coce	Graph Transformation by Holger Giese, Barbara K�nig Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
2587.	Image from Amazon.com Image from Coce	Computational Science and Its Applications � ICCSA 2014 by Beniamino Murgante, Sanjay Misra, Ana Maria A. C. Rocha, Carmelo Torre, Jorge Gustavo Rocha, Maria Irene Falc�o, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
2588.	Image from Amazon.com Image from Coce	Computational Science and Its Applications � ICCSA 2014 by Beniamino Murgante, Sanjay Misra, Ana Maria A. C. Rocha, Carmelo Torre, Jorge Gustavo Rocha, Maria Irene Falc�o, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
2589.	Image from Amazon.com Image from Coce	Computational Science and Its Applications � ICCSA 2014 by Beniamino Murgante, Sanjay Misra, Ana Maria A. C. Rocha, Carmelo Torre, Jorge Gustavo Rocha, Maria Irene Falc�o, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
2590.	Image from Amazon.com Image from Coce	Computational Science and Its Applications � ICCSA 2014 by Beniamino Murgante, Sanjay Misra, Ana Maria A. C. Rocha, Carmelo Torre, Jorge Gustavo Rocha, Maria Irene Falc�o, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
2591.	Image from Amazon.com Image from Coce	Computational Science and Its Applications � ICCSA 2014 by Beniamino Murgante, Sanjay Misra, Ana Maria A. C. Rocha, Carmelo Torre, Jorge Gustavo Rocha, Maria Irene Falc�o, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
2592.	Image from Amazon.com Image from Coce	Computational Science and Its Applications � ICCSA 2014 by Beniamino Murgante, Sanjay Misra, Ana Maria A. C. Rocha, Carmelo Torre, Jorge Gustavo Rocha, Maria Irene Falc�o, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
2593.	Image from Amazon.com Image from Coce	Computers and Games by H. Jaap van den Herik, Hiroyuki Iida, Aske Plaat Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
2594.	Image from Amazon.com Image from Coce	Combinatorial Optimization by Pierre Fouilhoux, Luis Eduardo Neves Gouveia, A. Ridha Mahjoub, Vangelis T. Paschos Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
2595.	Image from Amazon.com Image from Coce	Pattern Recognition in Bioinformatics by Matteo Comin, Lukas K�ll, Elena Marchiori, Alioune Ngom, Jagath Rajapakse Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
2596.	Image from Amazon.com Image from Coce	Modelling Foundations and Applications by Jordi Cabot, Julia Rubin Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
2597.	Image from Amazon.com Image from Coce	Pervasive Computing and the Networked World by Qiaohong Zu, Maria Vargas-Vera, Bo Hu Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
2598.	Image from Amazon.com Image from Coce	Artificial General Intelligence by Ben Goertzel, Laurent Orseau, Javier Snaider Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
2599.	Image from Amazon.com Image from Coce	Theory and Applications of Satisfiability Testing � SAT 2014 by Carsten Sinz, Uwe Egly Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
2600.	Image from Amazon.com Image from Coce	Intelligent Computing in Bioinformatics by De-Shuang Huang, Kyungsook Han, Michael Gromiha Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).