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

Results
	481.	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)
	482.	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)
	483.	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)
	484.	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)
	485.	Bioinspired Optimization Methods and Their Applications [electronic resource] : 10th International Conference, BIOMA 2022, Maribor, Slovenia, November 17–18, 2022, Proceedings / by Mernik, Marjan [editor.] Eftimov, Tome [editor.] Črepinšek, Matej [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13627 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)
	486.	High Performance Computing. ISC High Performance 2022 International Workshops [electronic resource] : Hamburg, Germany, May 29 – June 2, 2022, Revised Selected Papers / by Anzt, Hartwig [editor.] Bienz, Amanda [editor.] Luszczek, Piotr [editor.] Baboulin, Marc [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13387 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)
	487.	Industrial Applications of Holonic and Multi-Agent Systems [electronic resource] : 8th International Conference, HoloMAS 2017, Lyon, France, August 28–30, 2017, Proceedings / by Mařík, Vladimír [editor.] Wahlster, Wolfgang [editor.] Strasser, Thomas [editor.] Kadera, Petr [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10444 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)
	488.	Autonomic and Trusted Computing [electronic resource] : 4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007, Proceedings / by Xiao, Bin [editor.] Yang, Laurence T [editor.] Muller-Schloer, Christian [editor.] Hua, Yu [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4610 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)
	489.	End-User Development [electronic resource] : 2nd International Symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009, Proceedings / by Pipek, Volkmar [editor.] Rosson, Mary-Beth [editor.] Wulf, Volker [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5435 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)
	490.	Formal Methods and Software Engineering [electronic resource] : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings / by Duan, Zhenhua [editor.] Ong, Luke [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10610 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)
	491.	Reliable Software Technologies – Ada-Europe 2018 [electronic resource] : 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings / by Casimiro, António [editor.] Ferreira, Pedro M [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10873 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)
	492.	Agents and Artificial Intelligence [electronic resource] : 9th International Conference, ICAART 2017, Porto, Portugal, February 24–26, 2017, Revised Selected Papers / by van den Herik, Jaap [editor.] Rocha, Ana Paula [editor.] Filipe, Joaquim [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10839 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)
	493.	Advances in Cryptology – CRYPTO 2018 [electronic resource] : 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part II / by Shacham, Hovav [editor.] Boldyreva, Alexandra [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10992 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)
	494.	RoboCup 2017: Robot World Cup XXI [electronic resource] / by Akiyama, Hidehisa [editor.] Obst, Oliver [editor.] Sammut, Claude [editor.] Tonidandel, Flavio [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11175 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)
	495.	Service-Oriented Computing [electronic resource] : 16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceedings / by Pahl, Claus [editor.] Vukovic, Maja [editor.] Yin, Jianwei [editor.] Yu, Qi [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11236 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)
	496.	Algorithms and Architectures for Parallel Processing [electronic resource] : 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV / by Vaidya, Jaideep [editor.] Li, Jin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11337 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)
	497.	Information Systems Security [electronic resource] : 14th International Conference, ICISS 2018, Bangalore, India, December 17-19, 2018, Proceedings / by Ganapathy, Vinod [editor.] Jaeger, Trent [editor.] Shyamasundar, R.K [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11281 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)
	498.	Security, Privacy, and Applied Cryptography Engineering [electronic resource] : 9th International Conference, SPACE 2019, Gandhinagar, India, December 3–7, 2019, Proceedings / by Bhasin, Shivam [editor.] Mendelson, Avi [editor.] Nandi, Mridul [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11947 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)
	499.	Tools and Techniques for High Performance Computing [electronic resource] : Selected Workshops, HUST, SE-HER and WIHPC, Held in Conjunction with SC 2019, Denver, CO, USA, November 17–18, 2019, Revised Selected Papers / by Juckeland, Guido [editor.] Chandrasekaran, Sunita [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1190 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)
	500.	Quantitative Evaluation of Systems [electronic resource] : 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings / by Gribaudo, Marco [editor.] Jansen, David N [editor.] Remke, Anne [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12289 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 4479 results.