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

Results
	221.	Fundamental Approaches to Software Engineering [electronic resource] : 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / edited by Alexander Egyed, Ina Schaefer. by Egyed, Alexander [edt] Schaefer, Ina [edt] Series: Lecture Notes in Computer Science ; 9033 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2015 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	222.	Knowledge Engineering and Knowledge Management [electronic resource] : EKAW 2014 Satellite Events, VISUAL, EKM1, and ARCOE-Logic, Linköping, Sweden, November 24-28, 2014. Revised Selected Papers. / edited by Patrick Lambrix, Eero Hyvönen, Eva Blomqvist, Valentina Presutti, Guilin Qi, Uli Sattler, Ying Ding, Chiara Ghidini. by Lambrix, Patrick [edt] Hyvönen, Eero [edt] Blomqvist, Eva [edt] Presutti, Valentina [edt] Qi, Guilin [edt] Sattler, Uli [edt] Ding, Ying [edt] Ghidini, Chiara [edt] Series: Lecture Notes in Computer Science ; 8982 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Cham : Springer International Publishing, 2015 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	223.	Software engineering for internet applications/ Eve Andersson, Philip Greenspun and Andrew Grumet by Andersson, Eve Greenspun, Phillip Grumet, Andrew Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Adult; Language: English Publication details: New Delhi : Prentice-Hall, 2006 Availability: Items available for loan: National Library of India (1)Call number: E 005.276 An 23. Place hold Request article Save to lists
	224.	Agent-Oriented Software Engineering X [electronic resource] : 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers / edited by Marie-Pierre Gleizes, Jorge J. Gomez-Sanz. by Gomez-Sanz, Jorge J [edt.] Gleizes, Marie-Pierre [edt.] AOSE 2009 (10th : 2009 : Budapest, Hungary) Series: Lecture Notes in Computer Science ; 6038 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
	225.	Fundamental Approaches to Software Engineering [electronic resource] : 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings / edited by Dimitra Giannakopoulou, Fernando Orejas. by FASE 2011 (14th : 2011 : Saarbrücken, Germany) Orejas, Fernando [edt.] Giannakopoulou, Dimitra [edt.] ETAPS 2011 (2011 : Saarbrücken, Germany) Series: Lecture Notes in Computer Science ; 6603 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
	226.	Formal Methods and Software Engineering [electronic resource] : 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings / edited by Yi Li, Sofiène Tahar. by Li, Yi [editor.] Tahar, Sofiène [editor.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Singapore : Springer Nature Singapore : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 004.0151. Place hold Save to lists
	227.	Knowledge Science, Engineering and Management [electronic resource] : 15th International Conference, KSEM 2022, Singapore, August 6-8, 2022, Proceedings, Part I / edited by Gerard Memmi, Baijian Yang, Linghe Kong, Tianwei Zhang, Meikang Qiu. by Memmi, Gerard [editor.] Yang, Baijian [editor.] Kong, Linghe [editor.] Zhang, Tianwei [editor.] Qiu, Meikang [editor.] Series: Lecture Notes in Artificial Intelligence ; 13368 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
	228.	Knowledge Science, Engineering and Management [electronic resource] : 15th International Conference, KSEM 2022, Singapore, August 6-8, 2022, Proceedings, Part II / edited by Gerard Memmi, Baijian Yang, Linghe Kong, Tianwei Zhang, Meikang Qiu. by Memmi, Gerard [editor.] Yang, Baijian [editor.] Kong, Linghe [editor.] Zhang, Tianwei [editor.] Qiu, Meikang [editor.] Series: Lecture Notes in Artificial Intelligence ; 13369 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
	229.	Advances in Enterprise Engineering XVI [electronic resource] : 12th Enterprise Engineering Working Conference, EEWC 2022, Leusden, The Netherlands, November 2-3, 2022, Revised Selected Papers / edited by Cristine Griffo, Sérgio Guerreiro, Maria E. Iacob. by Griffo, Cristine [editor.] Guerreiro, Sérgio [editor.] Iacob, Maria E [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.3. Place hold Save to lists
	230.	Cooperative Design, Visualization, and Engineering [electronic resource] : 20th International Conference on Cooperative Design, Visualization and Engineering, CDVE 2023, Mallorca, Spain, October 1-4, 2023, Proceedings / edited by Yuhua Luo. by Luo, Yuhua [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.437 \| 004.019. Place hold Save to lists
	231.	Knowledge Science, Engineering and Management [electronic resource] : 16th International Conference, KSEM 2023, Guangzhou, China, August 16-18, 2023, Proceedings, Part II / edited by Zhi Jin, Yuncheng Jiang, Robert Andrei Buchmann, Yaxin Bi, Ana-Maria Ghiran, Wenjun Ma. by Jin, Zhi [editor.] Jiang, Yuncheng [editor.] Buchmann, Robert Andrei [editor.] Bi, Yaxin [editor.] Ghiran, Ana-Maria [editor.] Ma, Wenjun [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
	232.	Engineering Applications of Neural Networks [electronic resource] : 24th International Conference, EAAAI/EANN 2023, León, Spain, June 14-17, 2023, Proceedings / edited by Lazaros Iliadis, Ilias Maglogiannis, Serafin Alonso, Chrisina Jayne, Elias Pimenidis. by Iliadis, Lazaros [editor.] Maglogiannis, Ilias [editor.] Alonso, Serafin [editor.] Jayne, Chrisina [editor.] Pimenidis, Elias [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
	233.	Knowledge Engineering and Knowledge Management [electronic resource] : 23rd International Conference, EKAW 2022, Bolzano, Italy, September 26-29, 2022, Proceedings / edited by Oscar Corcho, Laura Hollink, Oliver Kutz, Nicolas Troquard, Fajar J. Ekaputra. by Corcho, Oscar [editor.] Hollink, Laura [editor.] Kutz, Oliver [editor.] Troquard, Nicolas [editor.] Ekaputra, Fajar J [editor.] Series: Lecture Notes in Artificial Intelligence ; 13514 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
	234.	Applied Computer Sciences in Engineering [electronic resource] : 9th Workshop on Engineering Applications, WEA 2022, Bogotá, Colombia, November 30 - December 2, 2022, Proceedings / edited by Juan Carlos Figueroa-García, Carlos Franco, Yesid Díaz-Gutierrez, Germán Hernández-Pérez. by Figueroa-García, Juan Carlos [editor.] Franco, Carlos [editor.] Díaz-Gutierrez, Yesid [editor.] Hernández-Pérez, Germán [editor.] Series: Communications in Computer and Information Science ; 1685 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
	235.	Engineering Applications of Neural Networks [electronic resource] : 23rd International Conference, EAAAI/EANN 2022, Chersonissos, Crete, Greece, June 17-20, 2022, Proceedings / edited by Lazaros Iliadis, Chrisina Jayne, Anastasios Tefas, Elias Pimenidis. by Iliadis, Lazaros [editor.] Jayne, Chrisina [editor.] Tefas, Anastasios [editor.] Pimenidis, Elias [editor.] Series: Communications in Computer and Information Science ; 1600 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
	236.	Current Trends in Web Engineering [electronic resource] : ICWE 2022 International Workshops, BECS, SWEET and WALS, Bari, Italy, July 5-8, 2022, Revised Selected Papers / edited by Giuseppe Agapito, Anna Bernasconi, Cinzia Cappiello, Hasan Ali Khattak, InYoung Ko, Giuseppe Loseto, Michael Mrissa, Luca Nanni, Pietro Pinoli, Azzurra Ragone, Michele Ruta, Floriano Scioscia, Abhishek Srivastava. by Agapito, Giuseppe [editor.] Bernasconi, Anna [editor.] Cappiello, Cinzia [editor.] Khattak, Hasan Ali [editor.] Ko, InYoung [editor.] Loseto, Giuseppe [editor.] Mrissa, Michael [editor.] Nanni, Luca [editor.] Pinoli, Pietro [editor.] Ragone, Azzurra [editor.] Ruta, Michele [editor.] Scioscia, Floriano [editor.] Srivastava, Abhishek [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.3. Place hold Save to lists
	237.	Computing Science, Communication and Security [electronic resource] : Third International Conference, COMS2 2022, Gujarat, India, February 6-7, 2022, Revised Selected Papers / edited by Nirbhay Chaubey, Sabu M. Thampi, Noor Zaman Jhanjhi. by Chaubey, Nirbhay [editor.] Thampi, Sabu M [editor.] Jhanjhi, Noor Zaman [editor.] Series: Communications in Computer and Information Science ; 1604 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
	238.	Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] Series: Lecture Notes in Computer Science ; 13702 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
	239.	Empirical Software Engineering and Verification [electronic resource] : International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures / edited by Bertrand Meyer, Martin Nordio. by Meyer, Bertrand [edt] Nordio, Martin [edt] Series: Lecture Notes in Computer Science ; 7007 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	240.	Software Engineering and Formal Methods [electronic resource] : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings / edited by Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti. by Hierons, Robert M [edt] Merayo, Mercedes G [edt] Bravetti, Mario [edt] Series: Lecture Notes in Computer Science ; 8137 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

Refine your search

Availability

Authors

Item types

Locations

Places

Series

Topics

Collections

Holding libraries

Languages

Your search returned 1885 results.