Results of search for 'ccl=Provider:Springer, and su-to:Software engineering' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	41.	Human-Computer Interaction -- INTERACT 2013 [electronic resource] : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I / by Kotzé, Paula [editor.] Marsden, Gary [editor.] Lindgaard, Gitte [editor.] Wesson, Janet [editor.] Winckler, Marco [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8117 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	42.	Advances in Cryptology – ASIACRYPT 2018 [electronic resource] : 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part III / by Peyrin, Thomas [editor.] Galbraith, Steven [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11274 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	43.	Verified Software. Theories, Tools, and Experiments [electronic resource] : 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers / by Piskac, Ruzica [editor.] Rümmer, Philipp [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11294 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	44.	Transactions on Pattern Languages of Programming IV [electronic resource] / by Noble, James [editor.] Johnson, Ralph [editor.] Zdun, Uwe [editor.] Wallingford, Eugene [editor.] SpringerLink (Online service) Series: Transactions on Pattern Languages of Programming ; 10600 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	45.	Structured Object-Oriented Formal Language and Method [electronic resource] : 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers / by Duan, Zhenhua [editor.] Liu, Shaoying [editor.] Tian, Cong [editor.] Nagoya, Fumiko [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11392 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	46.	Requirements Engineering: Foundation for Software Quality [electronic resource] : 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings / by Knauss, Eric [editor.] Goedicke, Michael [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11412 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	47.	Software Challenges to Exascale Computing [electronic resource] : Second Workshop, SCEC 2018, Delhi, India, December 13-14, 2018, Proceedings / by Majumdar, Amit [editor.] Arora, Ritu [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 964 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	48.	Cloud Computing – CLOUD 2019 [electronic resource] : 12th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings / by Da Silva, Dilma [editor.] Wang, Qingyang [editor.] Zhang, Liang-Jie [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11513 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	49.	Frontiers in Cyber Security [electronic resource] : Second International Conference, FCS 2019, Xi'an, China, November 15–17, 2019, Proceedings / by Shen, Bazhong [editor.] Wang, Baocang [editor.] Han, Jinguang [editor.] Yu, Yong [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1105 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	50.	Knowledge Discovery, Knowledge Engineering and Knowledge Management [electronic resource] : 10th International Joint Conference, IC3K 2018, Seville, Spain, September 18-20, 2018, Revised Selected Papers / by Fred, Ana [editor.] Salgado, Ana [editor.] Aveiro, David [editor.] Dietz, Jan [editor.] Bernardino, Jorge [editor.] Filipe, Joaquim [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1222 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	51.	Engineering Multi-Agent Systems [electronic resource] : 8th International Workshop, EMAS 2020, Auckland, New Zealand, May 8–9, 2020, Revised Selected Papers / by Baroglio, Cristina [editor.] Hubner, Jomi F [editor.] Winikoff, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12589 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	52.	Model Checking Software [electronic resource] : 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings / by Legunsen, Owolabi [editor.] Rosu, Grigore [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13255 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	53.	Service-Oriented Computing – ICSOC 2021 Workshops [electronic resource] : AIOps, STRAPS, AI-PA and Satellite Events, Dubai, United Arab Emirates, November 22–25, 2021, Proceedings / by Hacid, Hakim [editor.] Aldwairi, Monther [editor.] Bouadjenek, Mohamed Reda [editor.] Petrocchi, Marinella [editor.] Faci, Noura [editor.] Outay, Fatma [editor.] Beheshti, Amin [editor.] Thamsen, Lauritz [editor.] Dong, Hai [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13236 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	54.	Building web applications with Vue.js [electronic resource] : MVVM patterns for conventional and single-page websites / by Steyer, Ralph [author.] SpringerLink (Online service) Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	55.	SQL Server Database Programming with Java [electronic resource] : Concepts, Designs and Implementations / by Bai, Ying [author.] SpringerLink (Online service) Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	56.	Agile Methods [electronic resource] : 11th Brazilian Workshop, WBMA 2021, Virtual Event, October 8–10, 2021, Revised Selected Papers / by Rocha, Carla [editor.] Santana Júnior, Celio [editor.] De Sá, Fernando [editor.] Silva da Silva, Tiago [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1642 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	57.	Evolution of Telecommunication Services [electronic resource] : The Convergence of Telecom and Internet: Technologies and Ecosystems / by Bertin, Emmanuel [editor.] Crespi, Noel [editor.] Magedanz, Thomas [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7768 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	58.	Computer Safety, Reliability, and Security [electronic resource] : 33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings / by Bondavalli, Andrea [editor.] Di Giandomenico, Felicita [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8666 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	59.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings / by Enea, Constantin [editor.] Piskac, Ruzica [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11388 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	60.	Multi-Agent Systems [electronic resource] : 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers / by Slavkovik, Marija [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11450 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 4435 results.