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

Results
	281.	Multiagent System Technologies [electronic resource] : 13th German Conference, MATES 2015, Cottbus, Germany, September 28 - 30, 2015, Revised Selected Papers / edited by Jörg P. Müller, Wolf Ketter, Gal Kaminka, Gerd Wagner, Nils Bulling. by Müller, Jörg P [edt] Ketter, Wolf [edt] Kaminka, Gal [edt] Wagner, Gerd [edt] Bulling, Nils [edt] Series: Lecture Notes in Computer Science ; 9433 Edition: 1st ed. 2015. 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
	282.	Project Management for Practice [electronic resource] : A Guide and Toolbox for Successful Projects / by Daud Alam, Uwe Gühl. by Alam, Daud [author.] Gühl, Uwe [author.] Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1). Place hold Save to lists
	283.	Knowledge Science, Engineering and Management [electronic resource] : 16th International Conference, KSEM 2023, Guangzhou, China, August 16-18, 2023, Proceedings, Part III / 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
	284.	Formal Methods for Software Engineering [electronic resource] : Languages, Methods, Application Domains / by Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh. by Roggenbach, Markus [author.] Cerone, Antonio [author.] Schlingloff, Bernd-Holger [author.] Schneider, Gerardo [author.] Shaikh, Siraj Ahmed [author.] Series: Texts in Theoretical Computer Science. An EATCS Series 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: 004.0151. Place hold Save to lists
	285.	Applied Computer Sciences in Engineering [electronic resource] : 10th Workshop on Engineering Applications, WEA 2023, Cartagena, Colombia, November 1-3, 2023, Proceedings / edited by Juan Carlos Figueroa-García, German Hernández, Jose Luis Villa Ramirez, Elvis Eduardo Gaona García. by Figueroa-García, Juan Carlos [editor.] Hernández, German [editor.] Villa Ramirez, Jose Luis [editor.] Gaona García, Elvis Eduardo [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
	286.	Blockchain - ICBC 2022 [electronic resource] : 5th International Conference, Held as part of the Services Conference Federation, SCF 2022, Honolulu, HI, USA, December 10-14, 2022, Proceedings / edited by Shiping Chen, Rudrapatna K. Shyamasundar, Liang-Jie Zhang. by Chen, Shiping [editor.] Shyamasundar, Rudrapatna K [editor.] Zhang, Liang-Jie [editor.] Series: Lecture Notes in Computer Science ; 13733 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.8. Place hold Save to lists
	287.	Bioinformatics software / H. Rocky Singh, Avinash Chiranjeev by Singh, H. Rocky (Haojam Rocky), 1982- Chiranjeev, Avinash Material type: Text; Format: print ; Literary form: Not fiction ; Audience: General; Language: English Publication details: New Delhi : Jnanada Prakashan, 2017 Availability: Items available for loan: National Library of India (1)Call number: E 572.80285 Si 64 b. Place hold Request article Save to lists
	288.	Development of Safety-Critical Systems [electronic resource] : Architecture and Software / by Gopinath Karmakar, Amol Wakankar, Ashutosh Kabra, Paritosh Pandya. by Karmakar, Gopinath [author.] Wakankar, Amol [author.] Kabra, Ashutosh [author.] Pandya, Paritosh [author.] 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
	289.	Software Quality: Higher Software Quality through Zero Waste Development [electronic resource] : 15th International Conference, SWQD 2023, Munich, Germany, May 23-25, 2023, Proceedings / edited by Daniel Mendez, Dietmar Winkler, Johannes Kross, Stefan Biffl, Johannes Bergsmann. by Mendez, Daniel [editor.] Winkler, Dietmar [editor.] Kross, Johannes [editor.] Biffl, Stefan [editor.] Bergsmann, Johannes [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
	290.	Model Checking Software [electronic resource] : 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings / edited by Georgiana Caltais, Christian Schilling. by Caltais, Georgiana [editor.] Schilling, Christian [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: 629.8. Place hold Save to lists
	291.	SDL 2013: Model-Driven Dependability Engineering [electronic resource] : 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings / edited by Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi, Rick Reed. by Khendek, Ferhat [edt] Toeroe, Maria [edt] Gherbi, Abdelouahed [edt] Reed, Rick [edt] Series: Lecture Notes in Computer Science ; 7916 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
	292.	Broadband Communications, Networks, and Systems [electronic resource] : 13th EAI International Conference, BROADNETS 2022, Virtual Event, March 12-13, 2023 Proceedings / edited by Wei Wang, Jun Wu. by Wang, Wei [editor.] Wu, 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: 004.6. Place hold Save to lists
	293.	Software Verification [electronic resource] : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers / edited by Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina. by Bloem, Roderick [editor.] Dimitrova, Rayna [editor.] Fan, Chuchu [editor.] Sharygina, Natasha [editor.] Series: Programming and Software Engineering ; 13124 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: 004.0151. Place hold Save to lists
	294.	Web Information Systems Engineering - WISE 2013 [electronic resource] : 14th International Conference, Nanjing, China, October 13-15, 2013, Proceedings, Part I / edited by Xuemin Lin, Yannis Manolopoulos, Divesh Srivastava, Guangyan Huang. by Lin, Xuemin [edt] Manolopoulos, Yannis [edt] Srivastava, Divesh [edt] Huang, Guangyan [edt] Series: Lecture Notes in Computer Science ; 8180 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
	295.	Web Information Systems Engineering - WISE 2012 [electronic resource] : 13th International Conference, Paphos, Cyprus, November 28-30, 2012. Proceedings / edited by X. Sean Wang, Isabel Cruz, Alex Delis, Guangyan Huang. by Wang, X. Sean [edt] Cruz, Isabel [edt] Delis, Alex [edt] Huang, Guangyan [edt] Series: Lecture Notes in Computer Science ; 7651 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
	296.	Multicore Software Engineering, Performance, and Tools [electronic resource] : International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings / edited by João M. Lourenço, Eitan Farchi. by Lourenço, João M [edt] Farchi, Eitan [edt] Series: Lecture Notes in Computer Science ; 8063 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
	297.	Multicore Software Engineering, Performance, and Tools [electronic resource] : International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings / edited by Victor Pankratius, Michael Philippsen. by Pankratius, Victor [edt] Philippsen, Michael [edt] Series: Lecture Notes in Computer Science ; 7303 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
	298.	Web Information Systems Engineering - WISE 2015 [electronic resource] : 16th International Conference, Miami, FL, USA, November 1-3, 2015, Proceedings, Part I / edited by Jianyong Wang, Wojciech Cellary, Dingding Wang, Hua Wang, Shu-Ching Chen, Tao Li, Yanchun Zhang. by Wang, Jianyong [edt] Cellary, Wojciech [edt] Wang, Dingding [edt] Wang, Hua [edt] Chen, Shu-Ching [edt] Li, Tao [edt] Zhang, Yanchun [edt] Series: Lecture Notes in Computer Science ; 9418 Edition: 1st ed. 2015. 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
	299.	Model-Driven Engineering Languages and Systems [electronic resource] : 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings / edited by Juergen Dingel, Wolfram Schulte, Isidro Ramos, Silvia Abrahão, Emilio Insfran. by Dingel, Juergen [edt] Schulte, Wolfram [edt] Ramos, Isidro [edt] Abrahão, Silvia [edt] Insfran, Emilio [edt] Series: Lecture Notes in Computer Science ; 8767 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Cham : Springer International Publishing, 2014 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	300.	Model Driven Engineering Languages and Systems [electronic resource] : 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30-October 5, 2012. Proceedings / edited by Robert B. France, Jürgen Kazmeier, Ruth Breu, Colin Atkinson. by France, Robert B [edt] Kazmeier, Jürgen [edt] Breu, Ruth [edt] Atkinson, Colin [edt] Series: Lecture Notes in Computer Science ; 7590 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

Refine your search

Availability

Authors

Item types

Locations

Places

Series

Topics

Collections

Holding libraries

Languages

Your search returned 1885 results.