Your search returned 354 results.

Results
41.	Image from Amazon.com Image from Coce	Theory and Practice of Model Transformations by Keith Duddy, Gerti Kappel 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).
42.	Image from Amazon.com Image from Coce	SDL 2013: Model-Driven Dependability Engineering by Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi, Rick Reed 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).
43.	Image from Amazon.com Image from Coce	Tests and Proofs by Margus Veanes, Luca Vigan� 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).
44.	Image from Amazon.com Image from Coce	Safe and Secure Software Reuse by John Favaro, Maurizio Morisio 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).
45.	Image from Amazon.com Image from Coce	Modelling Foundations and Applications by Pieter Gorp, Tom Ritter, Louis M. Rose 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).
46.	Image from Amazon.com Image from Coce	Software Architecture by Khalil Drira 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).
47.	Image from Amazon.com Image from Coce	ECOOP 2013 � Object-Oriented Programming by Giuseppe Castagna 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).
48.	Image from Amazon.com Image from Coce	Model Checking Software by Ezio Bartocci, C. R. Ramakrishnan 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).
49.	Image from Amazon.com Image from Coce	Structured Object-Oriented Formal Language and Method by Shaoying Liu 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).
50.	Image from Amazon.com Image from Coce	Hardware and Software: Verification and Testing by Armin Biere, Amir Nahir, Tanja Vos 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).
51.	Image from Amazon.com Image from Coce	Search Based Software Engineering by G�nther Ruhe, Yuanyuan Zhang 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).
52.	Image from Amazon.com Image from Coce	Multicore Software Engineering, Performance, and Tools by Jo�o M. Louren�o, Eitan Farchi 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).
53.	Image from Amazon.com Image from Coce	Euro-Par 2013 Parallel Processing by Felix Wolf, Bernd Mohr, Dieter Mey 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).
54.	Image from Amazon.com Image from Coce	The Beauty of Functional Code by Peter Achten, Pieter Koopman 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).
55.	Image from Amazon.com Image from Coce	Trends in Functional Programming by Hans-Wolfgang Loidl, Ricardo Pe�a 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).
56.	Image from Amazon.com Image from Coce	Software Engineering and Formal Methods by Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti 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).
57.	Image from Amazon.com Image from Coce	Computational Logic in Multi-Agent Systems by Jo�o Leite, Tran Cao Son, Paolo Torroni, Leon Torre, Stefan Woltran 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).
58.	Image from Amazon.com Image from Coce	Principles and Practice of Constraint Programming by Christian Schulte 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).
59.	Image from Amazon.com Image from Coce	OpenMP in the Era of Low Power Devices and Accelerators by Alistair P. Rendell, Barbara M. Chapman, Matthias S. M�ller 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).
60.	Image from Amazon.com Image from Coce	Runtime Verification by Axel Legay, Saddek Bensalem 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).