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

Results
	421.	Verification and Evaluation of Computer and Communication Systems [electronic resource] : 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings / by Atig, Mohamed Faouzi [editor.] Bensalem, Saddek [editor.] Bliudze, Simon [editor.] Monsuez, Bruno [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11181 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)
	422.	Current Trends in Web Engineering [electronic resource] : ICWE 2018 International Workshops, MATWEP, EnWot, KD-WEB, WEOD, TourismKG, Cáceres, Spain, June 5, 2018, Revised Selected Papers / by Pautasso, Cesare [editor.] Sánchez-Figueroa, Fernando [editor.] Systä, Kari [editor.] Murillo Rodríguez, Juan Manuel [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11153 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)
	423.	Topics in Cryptology – CT-RSA 2019 [electronic resource] : The Cryptographers' Track at the RSA Conference 2019, San Francisco, CA, USA, March 4–8, 2019, Proceedings / by Matsui, Mitsuru [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11405 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)
	424.	NASA Formal Methods [electronic resource] : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings / by Badger, Julia M [editor.] Rozier, Kristin Yvonne [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11460 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)
	425.	Numerical Software Verification [electronic resource] : 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings / by Zamani, Majid [editor.] Zufferey, Damien [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11652 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)
	426.	Computer Safety, Reliability, and Security [electronic resource] : SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings / by Romanovsky, Alexander [editor.] Troubitsyna, Elena [editor.] Gashi, Ilir [editor.] Schoitsch, Erwin [editor.] Bitsch, Friedemann [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11699 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)
	427.	Information Security [electronic resource] : 22nd International Conference, ISC 2019, New York City, NY, USA, September 16–18, 2019, Proceedings / by Lin, Zhiqiang [editor.] Papamanthou, Charalampos [editor.] Polychronakis, Michalis [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11723 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)
	428.	Computer Security – ESORICS 2019 [electronic resource] : 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part I / by Sako, Kazue [editor.] Schneider, Steve [editor.] Ryan, Peter Y. A [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11735 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)
	429.	Computer Security – ESORICS 2019 [electronic resource] : 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part II / by Sako, Kazue [editor.] Schneider, Steve [editor.] Ryan, Peter Y. A [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11736 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)
	430.	Cooperative Design, Visualization, and Engineering [electronic resource] : 16th International Conference, CDVE 2019, Mallorca, Spain, October 6–9, 2019, Proceedings / by Luo, Yuhua [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11792 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)
	431.	Advances in Conceptual Modeling [electronic resource] : ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 2019, Proceedings / by Guizzardi, Giancarlo [editor.] Gailly, Frederik [editor.] Suzana Pitangueira Maciel, Rita [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11787 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)
	432.	Formal Methods and Software Engineering [electronic resource] : 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings / by Ait-Ameur, Yamine [editor.] Qin, Shengchao [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11852 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)
	433.	Model-Driven Engineering and Software Development [electronic resource] : 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20–22, 2019, Revised Selected Papers / by Hammoudi, Slimane [editor.] Pires, Luís Ferreira [editor.] Selić, Bran [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1161 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)
	434.	Algorithms for Computational Biology [electronic resource] : 7th International Conference, AlCoB 2020, Missoula, MT, USA, April 13–15, 2020, Proceedings / by Martín-Vide, Carlos [editor.] Vega-Rodríguez, Miguel A [editor.] Wheeler, Travis [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 12099 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)
	435.	Service-Oriented Computing – ICSOC 2019 Workshops [electronic resource] : WESOACS, ASOCA, ISYCC, TBCE, and STRAPS, Toulouse, France, October 28–31, 2019, Revised Selected Papers / by Yangui, Sami [editor.] Bouguettaya, Athman [editor.] Xue, Xiao [editor.] Faci, Noura [editor.] Gaaloul, Walid [editor.] Yu, Qi [editor.] Zhou, Zhangbing [editor.] Hernandez, Nathalie [editor.] Nakagawa, Elisa Y [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12019 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)
	436.	Advanced Information Systems Engineering [electronic resource] : 32nd International Conference, CAiSE 2020, Grenoble, France, June 8–12, 2020, Proceedings / by Dustdar, Schahram [editor.] Yu, Eric [editor.] Salinesi, Camille [editor.] Rieu, Dominique [editor.] Pant, Vik [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12127 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)
	437.	Computer Aided Verification [electronic resource] : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II / by Lahiri, Shuvendu K [editor.] Wang, Chao [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12225 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)
	438.	New Trends in Information and Communications Technology Applications [electronic resource] : 4th International Conference, NTICT 2020, Baghdad, Iraq, June 15, 2020, Proceedings / by Al-Bakry, Abbas M [editor.] Al-Mamory, Safaa O [editor.] Sahib, Mouayad A [editor.] Hasan, Haitham S [editor.] Oreku, George S [editor.] Nayl, Thaker M [editor.] Al-Dhaibani, Jaafar A [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1183 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)
	439.	Diagrammatic Representation and Inference [electronic resource] : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020, Proceedings / by Pietarinen, Ahti-Veikko [editor.] Chapman, Peter [editor.] Bosveld-de Smet, Leonie [editor.] Giardino, Valeria [editor.] Corter, James [editor.] Linker, Sven [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12169 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)
	440.	Systems, Software and Services Process Improvement [electronic resource] : 28th European Conference, EuroSPI 2021, Krems, Austria, September 1–3, 2021, Proceedings / by Yilmaz, Murat [editor.] Clarke, Paul [editor.] Messnarz, Richard [editor.] Reiner, Michael [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1442 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 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.