Results of search for 'ccl=su:"Software engineering "' › CENTRAL LIBRARY, AMRITA VISHWA VIDYAPEETHAM catalog

Results
541.	Image from Amazon.com	Tests and Proofs by Bernhard K Aichernig Carlo A Furia Series: Lecture Notes in Computer Science Edition: 1st ed. 2016 Material type: Computer file; Format: electronic Publication details: Springer ; 2016 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
542.	Image from Amazon.com	NASA Formal Methods by Clark Barrett Misty Davies Temesghen Kahsai Series: Lecture Notes in Computer Science Edition: 1st ed. 2017 Material type: Computer file; Format: electronic Publication details: Springer ; 2017 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
543.	Image from Amazon.com	Software Architecture by Paris Avgeriou Uwe Zdun Series: Lecture Notes in Computer Science Edition: 2014 Material type: Computer file; Format: electronic Publication details: Springer ; 2014 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
544.	Image from Amazon.com	Search-Based Software Engineering by Marcio Barros Yvan Labiche Series: Lecture Notes in Computer Science Edition: 1st ed. 2015 Material type: Computer file; Format: electronic Publication details: Springer ; 2015 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
545.	Image from Amazon.com	Formal Aspects of Component Software by Ivan Lanese Eric Madelaine Series: Lecture Notes in Computer Science Edition: 2015 Material type: Computer file; Format: electronic Publication details: Springer ; 2015 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
546.	Image from Amazon.com	Fundamental Approaches to Software Engineering by Alexander Egyed Ina Schaefer Series: Lecture Notes in Computer Science Edition: 2015 Material type: Computer file; Format: electronic Publication details: Springer ; 2015 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
547.	Image from Amazon.com	Runtime Verification by Ezio Bartocci Rupak Majumdar Series: Lecture Notes in Computer Science Edition: 1st ed. 2015 Material type: Computer file; Format: electronic Publication details: Springer ; 2015 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
548.	Image from Amazon.com	System Analysis and Modeling. Technology-Specific Aspects of Models by Jens Grabowski Steffen Herbold Series: Lecture Notes in Computer Science Edition: 1st ed. 2016 Material type: Computer file; Format: electronic Publication details: Springer ; 2016 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
549.	Image from Amazon.com	Testing Software and Systems by Khaled El Fakih Gerassimos Barlas Nina Yevtushenko Series: Lecture Notes in Computer Science Edition: 1st ed. 2015 Material type: Computer file; Format: electronic Publication details: Springer ; 2015 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
550.	Image from Amazon.com	"OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools" by Stephen Poole Oscar Hernandez Pavel Shamis Series: Lecture Notes in Computer Science Edition: 2014 Material type: Computer file; Format: electronic Publication details: Springer ; 2014 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
551.	Image from Amazon.com	Search Based Software Engineering by Tim Menzies Justyna Petke Series: Lecture Notes in Computer Science Edition: 1st ed. 2017 Material type: Computer file; Format: electronic Publication details: Springer ; 2017 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
552.	Image from Amazon.com	Software Engineering for Collective Autonomic Systems by Martin Wirsing Matthias Holzl Nora Koch Series: Lecture Notes in Computer Science Edition: 2015 Material type: Computer file; Format: electronic Publication details: Springer ; 2015 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
553.	Image from Amazon.com	NASA Formal Methods by Julia M Badger Kristin Yvonne Rozier Series: Lecture Notes in Computer Science Edition: 2014 Material type: Computer file; Format: electronic Publication details: Springer ; 2014 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
554.	Image from Amazon.com	Engineering Trustworthy Software Systems by Zhiming Liu Zili Zhang Series: Lecture Notes in Computer Science Edition: 1st ed. 2016 Material type: Computer file; Format: electronic Publication details: Springer ; 2016 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
555.	Image from Amazon.com	"Dependable Software Engineering: Theories, Tools, and Applications" by Xuandong Li Wang Yi Zhiming Liu Series: Lecture Notes in Computer Science Edition: 1st ed. 2015 Material type: Computer file; Format: electronic Publication details: Springer ; 2015 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
556.	Image from Amazon.com	Formal Methods for Executable Software Models by Marco Bernardo Ferruccio Damiani Reiner Haehnle Series: Lecture Notes in Computer Science Edition: 2014 Material type: Computer file; Format: electronic Publication details: Springer ; 2014 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
557.	Image from Amazon.com	Runtime Verification by Shuvendu Lahiri Giles Reger Series: Lecture Notes in Computer Science Edition: 1st ed. 2017 Material type: Computer file; Format: electronic Publication details: Springer ; 2017 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
558.	Image from Amazon.com	Coordination Models and Languages by Jean Marie Jacquet Mieke Massink Series: Lecture Notes in Computer Science Edition: 1st ed. 2017 Material type: Computer file; Format: electronic Publication details: Springer ; 2017 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
559.	Image from Amazon.com	OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments by Manjunath Gorentla Venkata Neena Imam Swaroop Pophale Series: Lecture Notes in Computer Science Edition: 1st ed. 2016 Material type: Computer file; Format: electronic Publication details: Springer ; 2016 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
560.	Image from Amazon.com	Runtime Verification by Borzoo Bonakdarpour Scott A Smolka Series: Lecture Notes in Computer Science Edition: 2014 Material type: Computer file; Format: electronic Publication details: Springer ; 2014 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)