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

Results
	3081.	Conceptual Modeling - ER 2013 [electronic resource] : 32th International Conference, ER 2013Hong-Kong, China, November 11-13, 2013, Proceedings / by Ng, Wilfred [editor.] Storey, Veda C [editor.] Trujillo, Juan [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8217 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)
	3082.	Transactions on Computational Collective Intelligence VII [electronic resource] / by Nguyen, Ngoc-Thanh [editor.] SpringerLink (Online service) Series: Transactions on Computational Collective Intelligence ; 7270 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)
	3083.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings / by Barthe, Gilles [editor.] Hermenegildo, Manuel [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5944 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)
	3084.	Modeling and Using Context [electronic resource] : 10th International and Interdisciplinary Conference, CONTEXT 2017, Paris, France, June 20-23, 2017, Proceedings / by Brézillon, Patrick [editor.] Turner, Roy [editor.] Penco, Carlo [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10257 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)
	3085.	Service-Oriented Computing [electronic resource] : 8th International Conference, ICSOC 2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings / by Maglio, Paul P [editor.] Weske, Mathias [editor.] Yang, Jian [editor.] Fantinato, Marcelo [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6470 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)
	3086.	Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings / by Schmidt, Renate A [editor.] Nalon, Cláudia [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10501 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)
	3087.	Distributed Computing and Internet Technology [electronic resource] : 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010, Proceedings / by Janowski, Tomasz [editor.] Mohanty, Hrushikesha [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5966 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)
	3088.	Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops [electronic resource] : International Workshops, ICSOC/ServiceWave 2009, Stockholm, Sweden, November 23-27, 2009, Revised Selected Papers / by Dan, Asit [editor.] Gittler, Frédéric [editor.] Toumani, Farouk [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6275 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)
	3089.	Reachability Problems [electronic resource] : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings / by Hague, Matthew [editor.] Potapov, Igor [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10506 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)
	3090.	Software Composition [electronic resource] : 5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers / by Löwe, Welf [editor.] Südholt, Mario [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4089 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)
	3091.	Recent Advances in the Message Passing Interface [electronic resource] : 18th European MPI Users’ Group Meeting, EuroMPI 2011, Santorini, Greece, September 18-21, 2011. Proceedings / by Cotronis, Yiannis [editor.] Danalis, Anthony [editor.] Nikolopoulos, Dimitris [editor.] Dongarra, Jack [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6960 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)
	3092.	ECOOP 2010 -- Object-Oriented Programming [electronic resource] : 24th European Conference, Maribor, Slovenia, June 21-25, 2010, Proceedings / by D'Hondt, Theo [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6183 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)
	3093.	Automotive Software-Connected Services in Mobile Networks [electronic resource] : First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers / by Broy, Manfred [editor.] Krüger, Ingolf [editor.] Meisinger, Michael [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4147 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)
	3094.	Progress in VLSI Design and Test [electronic resource] : 16th International Symposium on VSLI Design and Test, VDAT 2012, Shipur, India, July 1-4, 2012, Proceedings / by Rahaman, Hafizur [editor.] Chattopadhyay, Sanatan [editor.] Chattopadhyay, Santanu [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7373 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)
	3095.	Multiagent System Technologies [electronic resource] : 4th German Conference, MATES 2006, Erfurt, Germany, September 19-20, 2006, Proceedings / by Fischer, Klaus [editor.] André, Elisabeth [editor.] Timm, Ingo J [editor.] Zhong, Ning [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4196 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)
	3096.	Service-Oriented Computing ICSOC 2006 [electronic resource] : 4th International Conference, Chicago, IL, USA, December 4-7, 2006, Workshop Proceedings / by Georgakopoulos, Dimitrios [editor.] Ritter, Norbert [editor.] Benatallah, Boualem [editor.] Zirpins, Christian [editor.] Feuerlicht, George [editor.] Schoenherr, Marten [editor.] Motahari-Nezhad, Hamid R [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4652 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)
	3097.	Software Engineering for Resilient Systems [electronic resource] : Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011, Proceedings / by Troubitsyna, Elena A [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6968 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)
	3098.	NASA Formal Methods [electronic resource] : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings / by Barrett, Clark [editor.] Davies, Misty [editor.] Kahsai, Temesghen [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10227 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)
	3099.	Human-Computer Interaction -- INTERACT 2011 [electronic resource] : 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part IV / by Campos, Pedro [editor.] Graham, Nicholas [editor.] Jorge, Joaquim [editor.] Nunes, Nuno [editor.] Palanque, Philippe [editor.] Winckler, Marco [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6949 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)
	3100.	Advanced Information Systems Engineering [electronic resource] : 29th International Conference, CAiSE 2017, Essen, Germany, June 12-16, 2017, Proceedings / by Dubois, Eric [editor.] Pohl, Klaus [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10253 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 4479 results.