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

Results
	521.	Software Architecture [electronic resource] : 15th European Conference, ECSA 2021, Virtual Event, Sweden, September 13-17, 2021, Proceedings / by Biffl, Stefan [editor.] Navarro, Elena [editor.] Löwe, Welf [editor.] Sirjani, Marjan [editor.] Mirandola, Raffaela [editor.] Weyns, Danny [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12857 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)
	522.	Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings / by Das, Anupam [editor.] Negri, Sara [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12842 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)
	523.	Frontiers of Combining Systems [electronic resource] : 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8–10, 2021, Proceedings / by Konev, Boris [editor.] Reger, Giles [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12941 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)
	524.	Parallel Computing Technologies [electronic resource] : 16th International Conference, PaCT 2021, Kaliningrad, Russia, September 13–18, 2021, Proceedings / by Malyshkin, Victor [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12942 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)
	525.	Networked Systems [electronic resource] : 10th International Conference, NETYS 2022, Virtual Event, May 17–19, 2022, Proceedings / by Koulali, Mohammed-Amine [editor.] Mezini, Mira [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13464 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)
	526.	Business Process Management [electronic resource] : 12th International Conference, BPM 2014, Haifa, Israel, September 7-11, 2014, Proceedings / by Sadiq, Shazia [editor.] Soffer, Pnina [editor.] Völzer, Hagen [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8659 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)
	527.	Wireless Sensor Networks [electronic resource] : 11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014, Proceedings / by Krishnamachari, Bhaskar [editor.] Murphy, Amy L [editor.] Trigoni, Niki [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 8354 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)
	528.	Theory and Practice of Model Transformations [electronic resource] : 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings / by Di Ruscio, Davide [editor.] Varró, Dániel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8568 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)
	529.	Multiple Access Communications [electronic resource] : 6th International Workshop, MACOM 2013, Vilnius, Lithuania, December 16-17, 2013, Proceedings / by Jonsson, Magnus [editor.] Vinel, Alexey [editor.] Bellalta, Boris [editor.] Ninoslav, Marina [editor.] Desislava, Dimitrova [editor.] Fiems, Dieter [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 8310 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	530.	Software Engineering and Formal Methods [electronic resource] : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings / by Giannakopoulou, Dimitra [editor.] Salaün, Gwen [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8702 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)
	531.	Algorithms and Architectures for Parallel Processing [electronic resource] : 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part I / by Kolodziej, Joanna [editor.] Di Martino, Benjamino [editor.] Talia, Domenico [editor.] Xiong, Kaiqi [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8285 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	532.	Integrated Formal Methods [electronic resource] : 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings / by Albert, Elvira [editor.] Sekerinski, Emil [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8739 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)
	533.	Automated Technology for Verification and Analysis [electronic resource] : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings / by Van Hung, Dang [editor.] Ogawa, Mizuhito [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8172 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	534.	Reliable Software Technologies – Ada-Europe 2014 [electronic resource] : 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings / by George, Laurent [editor.] Vardanega, Tullio [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8454 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)
	535.	Advances in Network Science [electronic resource] : 12th International Conference and School, NetSci-X 2016, Wroclaw, Poland, January 11-13, 2016, Proceedings / by Wierzbicki, Adam [editor.] Brandes, Ulrik [editor.] Schweitzer, Frank [editor.] Pedreschi, Dino [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9564 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)
	536.	Computer Algebra in Scientific Computing [electronic resource] : 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings / by Gerdt, Vladimir P [editor.] Koepf, Wolfram [editor.] Seiler, Werner M [editor.] Vorozhtsov, Evgenii V [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10490 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	537.	Information Security [electronic resource] : 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings / by Desmedt, Yvo [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 7807 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	538.	Advances in Cryptology – CRYPTO 2018 [electronic resource] : 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part I / by Shacham, Hovav [editor.] Boldyreva, Alexandra [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10991 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)
	539.	Design, User Experience, and Usability. Application Domains [electronic resource] : 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part III / by Marcus, Aaron [editor.] Wang, Wentao [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11585 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)
	540.	Computational Methods in Systems Biology [electronic resource] : 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings / by Bortolussi, Luca [editor.] Sanguinetti, Guido [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 11773 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 4479 results.