Your search returned 344 results.

Results
81.	Image from Amazon.com Image from Coce	Reliable Software Technologies � Ada-Europe 2014 by Laurent George, Tullio Vardanega 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).
82.	Image from Amazon.com Image from Coce	Theory and Practice of Model Transformations by Davide Ruscio, D�niel Varr� 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).
83.	Image from Amazon.com Image from Coce	Tests and Proofs by Martina Seidl, Nikolai Tillmann 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).
84.	Image from Amazon.com Image from Coce	Modelling Foundations and Applications by Jordi Cabot, Julia Rubin 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).
85.	Image from Amazon.com Image from Coce	Computational Logic in Multi-Agent Systems by Nils Bulling, Leendert Torre, Serena Villata, Wojtek Jamroga, Wamberto Vasconcelos 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).
86.	Image from Amazon.com Image from Coce	Euro-Par 2014 Parallel Processing by Fernando Silva, In�s Dutra, V�tor Santos Costa 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).
87.	Image from Amazon.com Image from Coce	Search-Based Software Engineering by Claire Goues, Shin Yoo 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).
88.	Image from Amazon.com Image from Coce	Software Architecture by Paris Avgeriou, Uwe Zdun 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).
89.	Image from Amazon.com Image from Coce	Integrated Formal Methods by Elvira Albert, Emil Sekerinski 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).
90.	Image from Amazon.com Image from Coce	Software Engineering and Formal Methods by Dimitra Giannakopoulou, Gwen Sala�n 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).
91.	Image from Amazon.com Image from Coce	Formal Methods for Industrial Critical Systems by Fr�d�ric Lang, Francesco Flammini 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).
92.	Image from Amazon.com Image from Coce	Theoretical Aspects of Computing � ICTAC 2014 by Gabriel Ciobanu, Dominique M�ry 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).
93.	Image from Amazon.com Image from Coce	Static Analysis by Markus M�ller-Olm, Helmut Seidl 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).
94.	Image from Amazon.com Image from Coce	Runtime Verification by Borzoo Bonakdarpour, Scott A. Smolka 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).
95.	Image from Amazon.com Image from Coce	Software Language Engineering by Beno�t Combemale, David J. Pearce, Olivier Barais, Jurgen J. Vinju 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).
96.	Image from Amazon.com Image from Coce	Reachability Problems by Jo�l Ouaknine, Igor Potapov, James Worrell 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).
97.	Image from Amazon.com Image from Coce	Using and Improving OpenMP for Devices, Tasks, and More by Luiz DeRose, Bronis R. Supinski, Stephen L. Olivier, 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 2014 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
98.	Image from Amazon.com Image from Coce	Model-Driven Engineering Languages and Systems by Juergen Dingel, Wolfram Schulte, Isidro Ramos, Silvia Abrah�o, Emilio Insfran 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).
99.	Image from Amazon.com Image from Coce	Formal Methods and Software Engineering by Stephan Merz, Jun Pang 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).
100.	Image from Amazon.com Image from Coce	System Analysis and Modeling: Models and Reusability by Daniel Amyot, Pau Fonseca i Casas, Gunter Mussbacher 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).