Your search returned 741 results.

Results
461.	Image from Amazon.com Image from Coce	New Frontiers in Artificial Intelligence by Mihoko Otake, Setsuya Kurahashi, Yuiko Ota, 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).
462.	Image from Amazon.com Image from Coce	Concurrency, Security, and Puzzles by Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazic 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).
463.	Image from Amazon.com Image from Coce	Practical Aspects of Declarative Languages by Yuliya Lierler, Walid Taha 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).
464.	Image from Amazon.com Image from Coce	Unifying Theories of Programming by Jonathan P. Bowen, Huibiao Zhu 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).
465.	Image from Amazon.com Image from Coce	Verification, Model Checking, and Abstract Interpretation by Ahmed Bouajjani, David Monniaux 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).
466.	Image from Amazon.com Image from Coce	Languages and Compilers for Parallel Computing by Chen Ding, John Criswell, Peng Wu 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).
467.	Image from Amazon.com Image from Coce	Agents and Artificial Intelligence by Jaap van den Herik, Joaquim Filipe 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).
468.	Image from Amazon.com Image from Coce	Semantic Keyword-Based Search on Structured Data Sources by Andrea Cal�, Dorian Gorgan, Mart�n Ugarte 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).
469.	Image from Amazon.com Image from Coce	Language and Automata Theory and Applications by Frank Drewes, Carlos Mart�n-Vide, Bianca Truthe 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).
470.	Image from Amazon.com Image from Coce	Numerical Software Verification by Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar 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).
471.	Image from Amazon.com Image from Coce	OWL: Experiences and Directions � Reasoner Evaluation by Mauro Dragoni, Mar�a Poveda-Villal�n, Ernesto Jimenez-Ruiz 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).
472.	Image from Amazon.com Image from Coce	Smart Card Research and Advanced Applications by Kerstin Lemke-Rust, Michael Tunstall 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).
473.	Image from Amazon.com Image from Coce	Theory and Applications of Models of Computation by T.V. Gopal, Gerhard J�ger , Silvia Steila 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).
474.	Image from Amazon.com Image from Coce	On the Move to Meaningful Internet Systems: OTM 2016 Workshops by Ioana Ciuciu, Christophe Debruyne, Herv� Panetto, Georg Weichhart, Peter Bollen, Anna Fensel, Maria-Esther Vidal 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).
475.	Image from Amazon.com Image from Coce	Engineering Trustworthy Software Systems by Jonathan P. Bowen, Zhiming Liu, Zili Zhang 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).
476.	Image from Amazon.com Image from Coce	Mastering Scale and Complexity in Software Reuse by Goetz Botterweck, Claudia Werner 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).
477.	Image from Amazon.com Image from Coce	Interoperability and Open-Source Solutions for the Internet of Things by Ivana Podnar �arko, Arne Broering, Sergios Soursos, Martin Serrano 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).
478.	Image from Amazon.com Image from Coce	NASA Formal Methods by Clark Barrett, Misty Davies, Temesghen Kahsai 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).
479.	Image from Amazon.com Image from Coce	Relational and Algebraic Methods in Computer Science by Peter H�fner, Damien Pous, Georg Struth 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).
480.	Image from Amazon.com Image from Coce	Application and Theory of Petri Nets and Concurrency by Wil van der Aalst, Eike Best 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).