Your search returned 741 results.

Results
501.	Image from Amazon.com Image from Coce	New Frontiers in Artificial Intelligence by Setsuya Kurahashi, Yuiko Ohta, Sachiyo Arai, Ken Satoh, Daisuke Bekki 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).
502.	Image from Amazon.com Image from Coce	Symbolic and Quantitative Approaches to Reasoning with Uncertainty by Alessandro Antonucci, Laurence Cholvy, Odile Papini 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).
503.	Image from Amazon.com Image from Coce	Logic Programming and Nonmonotonic Reasoning by Marcello Balduccini, Tomi Janhunen 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).
504.	Image from Amazon.com Image from Coce	Intelligent Computer Mathematics by Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke 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).
505.	Image from Amazon.com Image from Coce	Computational Science and Its Applications � ICCSA 2017 by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Giuseppe Borruso, Carmelo M. Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Elena Stankova, Alfredo Cuzzocrea 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).
506.	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 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
507.	Image from Amazon.com Image from Coce	Developments in Language Theory by �milie Charlier, Julien Leroy, Michel Rigo 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).
508.	Image from Amazon.com Image from Coce	Automated Deduction � CADE 26 by Leonardo de Moura 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).
509.	Image from Amazon.com Image from Coce	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 resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
510.	Image from Amazon.com Image from Coce	Logic-Based Program Synthesis and Transformation by Manuel V Hermenegildo, Pedro Lopez-Garcia 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).
511.	Image from Amazon.com Image from Coce	Inductive Logic Programming by James Cussens, Alessandra Russo 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).
512.	Image from Amazon.com Image from Coce	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 resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
513.	Image from Amazon.com Image from Coce	Numerical Software Verification by Alessandro Abate, Sylvie Boldo 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).
514.	Image from Amazon.com Image from Coce	Artificial General Intelligence by Tom Everitt, Ben Goertzel, Alexey Potapov 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).
515.	Image from Amazon.com Image from Coce	Model-Based Safety and Assessment by Marco Bozzano, Yiannis Papadopoulos 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).
516.	Image from Amazon.com Image from Coce	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 resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
517.	Image from Amazon.com Image from Coce	Database and Expert Systems Applications by Djamal Benslimane, Ernesto Damiani, William I. Grosky, Abdelkader Hameurlain, Amit Sheth, Roland R. Wagner 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).
518.	Image from Amazon.com Image from Coce	Database and Expert Systems Applications by Djamal Benslimane, Ernesto Damiani, William I. Grosky, Abdelkader Hameurlain, Amit Sheth, Roland R. Wagner 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).
519.	Image from Amazon.com Image from Coce	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 resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
520.	Image from Amazon.com Image from Coce	Formal Modeling and Analysis of Timed Systems by Alessandro Abate, Gilles Geeraerts 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).