Results of search for 'ccl=su:{Engineering} and su-to:Software Engineering' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	261.	From Software Engineering to Formal Methods and Tools, and Back [electronic resource] : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday / by ter Beek, Maurice H [editor.] Fantechi, Alessandro [editor.] Semini, Laura [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11865 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)
	262.	The Multi-Agent Programming Contest 2018 [electronic resource] : Agents Teaming Up in an Urban Environment / by Ahlbrecht, Tobias [editor.] Dix, Jürgen [editor.] Fiekas, Niklas [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11957 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)
	263.	Tests and Proofs [electronic resource] : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings / by Ahrendt, Wolfgang [editor.] Wehrheim, Heike [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12165 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)
	264.	Information Systems Security and Privacy [electronic resource] : 5th International Conference, ICISSP 2019, Prague, Czech Republic, February 23-25, 2019, Revised Selected Papers / by Mori, Paolo [editor.] Furnell, Steven [editor.] Camp, Olivier [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1221 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)
	265.	Well-Being in the Information Society. Fruits of Respect [electronic resource] : 8th International Conference, WIS 2020, Turku, Finland, August 26–27, 2020, Proceedings / by Cacace, Mirella [editor.] Halonen, Raija [editor.] Li, Hongxiu [editor.] Orrensalo, Thao Phuong [editor.] Li, Chenglong [editor.] Widén, Gunilla [editor.] Suomi, Reima [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1270 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)
	266.	Cloud Computing, Big Data & Emerging Topics [electronic resource] : 8th Conference, JCC-BD&ET 2020, La Plata, Argentina, September 8-10, 2020, Proceedings / by Rucci, Enzo [editor.] Naiouf, Marcelo [editor.] Chichizola, Franco [editor.] De Giusti, Laura [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1291 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)
	267.	Business Modeling and Software Design [electronic resource] : 11th International Symposium, BMSD 2021, Sofia, Bulgaria, July 5–7, 2021, Proceedings / by Shishkov, Boris [editor.] SpringerLink (Online service) Series: Lecture Notes in Business Information Processing ; 422 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)
	268.	Mathematics of Program Construction [electronic resource] : 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings / by Komendantskaya, Ekaterina [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13544 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)
	269.	Software Engineering and Formal Methods [electronic resource] : 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings / by Schlingloff, Bernd-Holger [editor.] Chai, Ming [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13550 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)
	270.	Computer Security – ESORICS 2022 [electronic resource] : 27th European Symposium on Research in Computer Security, Copenhagen, Denmark, September 26–30, 2022, Proceedings, Part II / by Atluri, Vijayalakshmi [editor.] Di Pietro, Roberto [editor.] Jensen, Christian D [editor.] Meng, Weizhi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13555 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	271.	Advances in Building Information Modeling [electronic resource] : Second Eurasian BIM Forum, EBF 2021, Istanbul, Turkey, November 11–12, 2021, Revised Selected Papers / by Özener, Ozan Önder [editor.] Ofluoglu, Salih [editor.] Isikdag, Umit [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1627 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)
	272.	Runtime Verification [electronic resource] : 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28–30, 2022, Proceedings / by Dang, Thao [editor.] Stolz, Volker [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13498 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)
	273.	Fundamental Approaches to Software Engineering [electronic resource] : 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings / by Lambers, Leen [editor.] Uchitel, Sebastián [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13991 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	274.	Model Checking Software [electronic resource] : 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings / by Caltais, Georgiana [editor.] Schilling, Christian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13872 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	275.	Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems [electronic resource] : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday / by Lopez-Garcia, Pedro [editor.] Gallagher, John P [editor.] Giacobazzi, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13160 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	276.	Fundamental Approaches to Software Engineering [electronic resource] : 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings / by de Lara, Juan [editor.] Zisman, Andrea [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7212 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	277.	Formal Techniques for Distributed Objects, Components, and Systems [electronic resource] : 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings / by Albert, Elvira [editor.] Lanese, Ivan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9688 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	278.	Advances in Software Engineering [electronic resource] : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures / by Börger, Egon [editor.] Cisternino, Antonio [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5316 Edition: 1st ed. 2008. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	279.	Testing Software and Systems [electronic resource] : 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings / by Medina-Bulo, Inmaculada [editor.] Merayo, Mercedes G [editor.] Hierons, Robert [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11146 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)
	280.	Formal Methods and Software Engineering [electronic resource] : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings / by Sun, Jing [editor.] Sun, Meng [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11232 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 4479 results.