Your search returned 344 results.

Results
101.	Image from Amazon.com Image from Coce	Programming Languages by Fernando Magno Quint�o Pereira 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).
102.	Image from Amazon.com Image from Coce	Automated Technology for Verification and Analysis by Franck Cassez, Jean-Fran�ois Raskin 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).
103.	Image from Amazon.com Image from Coce	Verified Software: Theories, Tools and Experiments by Dimitra Giannakopoulou, Daniel Kroening 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).
104.	Image from Amazon.com Image from Coce	Model-Based Safety and Assessment by Frank Ortmeier, Antoine Rauzy 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).
105.	Image from Amazon.com Image from Coce	Foundational and Practical Aspects of Resource Analysis by Ugo Dal Lago, Ricardo Pe�a 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).
106.	Image from Amazon.com Image from Coce	Programming Languages and Systems by Jacques Garrigue 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).
107.	Image from Amazon.com Image from Coce	Rewriting Logic and Its Applications by Santiago Escobar 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).
108.	Image from Amazon.com Image from Coce	Hardware and Software: Verification and Testing by Eran Yahav 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).
109.	Image from Amazon.com Image from Coce	A Pipelined Multi-core MIPS Machine by Mikhail Kovalev, Silvia M. M�ller, Wolfgang J. Paul 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).
110.	Image from Amazon.com Image from Coce	Software Reuse for Dynamic Systems in the Cloud and Beyond by Ina Schaefer, Ioannis Stamelos 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).
111.	Image from Amazon.com Image from Coce	Trends in Functional Programming by Jay McCarthy 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).
112.	Image from Amazon.com Image from Coce	Verified Software: Theories, Tools, Experiments by Ernie Cohen, Andrey Rybalchenko 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).
113.	Image from Amazon.com Image from Coce	Specification, Algebra, and Software by Shusaku Iida, Jos� Meseguer, Kazuhiro Ogata 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).
114.	Image from Amazon.com Image from Coce	Fundamental Approaches to Software Engineering by Stefania Gnesi, Arend Rensink 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).
115.	Image from Amazon.com Image from Coce	Compiler Construction by Albert Cohen 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).
116.	Image from Amazon.com Image from Coce	Foundations of Software Science and Computation Structures by Anca Muscholl 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).
117.	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).
118.	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).
119.	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).
120.	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).