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

Results
	101.	Formal Techniques for Distributed Objects, Components, and Systems [electronic resource] : 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings / edited by Marieke Huisman, António Ravara. by Huisman, Marieke [editor.] Ravara, António [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
	102.	NASA Formal Methods [electronic resource] : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings / edited by Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez. by Deshmukh, Jyotirmoy V [editor.] Havelund, Klaus [editor.] Perez, Ivan [editor.] Series: Lecture Notes in Computer Science ; 13260 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.1. Place hold Save to lists
	103.	Coordination Models and Languages [electronic resource] : 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings / edited by Sung-Shik Jongmans, Antónia Lopes. by Jongmans, Sung-Shik [editor.] Lopes, Antónia [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
	104.	Theoretical Aspects of Software Engineering [electronic resource] : 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings / edited by Cristina David, Meng Sun. by David, Cristina [editor.] Sun, Meng [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
	105.	Software Architecture. ECSA 2022 Tracks and Workshops [electronic resource] : Prague, Czech Republic, September 19-23, 2022, Revised Selected Papers / edited by Thais Batista, Tomáš Bureš, Claudia Raibulet, Henry Muccini. by Batista, Thais [editor.] Bureš, Tomáš [editor.] Raibulet, Claudia [editor.] Muccini, Henry [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: 005.1. Place hold Save to lists
	106.	An Introduction to Software Design [electronic resource] : Concepts, Principles, Methodologies, and Techniques / by Chenglie Hu. by Hu, Chenglie [author.] 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: 005.1. Place hold Save to lists
	107.	Software Quality: The Next Big Thing in Software Engineering and Quality [electronic resource] : 14th International Conference on Software Quality, SWQD 2022, Vienna, Austria, May 17-19, 2022, Proceedings / edited by Daniel Mendez, Manuel Wimmer, Dietmar Winkler, Stefan Biffl, Johannes Bergsmann. by Mendez, Daniel [editor.] Wimmer, Manuel [editor.] Winkler, Dietmar [editor.] Biffl, Stefan [editor.] Bergsmann, Johannes [editor.] Series: Lecture Notes in Business Information Processing ; 439 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
	108.	Runtime Verification [electronic resource] : 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings / edited by Thao Dang, Volker Stolz. by Dang, Thao [editor.] Stolz, Volker [editor.] Series: Lecture Notes in Computer Science ; 13498 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
	109.	UML-Based Software Product Line Engineering with SMarty [electronic resource] / edited by Edson OliveiraJr. by OliveiraJr, Edson [editor.] 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: 005.1. Place hold Save to lists
	110.	Software engineering 1 : absractin and modelling/ D.Bjorner by Bjorner,D. D.Dines Series: Texts in Theoretical Compute science: an EATCS series Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Adult; Language: English Publication details: Berlin : Springer, 2006 Availability: Items available for loan: National Library of India (1)Call number: E 005.1 B557. Place hold Request article Save to lists
	111.	Computer Performance Engineering [electronic resource] : 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings / edited by Maria Simonetta Balsamo, William J. Knottenbelt, Andrea Marin. by Balsamo, Maria Simonetta [edt] Knottenbelt, William J [edt] Marin, Andrea [edt] Series: Lecture Notes in Computer Science ; 8168 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
	112.	Software Language Engineering [electronic resource] : 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings / edited by Martin Erwig, Richard F. Paige, Eric Van Wyk. by Erwig, Martin [edt] Paige, Richard F [edt] Wyk, Eric Van [edt] Series: Lecture Notes in Computer Science ; 8225 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Cham : Springer International Publishing, 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
	113.	Computer Performance Engineering [electronic resource] : 18th European Workshop, EPEW 2022, Santa Pola, Spain, September 21-23, 2022, Proceedings / edited by Katja Gilly, Nigel Thomas. by Gilly, Katja [editor.] Thomas, Nigel [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: 005.8. Place hold Save to lists
	114.	Software Engineering Techniques [electronic resource] : Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers / edited by Zbigniew Huzar...[et al.] by IFIP TC 2 Central and East European Conference on Software Engineering Techniques (3rd : 2008 : Brno, Czech Republic) Huzar, Zbigniew [edt.] Series: Lecture Notes in Computer Science ; 4980 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 Other title: CEE-SET 2008 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	115.	Software reliability engineering : More reliable software : Faster and cheaper/ John D. Musa by Musa, John D Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New Delhi : Tata McGraw-Hill Education, 2005 Availability: Items available for loan: National Library of India (1)Call number: E005.1 M97. Place hold Request article Save to lists
	116.	Software Language Engineering [electronic resource] : Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers / edited by Brian Malloy, Steffen Staab, Mark Brand. by Staab, Steffen [edt.] Brand, Mark [edt.] Malloy, Brian [edt.] SLE 2010 (3rd : 2010 : Netherland) Series: Lecture Notes in Computer Science ; 6563 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
	117.	Software Architecture [electronic resource] : Research Roadmaps from the Community / edited by Patrizio Pelliccione, Rick Kazman, Ingo Weber, Anna Liu. by Pelliccione, Patrizio [editor.] Kazman, Rick [editor.] Weber, Ingo [editor.] Liu, Anna [editor.] 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
	118.	Distributed Applications and Interoperable Systems [electronic resource] : 22nd IFIP WG 6.1 International Conference, DAIS 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 David Eyers, Spyros Voulgaris. by Eyers, David [editor.] Voulgaris, Spyros [editor.] Series: Lecture Notes in Computer Science ; 13272 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
	119.	Computer Performance Engineering [electronic resource] : 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011. Proceedings / edited by Nigel Thomas. by European Performance Engineering Workshop (8th : 2011 : Borrowdale, UK) Thomas, Nigel Series: Lecture Notes in Computer Science ; 6977 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 Other title: EPEW 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
	120.	Advanced course on software engineering / edited by Friedrich Ludwig Bauer by Advanced Course on Software Engineering Munich 1972 Bauer, Friedrich Ludwig, 1924- [edt] Munich. Technische Universitat. Mathematisches Institut Akademie der Wissenschaften, Munich. Leibniz Rechenzentrum Series: Lecture notes in economics and mathematical systems ; 81 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin : Springer-Verlag, 1973 Availability: Items available for loan: National Library of India (1)Call number: S.T 510.78082 L 497no.81. 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.