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

Results
1181.	Image from Amazon.com	Integrated Formal Methods by Maurice H. ter Beek Rosemary Monahan Series: Lecture Notes in Computer Science Edition: 1st ed. 2022 Material type: Computer file; Format: electronic Publication details: Springer ; 2022 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1182.	Image from Amazon.com	NASA Formal Methods by Jyotirmoy V. Deshmukh Ivan Perez Klaus Havelund Series: Lecture Notes in Computer Science Edition: 1st ed. 2022 Material type: Computer file; Format: electronic Publication details: Springer ; 2022 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1183.	Image from Amazon.com	"Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification" by Simon Collart-Dutilleul Anne E. Haxthausen Thierry Lecomte Series: Lecture Notes in Computer Science Edition: 1st ed. 2022 Material type: Computer file; Format: electronic Publication details: Springer ; 2022 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1184.	Image from Amazon.com	OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Exascale and Smart Networks by Stephen Poole Matthew Baker Oscar Hernandez Series: Lecture Notes in Computer Science Edition: 1st ed. 2022 Material type: Computer file; Format: electronic Publication details: Springer ; 2022 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1185.	Image from Amazon.com	Testing Software and Systems by David Clark Ana Rosa Cavalli Hector Menendez Series: Lecture Notes in Computer Science Edition: 1st ed. 2022 Material type: Computer file; Format: electronic Publication details: Springer ; 2022 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1186.	Image from Amazon.com	Music Representation and Transformation in Software by Donald P. Pazel Edition: 1st ed. 2022 Material type: Computer file; Format: electronic Publication details: Springer ; 2022 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1187.	Image from Amazon.com	Functional and Logic Programming by Michael Hanus Atsushi Igarashi Series: Lecture Notes in Computer Science Edition: 1st ed. 2022 Material type: Computer file; Format: electronic Publication details: Springer ; 2022 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1188.	Image from Amazon.com	Introduction to Software Design with Java by Martin P. Robillard Edition: 2nd ed. 2022 Material type: Computer file; Format: electronic Publication details: Springer ; 2022 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1189.	Image from Amazon.com	Service-Oriented and Cloud Computing by Fabrizio Montesi George Angelos Papadopoulos Wolf Zimmermann Series: Lecture Notes in Computer Science Edition: 1st ed. 2022 Material type: Computer file; Format: electronic Publication details: Springer ; 2022 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1190.	Image from Amazon.com	Rewriting Logic and Its Applications by Kazuhiro Ogata Narciso Marti Oliet Series: Lecture Notes in Computer Science Edition: 2024 Material type: Computer file; Format: electronic Publication details: Springer ; 2024 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1191.	Image from Amazon.com	"Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium" by Bedir Tekinerdogan Hasan Sozer Romina Spalazzese Series: Lecture Notes in Computer Science Edition: 2024 Material type: Computer file; Format: electronic Publication details: Springer ; 2024 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1192.	Image from Amazon.com	Metamodeling: Applications and Trajectories to the Future by Hans Georg Fill Harald Kuhn Edition: 2024 Material type: Computer file; Format: electronic Publication details: Springer ; 2024 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1193.	Image from Amazon.com	Theoretical Aspects of Software Engineering by Wei Ngan Chin Zhiwu Xu Series: Lecture Notes in Computer Science Edition: 2024 Material type: Computer file; Format: electronic Publication details: Springer ; 2024 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1194.	Image from Amazon.com	Evaluation of Novel Approaches to Software Engineering by Hermann Kaindl Leszek A Maciaszek Mike Mannion Series: Communications in Computer and Information Science Edition: 2024 Material type: Computer file; Format: electronic Publication details: Springer ; 2024 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1195.	Image from Amazon.com	Search-Based Software Engineering by Gunel Jahangirova Foutse Khomh Series: Lecture Notes in Computer Science Edition: 2024 Material type: Computer file; Format: electronic Publication details: Springer ; 2024 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1196.	Image from Amazon.com	Qualitative Research with Socio-Technical Grounded Theory by Rashina Hoda Edition: 2024 Material type: Computer file; Format: electronic Publication details: Springer ; 2024 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1197.	Image from Amazon.com	Quality of Information and Communications Technology by Antonia Bertolino Joao Pascoal Faria Patricia Lago Series: Communications in Computer and Information Science Edition: 2024 Material type: Computer file; Format: electronic Publication details: Springer ; 2024 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1198.	Image from Amazon.com	Neural-Symbolic Learning and Reasoning by Tarek R Besold Artur d'Avila Garcez Ernesto Jimenez Ruiz Series: Lecture Notes in Computer Science Edition: 2024 Material type: Computer file; Format: electronic Publication details: Springer ; 2024 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1199.	Image from Amazon.com	Neural-Symbolic Learning and Reasoning by Tarek R Besold Artur d'Avila Garcez Ernesto Jimenez Ruiz Series: Lecture Notes in Computer Science Edition: 2024 Material type: Computer file; Format: electronic Publication details: Springer ; 2024 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1200.	Image from Amazon.com	Model-Driven Engineering and Software Development by Francisco Jose Dominguez Mayo Edwin Seidewitz Luis Ferreira Pires Series: Communications in Computer and Information Science Edition: 2024 Material type: Computer file; Format: electronic Publication details: Springer ; 2024 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)