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

Results
1101.		Theories of Programming and Formal Methods by Jonathan P. Bowen Qin Li Qiwen Xu Series: Lecture Notes in Computer Science Edition: 1st ed. 2023 Material type: Computer file; Format: electronic Publication details: Springer ; 2023 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1102.		Transdisciplinary Multispectral Modeling and Cooperation for the Preservation of Cultural Heritage by Antonia Moropoulou Andreas Georgopoulos Marinos Ioannides Series: Communications in Computer and Information Science Edition: 1st ed. 2023 Material type: Computer file; Format: electronic Publication details: Springer ; 2023 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1103.		Fundamentals of Software Engineering by Hossein Hojjat Erika abraham Series: Lecture Notes in Computer Science Edition: 1st ed. 2023 Material type: Computer file; Format: electronic Publication details: Springer ; 2023 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1104.		Euro-Par 2023: Parallel Processing by Jose Cano George A. Papadopoulos Marios D. Dikaiakos Series: Lecture Notes in Computer Science Edition: 1st ed. 2023 Material type: Computer file; Format: electronic Publication details: Springer ; 2023 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1105.		Applicable Formal Methods for Safe Industrial Products by Anne E. Haxthausen Markus Roggenbach Wen-ling Huang Series: Lecture Notes in Computer Science Edition: 1st ed. 2023 Material type: Computer file; Format: electronic Publication details: Springer ; 2023 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1106.		Parallel Computing Technologies by Victor Malyshkin Series: Lecture Notes in Computer Science Edition: 1st ed. 2023 Material type: Computer file; Format: electronic Publication details: Springer ; 2023 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1107.		Model-Driven Engineering and Software Development by Luis Ferreira Pires Edwin Seidewitz Slimane Hammoudi Series: Communications in Computer and Information Science Edition: 1st ed. 2023 Material type: Computer file; Format: electronic Publication details: Springer ; 2023 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1108.	Image from Amazon.com	An Introduction to Software Design by Chenglie Hu Edition: 1st ed. 2023 Material type: Computer file; Format: electronic Publication details: Springer ; 2023 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1109.		Software Technologies by Hans-Georg Fill Leszek A. Maciaszek Marten van Sinderen Series: Communications in Computer and Information Science Edition: 1st ed. 2023 Material type: Computer file; Format: electronic Publication details: Springer ; 2023 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1110.		Software Architecture. ECSA 2022 Tracks and Workshops by Thais Batista Claudia Raibulet TomasBures Series: Lecture Notes in Computer Science Edition: 1st ed. 2023 Material type: Computer file; Format: electronic Publication details: Springer ; 2023 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1111.	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: 1st ed. 2023 Material type: Computer file; Format: electronic Publication details: Springer ; 2023 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1112.	Image from Amazon.com	Advances in Computing by Vanessa Agredo-Delgado Alexandra Ruiz Gaona Pablo H. Ruiz Series: Communications in Computer and Information Science Edition: 1st ed. 2023 Material type: Computer file; Format: electronic Publication details: Springer ; 2023 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1113.	Image from Amazon.com	Theoretical Aspects of Software Engineering by Cristina David Meng Sun Series: Lecture Notes in Computer Science Edition: 1st ed. 2023 Material type: Computer file; Format: electronic Publication details: Springer ; 2023 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1114.	Image from Amazon.com	Smart Technologies for Sustainable and Resilient Ecosystems by Sergio Ivan Lopes Paula Fraga-Lamas Tiago M. Fernandes-Camares Series: "Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering" Edition: 1st ed. 2023 Material type: Computer file; Format: electronic Publication details: Springer ; 2023 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1115.	Image from Amazon.com	Coordination Models and Languages by Sung-Shik Jongmans Antonia Lopes Series: Lecture Notes in Computer Science Edition: 1st ed. 2023 Material type: Computer file; Format: electronic Publication details: Springer ; 2023 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1116.	Image from Amazon.com	"Formal Techniques for Distributed Objects, Components, and Systems" by Marieke Huisman Antonio Ravara Series: Lecture Notes in Computer Science Edition: 1st ed. 2023 Material type: Computer file; Format: electronic Publication details: Springer ; 2023 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1117.	Image from Amazon.com	Distributed Applications and Interoperable Systems by Marta Patino-Martinez Joao Paulo Series: Lecture Notes in Computer Science Edition: 1st ed. 2023 Material type: Computer file; Format: electronic Publication details: Springer ; 2023 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1118.	Image from Amazon.com	NASA Formal Methods by Kristin Yvonne Rozier Swarat Chaudhuri Series: Lecture Notes in Computer Science Edition: 1st ed. 2023 Material type: Computer file; Format: electronic Publication details: Springer ; 2023 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1119.	Image from Amazon.com	End-User Development by Lucio Davide Spano Albrecht Schmidt Carmen Santoro Series: Lecture Notes in Computer Science Edition: 1st ed. 2023 Material type: Computer file; Format: electronic Publication details: Springer ; 2023 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1120.	Image from Amazon.com	"Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems" by Pedro Lopez-Garcia John P. Gallagher Roberto Giacobazzi Series: Lecture Notes in Computer Science Edition: 1st ed. 2023 Material type: Computer file; Format: electronic Publication details: Springer ; 2023 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)