Your search returned 354 results.

Results
121.	Image from Amazon.com Image from Coce	Programming Languages and Systems by Zhong Shao 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).
122.	Image from Amazon.com Image from Coce	From Programs to Systems. The Systems perspective in Computing by Saddek Bensalem, Yassine Lakhneck, Axel Legay 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).
123.	Image from Amazon.com Image from Coce	Tools and Algorithms for the Construction and Analysis of Systems by Erika �brah�m, Klaus Havelund 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).
124.	Image from Amazon.com Image from Coce	Transactions on Aspect-Oriented Software Development XI by Shigeru Chiba, �ric Tanter, Eric Bodden, Shahar Maoz, J�rg Kienzle 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).
125.	Image from Amazon.com Image from Coce	ECOOP 2014 � Object-Oriented Programming by Richard Jones 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).
126.	Image from Amazon.com Image from Coce	Concurrent Objects and Beyond by Gul Agha, Atsushi Igarashi, Naoki Kobayashi, Hidehiko Masuhara, Satoshi Matsuoka, Etsuya Shibayama, Kenjiro Taura 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).
127.	Image from Amazon.com Image from Coce	Testing Software and Systems by Mercedes G. Merayo, Edgardo Montes Oca 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).
128.	Image from Amazon.com Image from Coce	Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 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).
129.	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).
130.	Image from Amazon.com Image from Coce	Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems by Anne Remke, Mari�lle Stoelinga 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).
131.	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).
132.	Image from Amazon.com Image from Coce	Unifying Theories of Programming by David Naumann 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).
133.	Image from Amazon.com Image from Coce	Formal Methods: Foundations and Applications by Christiano Braga, Narciso Mart�-Oliet 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).
134.	Image from Amazon.com Image from Coce	Software Engineering and Formal Methods by Carlos Canal, Akram Idani 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).
135.	Image from Amazon.com Image from Coce	Formal Aspects of Component Software by Ivan Lanese, Eric Madelaine 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).
136.	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).
137.	Image from Amazon.com Image from Coce	Central European Functional Programming School by Vikt�ria Zs�k, Zolt�n Horv�th, Lehel Csat� 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).
138.	Image from Amazon.com Image from Coce	Software Engineering for Collective Autonomic Systems by Martin Wirsing, Matthias H�lzl, Nora Koch, Philip Mayer 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).
139.	Image from Amazon.com Image from Coce	Structured Object-Oriented Formal Language and Method by Shaoying Liu, Zhenhua Duan 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).
140.	Image from Amazon.com Image from Coce	Languages and Compilers for Parallel Computing by James Brodman, Peng Tu 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).