Results of search for 'ccl=pb:Springer, and su-geo:Artificial intelligence and se:Programming and Software Engineering' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	121.	Dependable Software Engineering. Theories, Tools, and Applications [electronic resource] : 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings / by Qin, Shengchao [editor.] Woodcock, Jim [editor.] Zhang, Wenhui [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 13071 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)
	122.	Hardware and Software: Verification and Testing [electronic resource] : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings / by Strichman, Ofer [editor.] Tzoref-Brill, Rachel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10629 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)
	123.	Intelligent Tutoring Systems [electronic resource] : 14th International Conference, ITS 2018, Montreal, QC, Canada, June 11–15, 2018, Proceedings / by Nkambou, Roger [editor.] Azevedo, Roger [editor.] Vassileva, Julita [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10858 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)
	124.	It's All About Coordination [electronic resource] : Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab / by de Boer, Frank [editor.] Bonsangue, Marcello [editor.] Rutten, Jan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10865 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)
	125.	Human-Centered Software Engineering [electronic resource] : 4th International Conference, HCSE 2012, Toulouse, France, October 29-31, 2012, Proceedings / by Winckler, Marco [editor.] Forbrig, Peter [editor.] Bernhaupt, Regina [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7623 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)
	126.	Software Engineering for Multi-Agent Systems IV [electronic resource] : Research Issues and Practical Applications / by Garcia, Alessandro [editor.] Choren, Ricardo [editor.] Lucena, Carlos [editor.] Giorgini, Paolo [editor.] Holvoet, Tom [editor.] Romanovsky, Alexander [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3914 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	127.	Verified Software. Theories, Tools, and Experiments [electronic resource] : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers / by Blazy, Sandrine [editor.] Chechik, Marsha [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9971 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)
	128.	Semantic Web Rules [electronic resource] : International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010, Proceedings / by Dean, Mike [editor.] Hall, John [editor.] Rotolo, Antonino [editor.] Tabet, Said [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6403 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)
	129.	Agent-Oriented Software Engineering VI [electronic resource] : 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers / by Müller, Jörg [editor.] Zambonelli, Franco [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3950 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	130.	Hardware and Software: Verification and Testing [electronic resource] : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers / by Eder, Kerstin [editor.] Lourenҫo, João [editor.] Shehory, Onn [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7261 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)
	131.	Services Computing – SCC 2018 [electronic resource] : 15th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings / by Ferreira, João Eduardo [editor.] Spanoudakis, George [editor.] Ma, Yutao [editor.] Zhang, Liang-Jie [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10969 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)
	132.	HCI and Usability for Education and Work [electronic resource] : 4th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2008, Graz, Austria, November 20-21, 2008, Proceedings / by Holzinger, Andreas [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5298 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)
	133.	Creating New Learning Experiences on a Global Scale [electronic resource] : Second European Conference on Technology Enhanced Learning, EC-TEL 2007, Crete, Greece, September 17-20, 2007, Proceedings / by Duval, Erik [editor.] Klamma, Ralf [editor.] Wolpers, Martin [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4753 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)
	134.	Service-Oriented Computing [electronic resource] : 15th International Conference, ICSOC 2017, Malaga, Spain, November 13–16, 2017, Proceedings / by Maximilien, Michael [editor.] Vallecillo, Antonio [editor.] Wang, Jianmin [editor.] Oriol, Marc [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10601 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)
	135.	Software Technologies: Applications and Foundations [electronic resource] : STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers / by Seidl, Martina [editor.] Zschaler, Steffen [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10748 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)
	136.	Reversible Computation [electronic resource] : 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings / by Phillips, Iain [editor.] Rahaman, Hafizur [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10301 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)
	137.	Verified Software: Theorie, Tools, Experiments [electronic resource] : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers / by Cohen, Ernie [editor.] Rybalchenko, Andrey [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8164 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)
	138.	Rules and Reasoning [electronic resource] : International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings / by Costantini, Stefania [editor.] Franconi, Enrico [editor.] Van Woensel, William [editor.] Kontchakov, Roman [editor.] Sadri, Fariba [editor.] Roman, Dumitru [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10364 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)
	139.	Service-Oriented Computing – ICSOC 2016 Workshops [electronic resource] : ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10–13, 2016, Revised Selected Papers / by Drira, Khalil [editor.] Wang, Hongbing [editor.] Yu, Qi [editor.] Wang, Yan [editor.] Yan, Yuhong [editor.] Charoy, François [editor.] Mendling, Jan [editor.] Mohamed, Mohamed [editor.] Wang, Zhongjie [editor.] Bhiri, Sami [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10380 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)
	140.	Requirements Engineering: Foundation for Software Quality [electronic resource] : 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings / by Kamsties, Erik [editor.] Horkoff, Jennifer [editor.] Dalpiaz, Fabiano [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10753 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

Item types

Series

Topics

Your search returned 228 results.