Results of search for 'su:{Software engineering.}' › National Library of India catalog

Results
	421.	Knowledge Discovery, Knowledge Engineering and Knowledge Management [electronic resource] : 13th International Joint Conference, IC3K 2021, Virtual Event, October 25-27, 2021, Revised Selected Papers / edited by Ana Fred, David Aveiro, Jan Dietz, Jorge Bernardino, Elio Masciari, Joaquim Filipe. by Fred, Ana [editor.] Aveiro, David [editor.] Dietz, Jan [editor.] Bernardino, Jorge [editor.] Masciari, Elio [editor.] Filipe, Joaquim [editor.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Cham : Springer International Publishing : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 025.04. Place hold Save to lists
	422.	Automated Technology for Verification and Analysis [electronic resource] : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II / edited by Étienne André, Jun Sun. by André, Étienne [editor.] Sun, Jun [editor.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 005.1. Place hold Save to lists
	423.	NASA Formal Methods [electronic resource] : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings / edited by Kristin Yvonne Rozier, Swarat Chaudhuri. by Rozier, Kristin Yvonne [editor.] Chaudhuri, Swarat [editor.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 005.1. Place hold Save to lists
	424.	Integrated Formal Methods [electronic resource] : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings / edited by Maurice H. ter Beek, Rosemary Monahan. by ter Beek, Maurice H [editor.] Monahan, Rosemary [editor.] Series: Lecture Notes in Computer Science ; 13274 Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 005.1. Place hold Save to lists
	425.	Coordination Models and Languages [electronic resource] : 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings / edited by Maurice H. ter Beek, Marjan Sirjani. by ter Beek, Maurice H [editor.] Sirjani, Marjan [editor.] Series: Lecture Notes in Computer Science ; 13271 Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 005.1. Place hold Save to lists
	426.	Artificial General Intelligence [electronic resource] : 16th International Conference, AGI 2023, Stockholm, Sweden, June 16-19, 2023, Proceedings / edited by Patrick Hammer, Marjan Alirezaie, Claes Strannegård. by Hammer, Patrick [editor.] Alirezaie, Marjan [editor.] Strannegård, Claes [editor.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 006.3. Place hold Save to lists
	427.	Unifying Theories of Programming and Formal Engineering Methods [electronic resource] : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu. by Liu, Zhiming [edt] Woodcock, Jim [edt] Zhu, Huibiao [edt] Series: Lecture Notes in Computer Science ; 8050 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2013 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	428.	Model-Based Engineering of Embedded Real-Time Systems [electronic resource] : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers / edited by Holger Giese...[et al.] by Giese, Holger [edt] International Dagstuhl Workshop (2007 : Dagstuhl, Wadern, Germany) Series: Lecture Notes in Computer Science ; 6100 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	429.	Practical Aspects of Declarative Languages [electronic resource] : 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17-18, 2022, Proceedings / edited by James Cheney, Simona Perri. by Cheney, James [editor.] Perri, Simona [editor.] Series: Programming and Software Engineering ; 13165 Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 005.13. Place hold Save to lists
	430.	Advances and Trends in Artificial Intelligence. Theory and Practices in Artificial Intelligence [electronic resource] : 35th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2022, Kitakyushu, Japan, July 19-22, 2022, Proceedings / edited by Hamido Fujita, Philippe Fournier-Viger, Moonis Ali, Yinglin Wang. by Fujita, Hamido [editor.] Fournier-Viger, Philippe [editor.] Ali, Moonis [editor.] Wang, Yinglin [editor.] Series: Lecture Notes in Artificial Intelligence ; 13343 Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 006.3. Place hold Save to lists
	431.	Software testing : a practical approach/ A. Malathi by Malathi, A Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Adult; Language: English Publication details: Coimbatore : Rainbow Pub., 2008 Availability: Items available for loan: National Library of India (1)Call number: E 005.14 M. Place hold Request article Save to lists
	432.	No cover image available Computer program abstracts by United States. National Aeronautics and Space Administration Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Washington, D.C. : United States National Aeronautics and Space Administration, 1979- Availability: Items available for loan: National Library of India (1)Call number: U.S 005.1 Un 3. Place hold Request article Save to lists
	433.	Software inspections : how to cut costs, improve quality and shorten time cycles of software projets/ Ronald A. Radice. by Radice, Ronald A Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Adult; Language: English Publication details: New Delhi : Tata McGraw-Hill Education, 2003 Availability: Items available for loan: National Library of India (1)Call number: 005.1 R 118. Place hold Request article Save to lists
	434.	Productizing Quantum Computing [electronic resource] : Bring Quantum Computing Into Your Organization / by Dhairyya Agarwal, Shalini D, Srinjoy Ganguly. by Agarwal, Dhairyya [author.] D, Shalini [author.] Ganguly, Srinjoy [author.] Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Berkeley, CA : Apress : Imprint: Apress, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 51,068. Place hold Save to lists
	435.	No cover image available Computer program abstracts by United States. National Aeronautics and Space Administration Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Washington, D.C. : United States Government Printing Office, 1979- Availability: Items available for loan: National Library of India (1)Call number: U.S 005.1 Us 3 c (1979). Place hold Request article Save to lists
	436.	No cover image available Computer science & technology : data base reorganization principles and practice / Gary H. Sockut and Robert P. Goldberg by Sockut, Gary H Goldberg, Robert P [jt.aut] Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Washington, D.C. : United States Government Printing Office , 1979 Availability: Items available for loan: National Library of India (1)Call number: U.S 005.1 So 13. Place hold Request article Save to lists
	437.	No cover image available Computer program abstracts / United States National Aeronautics and Space Administration by United States. National Aeronautics and Space Administration Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Washington, D.C. : U. S. National Aeronautics and Space Administration, 1969- Availability: Items available for loan: National Library of India (1)Call number: U.S 005.3 Un 3. Place hold Request article Save to lists
	438.	No cover image available A comparative study of men and women in software / by K. Jayanthi and R. Madhavan by Jayanthi, K R. Madhavan [jt. aut] Series: Working paper ; 2 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Bombay : Research Centre for Women's studies, SNDT Women's University, 1985 Availability: Items available for loan: National Library of India (1)Call number: E/O 005.307 J 334. Place hold Request article Save to lists
	439.	Role of customized software in current era/ edited by Pankaj Kumar by Kumar, Pankaj [edt] Material type: Text; Format: print ; Literary form: Not fiction ; Audience: General; Language: English Publication details: Delhi : Lenin media, 2015 Availability: Items available for loan: National Library of India (1)Call number: E 005.1 R 643. Place hold Request article Save to lists
	440.	Software project management / Archana Kumar by Kumar, Archana Material type: Text; Format: print ; Literary form: Not fiction ; Audience: General; Language: English Publication details: New Delhi : UDH Pubs. & Distributors, 2012 Availability: Items available for loan: National Library of India (1)Call number: E 005.1 K 96 s. Place hold Request article Save to lists

Refine your search

Availability

Authors

Item types

Locations

Places

Series

Topics

Collections

Holding libraries

Languages

Your search returned 1885 results.