Your search returned 2964 results.

Results
2141.	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).
2142.	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).
2143.	Image from Amazon.com Image from Coce	Foundational and Practical Aspects of Resource Analysis by Marko van Eekelen, Ugo Dal Lago 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).
2144.	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).
2145.	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).
2146.	Image from Amazon.com Image from Coce	Cooperative Design, Visualization, and Engineering by Yuhua Luo 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).
2147.	Image from Amazon.com Image from Coce	Autonomous Agents and Multiagent Systems by Nardine Osman, Carles Sierra 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).
2148.	Image from Amazon.com Image from Coce	Current Trends in Web Engineering by Sven Casteleyn, Peter Dolog, Cesare Pautasso 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).
2149.	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).
2150.	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).
2151.	Image from Amazon.com Image from Coce	Network and Parallel Computing by Guang R. Gao, Depei Qian, Xinbo Gao, Barbara Chapman, Wenguang Chen 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).
2152.	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).
2153.	Image from Amazon.com Image from Coce	Hybrid Systems Biology by Eugenio Cinquemani, Alexandre Donz� 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).
2154.	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).
2155.	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).
2156.	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).
2157.	Image from Amazon.com Image from Coce	Cyber-Physical Systems of Systems by Andrea Bondavalli, Sara Bouchenak, Hermann Kopetz 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).
2158.	Image from Amazon.com Image from Coce	Dependable Software Engineering: Theories, Tools, and Applications by Martin Fr�nzle, Deepak Kapur, Naijun Zhan 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).
2159.	Image from Amazon.com Image from Coce	Advances in Conceptual Modeling by Sebastian Link, Juan C. Trujillo 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).
2160.	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).