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

Results
	161.	Agent-Oriented Software Engineering V [electronic resource] : 5th International Workshop, AOSE 2004, New York, NY, USA, July 2004, Revised Selected Papers / by Odell, James [editor.] Giorgini, Paolo [editor.] Müller, Jörg, P [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3382 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	162.	Model-Driven Development of Reliable Automotive Services [electronic resource] : Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers / by Broy, Manfred [editor.] Krüger, Ingolf [editor.] Meisinger, Michael [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4922 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)
	163.	Objects, Models, Components, Patterns [electronic resource] : 48th International Conference, TOOLS 2010, Málaga, Spain, June 28 - July 2, 2010, Proceedings / by Vitek, Jan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6141 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)
	164.	Testing: Academic and Industrial Conference - Practice and Research Techniques [electronic resource] : 5th International Conference, TAIC PART 2010, Windsor, UK, September 4-6, 2010, Proceedings / by Bottaci, Leonardo [editor.] Fraser, Gordon [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6303 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)
	165.	Agent-Oriented Software Engineering X [electronic resource] : 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers / by Gleizes, Marie-Pierre [editor.] Gomez-Sanz, Jorge J [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6038 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)
	166.	Programming Languages and Systems [electronic resource] : 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings / by Hu, Zhenjiang [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5904 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)
	167.	Models in Software Engineering [electronic resource] : Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers / by Chaudron, Michel R. V [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5421 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)
	168.	Runtime Verification [electronic resource] : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings / by Barringer, Howard [editor.] Falcone, Ylies [editor.] Finkbeiner, Bernd [editor.] Havelund, Klaus [editor.] Lee, Insup [editor.] Pace, Gordon [editor.] Rosu, Grigore [editor.] Sokolsky, Oleg [editor.] Tillmann, Nikolai [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6418 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)
	169.	Ada 2005 Reference Manual. Language and Standard Libraries [electronic resource] : International Standard ISO/IEC 8652/1995(E) with Technical Corrigendum 1 and Amendment 1 / by Taft, S. Tucker [editor.] Duff, Robert A [editor.] Brukardt, Randall L [editor.] Ploedereder, Erhard [editor.] Leroy, Pascal [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4348 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)
	170.	Logic Programming [electronic resource] : 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings / by Dahl, Verónica [editor.] Niemelä, Ilkka [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4670 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)
	171.	Practical Aspects of Declarative Languages [electronic resource] : 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings / by Lierler, Yuliya [editor.] Taha, Walid [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10137 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)
	172.	Static Analysis [electronic resource] : 18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings / by Yahav, Eran [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6887 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)
	173.	Rules on the Web: Research and Applications [electronic resource] : 6th International Symposium, RuleML 2012, Montpellier, France, August 27-29, 2012. Proceedings / by Bikakis, Antonis [editor.] Giurca, Adrian [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7438 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)
	174.	Computer Performance Engineering [electronic resource] : 6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings / by Bradley, Jeremy T [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5652 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)
	175.	Agent-Oriented Software Engineering XI [electronic resource] : 11th International Workshop, AOSE XI, Toronto, Canada, May 10-11, 2010, Revised Selected Papers / by Weyns, Danny [editor.] Gleizes, Marie-Pierre [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6788 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)
	176.	Search Based Software Engineering [electronic resource] : Fourth International Symposium, SSBSE 2012, Riva del Garda, September 28-30, 2012, Proceedings / by Fraser, Gordon [editor.] Teixeira de Souza, Jerffeson [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7515 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)
	177.	Coordination Models and Languages [electronic resource] : 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings / by Clarke, David [editor.] Agha, Gul [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6116 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)
	178.	Verified Software: Theories, Tools, Experiments [electronic resource] : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings / by Shankar, Natarajan [editor.] Woodcock, Jim [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5295 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)
	179.	Component-Based Software Engineering [electronic resource] : 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings / by Schmidt, Heinz G [editor.] Crnkovic, Ivica [editor.] Heineman, George T [editor.] Stafford, Judith A [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4608 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)
	180.	Software-Intensive Systems and New Computing Paradigms [electronic resource] : Challenges and Visions / by Wirsing, Martin [editor.] Banatre, Jean-Pierre [editor.] Hölzl, Matthias [editor.] Rauschmayer, Axel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5380 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 356 results.