Your search returned 344 results.

Results
201.	Image from Amazon.com Image from Coce	Coordination Models and Languages by Alberto Lluch Lafuente, Jos� Proen�a Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
202.	Image from Amazon.com Image from Coce	Automated Reasoning by Nicola Olivetti, Ashish Tiwari Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
203.	Image from Amazon.com Image from Coce	Reversible Computation by Simon Devitt, Ivan Lanese Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
204.	Image from Amazon.com Image from Coce	NASA Formal Methods by Sanjai Rayadurgam, Oksana Tkachuk Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
205.	Image from Amazon.com Image from Coce	Tests and Proofs by Bernhard K. Aichernig, Carlo A. Furia Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
206.	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 2016 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
207.	Image from Amazon.com Image from Coce	Perspectives of System Informatics by Manuel Mazzara, Andrei Voronkov Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
208.	Image from Amazon.com Image from Coce	Software Engineering and Formal Methods by Rocco De Nicola, Eva K�hn Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
209.	Image from Amazon.com Image from Coce	Modelling Foundations and Applications by Andrzej Wasowski, Henrik L�nn Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
210.	Image from Amazon.com Image from Coce	Intelligent Computer Mathematics by Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
211.	Image from Amazon.com Image from Coce	Euro-Par 2016: Parallel Processing by Pierre-Fran�ois Dutot, Denis Trystram Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
212.	Image from Amazon.com Image from Coce	Rewriting Logic and Its Applications by Dorel Lucanu Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
213.	Image from Amazon.com Image from Coce	PRIMA 2016: Principles and Practice of Multi-Agent Systems by Matteo Baldoni, Amit K. Chopra, Tran Cao Son, Katsutoshi Hirayama, Paolo Torroni Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
214.	Image from Amazon.com Image from Coce	Human-Centered and Error-Resilient Systems Development by Cristian Bogdan, Jan Gulliksen, Stefan Sauer, Peter Forbrig, Marco Winckler, Chris Johnson, Philippe Palanque, Regina Bernhaupt, Filip Kis Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
215.	Image from Amazon.com Image from Coce	Programming Languages by Fernando Castor, Yu David Liu Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
216.	Image from Amazon.com Image from Coce	Computer Safety, Reliability, and Security by Amund Skavhaug, J�r�mie Guiochet, Friedemann Bitsch Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
217.	Image from Amazon.com Image from Coce	OpenMP: Memory, Devices, and Tasks by Naoya Maruyama, Bronis R. de Supinski, Mohamed Wahib Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
218.	Image from Amazon.com Image from Coce	Software Engineering for Resilient Systems by Ivica Crnkovic, Elena Troubitsyna Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
219.	Image from Amazon.com Image from Coce	Critical Systems: Formal Methods and Automated Verification by Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
220.	Image from Amazon.com Image from Coce	Scala: From a Functional Programming Perspective by Vicen� Torra Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).