Your search returned 1388 results.

Results
501.	Image from Amazon.com Image from Coce	Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change by Tiziana Margaria, Bernhard Steffen 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).
502.	Image from Amazon.com Image from Coce	Applications of Evolutionary Computation by Anna I. Esparcia-Alc�zar, Antonio M. Mora 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).
503.	Image from Amazon.com Image from Coce	On the Move to Meaningful Internet Systems: OTM 2014 Workshops by Robert Meersman, Herv� Panetto, Alok Mishra, Rafael Valencia-Garc�a, Ant�nio Lucas Soares, Ioana Ciuciu, Fernando Ferri, Georg Weichhart, Thomas Moser, Michele Bezzi, Henry Chan 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).
504.	Image from Amazon.com Image from Coce	On the Move to Meaningful Internet Systems: OTM 2014 Conferences by Robert Meersman, Herv� Panetto, Tharam Dillon, Michele Missikoff, Lin Liu, Oscar Pastor, Alfredo Cuzzocrea, Timos Sellis 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).
505.	Image from Amazon.com Image from Coce	AI Approaches to the Complexity of Legal Systems by Pompeu Casanovas, Ugo Pagallo, Monica Palmirani, Giovanni Sartor 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).
506.	Image from Amazon.com Image from Coce	Smart Homes and Health Telematics by Cathy Bodine, Sumi Helal, Tao Gu, Mounir Mokhtari Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 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	Multi-Agent-Based Simulation XV by Francisco Grimaldo, Emma Norling Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 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	Trends in Functional Programming by Jurriaan Hage, Jay McCarthy Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 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	Mining, Modeling, and Recommending 'Things' in Social Media by Martin Atzmueller, Alvin Chin, Christoph Scholz, Christoph Trattner Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 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	Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation by Thomas Eiter, Hannes Strass, Miroslaw Truszczynski, Stefan Woltran Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 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	Artificial Life and Computational Intelligence by Stephan K. Chalup, Alan D. Blair, Marcus Randall Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 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	Multimodal Pattern Recognition of Social Signals in Human-Computer-Interaction by Friedhelm Schwenker, Stefan Scherer, Louis-Philippe Morency Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 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	Spatio-temporal Image Analysis for Longitudinal and Time-Series Image Data by Stanley Durrleman, Tom Fletcher, Guido Gerig, Marc Niethammer, Xavier Pennec Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 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	Software, Services, and Systems by Rocco Nicola, Rolf Hennicker Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 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	Multimodal Analyses enabling Artificial Agents in Human-Machine Interaction by Ronald B�ck, Francesca Bonin, Nick Campbell, Ronald Poppe Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 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	Language and Automata Theory and Applications by Adrian-Horia Dediu, Enrico Formenti, Carlos Mart�n-Vide, Bianca Truthe Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 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	Semantic Technology by Thepchai Supnithi, Takahira Yamaguchi, Jeff Z. Pan, Vilas Wuwongse, Marut Buranarach Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 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	Intelligent Information and Database Systems by Ngoc Thanh Nguyen, Bogdan Trawinski, Raymond Kosala Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 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	Intelligent Information and Database Systems by Ngoc Thanh Nguyen, Bogdan Trawinski, Raymond Kosala Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 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	Evolutionary Multi-Criterion Optimization by Ant�nio Gaspar-Cunha, Carlos Henggeler Antunes, Carlos Coello Coello Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).