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

Results
	3461.	Formal Methods for Components and Objects [electronic resource] : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures / by Giachino, Elena [editor.] Hähnle, Reiner [editor.] de Boer, Frank S [editor.] Bonsangue, Marcello M [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7866 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)
	3462.	Transactions on Aspect-Oriented Software Development XII [electronic resource] / by Chiba, Shigeru [editor.] Tanter, Éric [editor.] Ernst, Erik [editor.] Hirschfeld, Robert [editor.] SpringerLink (Online service) Series: Transactions on Aspect-Oriented Software Development ; 8989 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3463.	Transactions on Aspect-Oriented Software Development IX [electronic resource] / by Leavens, Gary T [editor.] Chiba, Shigeru [editor.] Haupt, Michael [editor.] Ostermann, Klaus [editor.] Wohlstadter, Eric [editor.] SpringerLink (Online service) Series: Transactions on Aspect-Oriented Software Development ; 7271 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)
	3464.	Transactions on Petri Nets and Other Models of Concurrency IX [electronic resource] / by Koutny, Maciej [editor.] Haddad, Serge [editor.] Yakovlev, Alex [editor.] SpringerLink (Online service) Series: Transactions on Petri Nets and Other Models of Concurrency ; 8910 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3465.	Transactions on Aspect-Oriented Software Development IV [electronic resource] : Focus: Early Aspects and Aspects of Software Evolution / by Rashid, Awais [editor.] Aksit, Mehmet [editor.] SpringerLink (Online service) Series: Transactions on Aspect-Oriented Software Development ; 4640 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3466.	Transactions on Aspect-Oriented Software Development VI [electronic resource] : Special Issue on Aspects and Model-Driven Engineering / by Katz, Shmuel [editor.] Ossher, Harold [editor.] SpringerLink (Online service) Series: Transactions on Aspect-Oriented Software Development ; 5560 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3467.	Algebraic Foundations in Computer Science [electronic resource] : Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement / by Kuich, Werner [editor.] Rahonis, George [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7020 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3468.	Architecting Dependable Systems VII [electronic resource] / by Casimiro, Antonio [editor.] de Lemos, Rogério [editor.] Gacek, Cristina [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6420 Edition: 1st ed. 2010. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3469.	Technology Trends [electronic resource] : 4th International Conference, CITT 2018, Babahoyo, Ecuador, August 29–31, 2018, Revised Selected Papers / by Botto-Tobar, Miguel [editor.] Pizarro, Guillermo [editor.] Zúñiga-Prieto, Miguel [editor.] D’Armas, Mayra [editor.] Zúñiga Sánchez, Miguel [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 895 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)
	3470.	Evaluation of Novel Approaches to Software Engineering [electronic resource] : 14th International Conference, ENASE 2019, Heraklion, Crete, Greece, May 4–5, 2019, Revised Selected Papers / by Damiani, Ernesto [editor.] Spanoudakis, George [editor.] Maciaszek, Leszek A [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1172 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)
	3471.	High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production [electronic resource] : 10th International Conference, HPCST 2020, Barnaul, Russia, May 15–16, 2020, Revised Selected Papers / by Jordan, Vladimir [editor.] Filimonov, Nikolay [editor.] Tarasov, Ilya [editor.] Faerman, Vladimir [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1304 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)
	3472.	ICTERI 2021 Workshops [electronic resource] : ITER, MROL, RMSEBT, TheRMIT, UNLP 2021, Kherson, Ukraine, September 28–October 2, 2021, Proceedings / by Ignatenko, Oleksii [editor.] Kharchenko, Vyacheslav [editor.] Kobets, Vitaliy [editor.] Kravtsov, Hennadiy [editor.] Tarasich, Yulia [editor.] Ermolayev, Vadim [editor.] Esteban, David [editor.] Yakovyna, Vitaliy [editor.] Spivakovsky, Aleksander [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1635 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)
	3473.	Age-Appropriate Digital Channels [electronic resource] / by Darvishy, Alireza [author.] Hutter, Hans-Peter [author.] Seifert, Alexander [author.] SpringerLink (Online service) Series: SpringerBriefs in Computational Intelligence Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3474.	Developing Sustainable and Energy-Efficient Software Systems [electronic resource] / by Kruglov, Artem [author.] Succi, Giancarlo [author.] SpringerLink (Online service) Series: SpringerBriefs in Computer Science 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)
	3475.	Automated Technology for Verification and Analysis [electronic resource] : 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II / by André, Étienne [editor.] Sun, Jun [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14216 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)
	3476.	Security Protocols XXVIII [electronic resource] : 28th International Workshop, Cambridge, UK, March 27–28, 2023, Revised Selected Papers / by Stajano, Frank [editor.] Matyáš, Vashek [editor.] Christianson, Bruce [editor.] Anderson, Jonathan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14186 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)
	3477.	Automated Technology for Verification and Analysis [electronic resource] : 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I / by André, Étienne [editor.] Sun, Jun [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14215 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)
	3478.	Advanced Information Systems Engineering [electronic resource] : 26th International Conference, CAiSE 2014, Thessaloniki, Greece, June 16-20, 2014, Proceedings / by Jarke, Matthias [editor.] Mylopoulos, John [editor.] Quix, Christoph [editor.] Rolland, Colette [editor.] Manolopoulos, Yannis [editor.] Mouratidis, Haralambos [editor.] Horkoff, Jennifer [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8484 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)
	3479.	Distributed Applications and Interoperable Systems [electronic resource] : 16th IFIP WG 6.1 International Conference, DAIS 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 Jelasity, Márk [editor.] Kalyvianaki, Evangelia [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 9687 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)
	3480.	Network and System Security [electronic resource] : 12th International Conference, NSS 2018, Hong Kong, China, August 27-29, 2018, Proceedings / by Au, Man Ho [editor.] Yiu, Siu Ming [editor.] Li, Jin [editor.] Luo, Xiapu [editor.] Wang, Cong [editor.] Castiglione, Aniello [editor.] Kluczniak, Kamil [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11058 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.