Your search returned 344 results.

Results
221.	Image from Amazon.com Image from Coce	Transactions on Foundations for Mastering Change I by Bernhard Steffen Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
222.	Image from Amazon.com Image from Coce	Automated Technology for Verification and Analysis by Cyrille Artho, Axel Legay, Doron Peled Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
223.	Image from Amazon.com Image from Coce	System Analysis and Modeling. Technology-Specific Aspects of Models by Jens Grabowski , Steffen Herbold Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
224.	Image from Amazon.com Image from Coce	Theoretical Aspects of Computing � ICTAC 2016 by Augusto Sampaio, Farn Wang Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
225.	Image from Amazon.com Image from Coce	Transactions on Modularity and Composition I by Shigeru Chiba, Mario S�dholt, Patrick Eugster, Lukasz Ziarek, Gary T. Leavens Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
226.	Image from Amazon.com Image from Coce	Runtime Verification by Yli�s Falcone, C�sar S�nchez Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
227.	Image from Amazon.com Image from Coce	Search Based Software Engineering by Federica Sarro, Kalyanmoy Deb Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
228.	Image from Amazon.com Image from Coce	Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques by Tiziana Margaria, Bernhard Steffen Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
229.	Image from Amazon.com Image from Coce	Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications by Tiziana Margaria, Bernhard Steffen Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
230.	Image from Amazon.com Image from Coce	Testing Software and Systems by Franz Wotawa, Mihai Nica, Natalia Kushik Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
231.	Image from Amazon.com Image from Coce	Formal Methods and Software Engineering by Kazuhiro Ogata, Mark Lawford, Shaoying Liu Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
232.	Image from Amazon.com Image from Coce	Programming Languages and Systems by Atsushi Igarashi Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
233.	Image from Amazon.com Image from Coce	Verified Software. Theories, Tools, and Experiments by Sandrine Blazy, Marsha Chechik Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
234.	Image from Amazon.com Image from Coce	Software Architecture by Bedir Tekinerdogan, Uwe Zdun, Ali Babar Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
235.	Image from Amazon.com Image from Coce	Hardware and Software: Verification and Testing by Roderick Bloem, Eli Arbel Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
236.	Image from Amazon.com Image from Coce	Deductive Software Verification � The KeY Book by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner H�hnle, Peter H. Schmitt, Mattias Ulbrich Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
237.	Image from Amazon.com Image from Coce	Formal Methods: Foundations and Applications by Leila Ribeiro, Thierry Lecomte Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
238.	Image from Amazon.com Image from Coce	OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments by Manjunath Gorentla Venkata, Neena Imam, Swaroop Pophale, Tiffany M. Mintz Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
239.	Image from Amazon.com Image from Coce	Verification, Model Checking, and Abstract Interpretation by Barbara Jobstmann, K. Rustan M. Leino Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
240.	Image from Amazon.com Image from Coce	Programming Languages and Systems by Peter Thiemann Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).