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

Results
	661.	Membrane Computing [electronic resource] : 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers / edited by Erzsébet Csuhaj-Varjú, Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, György Vaszil. by Csuhaj-Varjú, Erzsébet [edt] Gheorghe, Marian [edt] Rozenberg, Grzegorz [edt] Salomaa, Arto [edt] Vaszil, György [edt] Series: Lecture Notes in Computer Science ; 7762 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
	662.	Programming Multi-Agent Systems [electronic resource] : 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers / edited by Mehdi Dastani, Jomi F. Hübner, Brian Logan. by Dastani, Mehdi [edt] Hübner, Jomi F [edt] Logan, Brian [edt] Series: Lecture Notes in Computer Science ; 7837 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
	663.	FM 2011: Formal Methods [electronic resource] : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings / edited by Michael Butler, Wolfram Schulte. by International Symposium on Formal Methods (17th : 2011 : Limerick, Ireland) Schulte, Wolfram [edt.] Butler, Michael [edt.] Series: Lecture Notes in Computer Science ; 6664 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
	664.	Static Analysis [electronic resource] : 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings / edited by Eran Yahav. by SAS 2011 (18th : 2011 : Venice, Italy) Yahav, Eran [edt.] Series: Lecture Notes in Computer Science ; 6887 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
	665.	Static Analysis [electronic resource] : 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings / edited by Radhia Cousot, Matthieu Martel. by International Static Analysis Symposium (17th : 2010 : Perpignan, France) Martel, Matthieu [edt] Cousot, Radhia [edt] Series: Lecture Notes in Computer Science ; 6337 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
	666.	No cover image available Proceedings of National Conference on Methods and Models in Computing (NCM2C 2008) / eds. D.K. Lobiyal, Aditi Sharan by National Conference on Methods and Models in Computing (3rd : 2008 : School of Computer and Systems Sciences, Jawaharlal Nehru University) Lobiyal, D. K [edt] Sharan, Aditi [edt] Jawaharlal Nehru University. School of Computer and Systems Sciences Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New Delhi : Allied Pubs., c2009 Other title: National Conference on Methods and Models in Computing, NCM2C 2008 Methods and models in computing Methods and models in computing (NCM2C 2008) Availability: Items available for loan: National Library of India (1)Call number: E 004 N 213 (2008). Place hold Request article Save to lists
	667.	Cloud computing/ V. K. Pachghare by Pachghare, V. K Material type: Text; Literary form: Not fiction ; Audience: General; Language: English Publication details: New Delhi : PHI Learning , 2016 Availability: Items available for loan: National Library of India (1)Call number: E 004.6782 P 115. Place hold Request article Save to lists
	668.	CMMI : a framework for building world class software and systems enterprises/ Raghav S. Nandyal by Nandyal, Raghav S Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Adult; Language: English Publication details: New Delhi : Tata McGraw-Hill Education, 2010 Availability: Items available for loan: National Library of India (1)Call number: E/O 005.1 N 153 r (1). Place hold Request article Save to lists
	669.	Strategy, Planning and Organization of Test Processes [electronic resource] : Basis for Successful Project Execution in Software Testing / by Frank Witte. by Witte, Frank [author.] Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 004.24. Place hold Save to lists
	670.	IoT Technologies for Health Care [electronic resource] : 8th EAI International Conference, HealthyIoT 2021, Virtual Event, November 24-26, 2021, Proceedings / edited by Susanna Spinsante, Bruno Silva, Rossitza Goleva. by Spinsante, Susanna [editor.] Silva, Bruno [editor.] Goleva, Rossitza [editor.] Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 432 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: (1)Call number: 610.285. Place hold Save to lists
	671.	Database and Expert Systems Applications - DEXA 2022 Workshops [electronic resource] : 33rd International Conference, DEXA 2022, Vienna, Austria, August 22-24, 2022, Proceedings / edited by Gabriele Kotsis, A Min Tjoa, Ismail Khalil, Bernhard Moser, Alfred Taudes, Atif Mashkoor, Johannes Sametinger, Jorge Martinez-Gil, Florian Sobieczky, Lukas Fischer, Rudolf Ramler, Maqbool Khan, Gerald Czech. by Kotsis, Gabriele [editor.] Tjoa, A Min [editor.] Khalil, Ismail [editor.] Moser, Bernhard [editor.] Taudes, Alfred [editor.] Mashkoor, Atif [editor.] Sametinger, Johannes [editor.] Martinez-Gil, Jorge [editor.] Sobieczky, Florian [editor.] Fischer, Lukas [editor.] Ramler, Rudolf [editor.] Khan, Maqbool [editor.] Czech, Gerald [editor.] Series: Communications in Computer and Information Science ; 1633 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: (1)Call number: 005.74. Place hold Save to lists
	672.	The unified modeling language user guide/ Grady Booch, James Rumbaugh, Ivar Jacobson by Booch, Grady Rumbaugh, James Jacobson, Ivar Edition: 2nd ed. Material type: Text; Format: print Publication details: Ghaziabad : Pearson India Education, 2020 Availability: Items available for loan: National Library of India (1)Call number: E 005.117 B 644 (2nd ed.). Place hold Request article Save to lists
	673.	Theoretical Aspects of Computing – ICTAC 2011 [electronic resource] : 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings / edited by Antonio Cerone, Pekka Pihlajasaari. by ICTAC 2011 (8th : 2011 : Johannesburg, South Africa) Pihlajasaari, Pekka [edt.] Cerone, Antonio [edt.] Series: Lecture Notes in Computer Science ; 6916 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
	674.	Computer Aided Verification [electronic resource] : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings / edited by Ganesh Gopalakrishnan, Shaz Qadeer. by CAV 2011 (23rd : 2011 : Snowbird, USA) Qadeer, Shaz [edt.] Gopalakrishnan, Ganesh [edt.] Series: Lecture Notes in Computer Science ; 6806 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
	675.	Innovation in China : the Chinese software industry / Shang-Ling Jui by Jui, Shang-Ling Series: Routledge contemporary China series ; 49 Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Adult; Language: English Publication details: London : Routledge, 2010 Availability: Items available for loan: National Library of India (1)Call number: E/O 338.470050951 J 937. Place hold Request article Save to lists
	676.	Practical Aspects of Declarative Languages [electronic resource] : 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings / edited by Ricardo Rocha, John Launchbury. by PADL 2011 (13th : 2011 : Austin, TX, USA) Launchbury, John [edt.] Rocha, Ricardo [edt.] Series: Lecture Notes in Computer Science ; 6539 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
	677.	PRIMA 2022: Principles and Practice of Multi-Agent Systems [electronic resource] : 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings / edited by Reyhan Aydoğan, Natalia Criado, Jérôme Lang, Victor Sanchez-Anguix, Marc Serramia. by Aydoğan, Reyhan [editor.] Criado, Natalia [editor.] Lang, Jérôme [editor.] Sanchez-Anguix, Victor [editor.] Serramia, Marc [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: 006.3. Place hold Save to lists
	678.	Innovation Practices for Digital Transformation in the Global South [electronic resource] : IFIP WG 13.8, 9.4, Invited Selection / edited by José Abdelnour-Nocera, Elisha Ondieki Makori, Jose Antonio Robles-Flores, Constance Bitso. by Abdelnour-Nocera, José [editor.] Makori, Elisha Ondieki [editor.] Robles-Flores, Jose Antonio [editor.] Bitso, Constance [editor.] Series: IFIP Advances in Information and Communication Technology ; 645 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.3. Place hold Save to lists
	679.	Applied Technologies [electronic resource] : 4th International Conference, ICAT 2022, Quito, Ecuador, November 23-25, 2022, Revised Selected Papers, Part I / edited by Miguel Botto-Tobar, Marcelo Zambrano Vizuete, Sergio Montes León, Pablo Torres-Carrión, Benjamin Durakovic. by Botto-Tobar, Miguel [editor.] Zambrano Vizuete, Marcelo [editor.] Montes León, Sergio [editor.] Torres-Carrión, Pablo [editor.] Durakovic, Benjamin [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: 621.39 \| 004.6. Place hold Save to lists
	680.	Database and Expert Systems Applications - DEXA 2023 Workshops [electronic resource] : 34th International Conference, DEXA 2023, Penang, Malaysia, August 28-30, 2023, Proceedings / edited by Gabriele Kotsis, A Min Tjoa, Ismail Khalil, Bernhard Moser, Atif Mashkoor, Johannes Sametinger, Maqbool Khan. by Kotsis, Gabriele [editor.] Tjoa, A Min [editor.] Khalil, Ismail [editor.] Moser, Bernhard [editor.] Mashkoor, Atif [editor.] Sametinger, Johannes [editor.] Khan, Maqbool [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.74. Place hold Save to lists

Refine your search

Availability

Authors

Item types

Locations

Places

Series

Topics

Collections

Holding libraries

Languages

Your search returned 1885 results.