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

Results
	761.	Systems, Software and Services Process Improvement [electronic resource] : 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023, Proceedings, Part II / edited by Murat Yilmaz, Paul Clarke, Andreas Riel, Richard Messnarz. by Yilmaz, Murat [editor.] Clarke, Paul [editor.] Riel, Andreas [editor.] Messnarz, Richard [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.068. Place hold Save to lists
	762.	CCKS 2021 - Evaluation Track [electronic resource] : 6th China Conference on Knowledge Graph and Semantic Computing, CCKS 2021, Guangzhou, China, December 25-26, 2021, Revised Selected Papers / edited by Bing Qin, Haofen Wang, Ming Liu, Jiangtao Zhang. by Qin, Bing [editor.] Wang, Haofen [editor.] Liu, Ming [editor.] Zhang, Jiangtao [editor.] Series: Communications in Computer and Information Science ; 1553 Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: (1)Call number: 621.39 \| 004.6. Place hold Save to lists
	763.	Formal Methods for an Informal World [electronic resource] : ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures / edited by Antonio Cerone. by Cerone, Antonio [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
	764.	Machine Learning and Knowledge Discovery in Databases [electronic resource] : European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part VI / edited by Massih-Reza Amini, Stéphane Canu, Asja Fischer, Tias Guns, Petra Kralj Novak, Grigorios Tsoumakas. by Amini, Massih-Reza [editor.] Canu, Stéphane [editor.] Fischer, Asja [editor.] Guns, Tias [editor.] Kralj Novak, Petra [editor.] Tsoumakas, Grigorios [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
	765.	ICWE 2021 Workshops [electronic resource] : ICWE 2021 International Workshops, BECS and Invited Papers, Biarritz, France, May 18-21, 2021, Revised Selected Papers / edited by Maxim Bakaev, In-Young Ko, Michael Mrissa, Cesare Pautasso, Abhishek Srivastava. by Bakaev, Maxim [editor.] Ko, In-Young [editor.] Mrissa, Michael [editor.] Pautasso, Cesare [editor.] Srivastava, Abhishek [editor.] Series: Communications in Computer and Information Science ; 1508 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.3. Place hold Save to lists
	766.	Ambient Intelligence [electronic resource] : Second International Joint Conference on AmI 2011, Amsterdam, The Netherlands, November 16-18, 2011. Proceedings / edited by David V. Keyson...[et al.] by International Joint Conference on Ambient Intelligence (2nd : 2011 : Amsterdam, The Netherlands) Keyson, David V [edt.] Series: Lecture Notes in Computer Science ; 7040 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
	767.	Logic-Based Program Synthesis and Transformation [electronic resource] : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers / edited by María Alpuente. by Alpuente, María [edt.] LOPSTR 2010 (20th : 2010 : Hagenberg, Austria) Series: Lecture Notes in Computer Science ; 6564 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
	768.	Transactions on Pattern Languages of Programming II [electronic resource] : Special Issue on Applying Patterns / edited by James Noble...[et.al] by Noble, James [edt.] Series: Lecture Notes in Computer Science ; 6510 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
	769.	Reliable Software Technologies - Ada-Europe 2011 [electronic resource] : 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings / edited by Alexander Romanovsky, Tullio Vardanega. by Ada-Europe International Conference on Reliable Software Technologies (16th : 2011 : Edinburgh, UK) Vardanega, Tullio [edt.] Romanovsky, Alexander [edt.] Series: Lecture Notes in Computer Science ; 6652 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
	770.	Formal Techniques for Distributed Systems [electronic resource] : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings / edited by Roberto Bruni, Juergen Dingel. by International Conference on Formal Methods for Open Object-Based Distributed Systems (13th : 2011 : Reykjavik, Iceland) Dingel, Juergen Bruni, Roberto International Federation for Information Processing IFIP Working Group 6.1 International Conference on Formal Description Techniques (31st : 2011 : Reykjavik, Iceland) International Federated Conferences on Distributed Computing Techniques (6th : 2011 : Reykjavik, Iceland) Series: Lecture Notes in Computer Science ; 6722 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 Other title: FMOODS 2011 FORTE 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
	771.	Coordination Models and Languages [electronic resource] : 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings / edited by Wolfgang Meuter, Gruia-Catalin Roman. by COORDINATION 2011 (13th : 2011 : Reykjavik, Iceland) Roman, Gruia-Catalin [edt.] Meuter, Wolfgang [edt.] Series: Lecture Notes in Computer Science ; 6721 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
	772.	OpenMP in the Petascale Era [electronic resource] : 7th International Workshop on OpenMP, IWOMP 2011, Chicago, IL, USA, June 13-15, 2011. Proceedings / edited by Barbara M. Chapman...[et al.] by IWOMP 2011 (7th : 2011 : Chicago, USA) Chapman, Barbara M [edt.] Series: Lecture Notes in Computer Science ; 6665 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
	773.	Software Technologies for Embedded and Ubiquitous Systems [electronic resource] : 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010. Proceedings / edited by Sang Lyul Min...[et al] by SEUS 2010 (2010 : Waidhofen an der Ybbs, Austria) Min, Sang Lyul [edt] Series: Lecture Notes in Computer Science ; 6399 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
	774.	Risk Assessment and Risk-Driven Testing [electronic resource] : First International Workshop, RISK 2013, Held in Conjunction with ICTSS 2013, Istanbul, Turkey, November 12, 2013. Revised Selected Papers / edited by Thomas Bauer, Jürgen Großmann, Fredrik Seehusen, Ketil Stølen, Marc-Florian Wendland. by Bauer, Thomas [edt] Großmann, Jürgen [edt] Seehusen, Fredrik [edt] Stølen, Ketil [edt] Wendland, Marc-Florian [edt] Series: Lecture Notes in Computer Science ; 8418 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
	775.	Service-Oriented Computing [electronic resource] : 20th International Conference, ICSOC 2022, Seville, Spain, November 29 - December 2, 2022, Proceedings / edited by Javier Troya, Brahim Medjahed, Mario Piattini, Lina Yao, Pablo Fernández, Antonio Ruiz-Cortés. by Troya, Javier [editor.] Medjahed, Brahim [editor.] Piattini, Mario [editor.] Yao, Lina [editor.] Fernández, Pablo [editor.] Ruiz-Cortés, Antonio [editor.] Series: Lecture Notes in Computer Science ; 13740 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.3. Place hold Save to lists
	776.	Application and Theory of Petri Nets and Concurrency [electronic resource] : 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022, Proceedings / edited by Luca Bernardinello, Laure Petrucci. by Bernardinello, Luca [editor.] Petrucci, Laure [editor.] Series: Lecture Notes in Computer Science ; 13288 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.22. Place hold Save to lists
	777.	Service-Oriented Computing [electronic resource] : 21st International Conference, ICSOC 2023, Rome, Italy, November 28 - December 1, 2023, Proceedings, Part I / edited by Flavia Monti, Stefanie Rinderle-Ma, Antonio Ruiz Cortés, Zibin Zheng, Massimo Mecella. by Monti, Flavia [editor.] Rinderle-Ma, Stefanie [editor.] Ruiz Cortés, Antonio [editor.] Zheng, Zibin [editor.] Mecella, Massimo [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
	778.	Systems, Software and Services Process Improvement [electronic resource] : 29th European Conference, EuroSPI 2022, Salzburg, Austria, August 31 - September 2, 2022, Proceedings / edited by Murat Yilmaz, Paul Clarke, Richard Messnarz, Bruno Wöran. by Yilmaz, Murat [editor.] Clarke, Paul [editor.] Messnarz, Richard [editor.] Wöran, Bruno [editor.] Series: Communications in Computer and Information Science ; 1646 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.068. Place hold Save to lists
	779.	Central European Functional Programming School [electronic resource] : 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers / edited by Viktória Zsók, Zoltán Horváth, Lehel Csató. by Zsók, Viktória [edt] Horváth, Zoltán [edt] Csató, Lehel [edt] Series: Lecture Notes in Computer Science ; 8606 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
	780.	Ethical and Secure Computing [electronic resource] : A Concise Module / by Joseph Migga Kizza. by Kizza, Joseph Migga [author.] Series: Edition: 3rd 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: 303.4834. 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.