Your search returned 354 results.

Results
61.	Image from Amazon.com Image from Coce	Programming Languages by Andr� Rauber Bois, Phil Trinder 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).
62.	Image from Amazon.com Image from Coce	Reachability Problems by Parosh Aziz Abdulla, Igor Potapov 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).
63.	Image from Amazon.com Image from Coce	Formal Methods and Software Engineering by Lindsay Groves, Jing Sun 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).
64.	Image from Amazon.com Image from Coce	Model-Driven Engineering Languages and Systems by Ana Moreira, Bernhard Sch�tz, Jeff Gray, Antonio Vallecillo, Peter Clarke 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).
65.	Image from Amazon.com Image from Coce	Constraint Solving and Language Processing by Denys Duchier, Yannick Parmentier 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).
66.	Image from Amazon.com Image from Coce	Implementation and Application of Functional Languages by Ralf Hinze 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).
67.	Image from Amazon.com Image from Coce	In Search of Elegance in the Theory and Practice of Computation by Val Tannen, Limsoon Wong, Leonid Libkin, Wenfei Fan, Wang-Chiew Tan, Michael Fourman 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).
68.	Image from Amazon.com Image from Coce	Testing Software and Systems by H�sn� Yenig�n, Cemal Yilmaz, Andreas Ulrich 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).
69.	Image from Amazon.com Image from Coce	Ada 2012 Rationale by John Barnes 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).
70.	Image from Amazon.com Image from Coce	Logic for Programming, Artificial Intelligence, and Reasoning by Ken McMillan, Aart Middeldorp, Andrei Voronkov 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).
71.	Image from Amazon.com Image from Coce	Practical Aspects of Declarative Languages by Kostis Sagonas 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).
72.	Image from Amazon.com Image from Coce	Advanced Parallel Processing Technologies by Chenggang Wu, Albert Cohen 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).
73.	Image from Amazon.com Image from Coce	Ada 2012 Reference Manual. Language and Standard Libraries by S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy, Edmond Schonberg 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).
74.	Image from Amazon.com Image from Coce	Practical Aspects of Declarative Languages by Matthew Flatt, Hai-Feng Guo 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).
75.	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 2014 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
76.	Image from Amazon.com Image from Coce	Software Engineering and Formal Methods by Steve Counsell, Manuel N��ez 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).
77.	Image from Amazon.com Image from Coce	OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools by Stephen Poole, Oscar Hernandez, Pavel Shamis 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).
78.	Image from Amazon.com Image from Coce	Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance by Kai Fischbach, Udo R. Krieger 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).
79.	Image from Amazon.com Image from Coce	NASA Formal Methods by Julia M. Badger, Kristin Yvonne Rozier 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).
80.	Image from Amazon.com Image from Coce	Functional and Logic Programming by Michael Codish, Eijiro Sumii 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).