Your search returned 740 results.

Results
1.	Image from Amazon.com Image from Coce	Automated Technology for Verification and Analysis by Dang Hung, Mizuhito Ogawa Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
2.	Image from Amazon.com Image from Coce	Software Language Engineering by Martin Erwig, Richard F. Paige, Eric Wyk Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
3.	Image from Amazon.com Image from Coce	Hardware and Software: Verification and Testing by Valeria Bertacco, Axel Legay Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
4.	Image from Amazon.com Image from Coce	Fuzzy Logic and Applications by Francesco Masulli, Gabriella Pasi, Ronald Yager Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
5.	Image from Amazon.com Image from Coce	AIIA 2013: Advances in Artificial Intelligence by Matteo Baldoni, Cristina Baroglio, Guido Boella, Roberto Micalizio Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference:* LRC, IIT Indore: Not for loan (1).
6.	Image from Amazon.com Image from Coce	Programming Languages and Systems by Chung-chieh Shan Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
7.	Image from Amazon.com Image from Coce	Certified Programs and Proofs by Georges Gonthier, Michael Norrish Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
8.	Image from Amazon.com Image from Coce	Runtime Verification by Shaz Qadeer, Serdar Tasiran Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
9.	Image from Amazon.com Image from Coce	Unifying Theories of Programming by Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
10.	Image from Amazon.com Image from Coce	Logical Foundations of Computer Science by Sergei Artemov, Anil Nerode Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
11.	Image from Amazon.com Image from Coce	Software Engineering for Self-Adaptive Systems II by Rog�rio Lemos, Holger Giese, Hausi A. M�ller, Mary Shaw Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
12.	Image from Amazon.com Image from Coce	Evaluation of Natural Language and Speech Tools for Italian by Bernardo Magnini, Francesco Cutugno, Mauro Falcone, Emanuele Pianta Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
13.	Image from Amazon.com Image from Coce	Formal Aspects of Component Software by Corina S. Pasareanu, Gwen Sala�n Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
14.	Image from Amazon.com Image from Coce	Verification, Model Checking, and Abstract Interpretation by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
15.	Image from Amazon.com Image from Coce	Formal Methods for Components and Objects by Bernhard Beckert, Ferruccio Damiani, Frank S. Boer, Marcello M. Bonsangue Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
16.	Image from Amazon.com Image from Coce	Uncertainty Reasoning for the Semantic Web II by Fernando Bobillo, Paulo C. G. Costa, Claudia d�Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, Michael Pool Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
17.	Image from Amazon.com Image from Coce	Generative and Transformational Techniques in Software Engineering IV by Ralf L�mmel, Jo�o Saraiva, Joost Visser Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
18.	Image from Amazon.com Image from Coce	Languages and Compilers for Parallel Computing by Sanjay Rajopadhye, Michelle Mills Strout Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
19.	Image from Amazon.com Image from Coce	Logic and Its Applications by Kamal Lodaya Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
20.	Image from Amazon.com Image from Coce	Software Engineering by Andrea Lucia, Filomena Ferrucci Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).