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

Results
	381.	Conceptual Modeling – ER 2011 [electronic resource] : 30th International Conference on Conceptual Modeling, Brussels, Belgium, October 31 - November 3, 2011. Proceedings / by Jeusfeld, Manfred [editor.] Delcambre, Lois [editor.] Ling, Tok Wang [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6998 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)
	382.	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)
	383.	Logic Programming and Nonmonotonic Reasoning [electronic resource] : 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011, Proceedings / by Delgrande, James [editor.] Faber, Wolfgang [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6645 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)
	384.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings / by Jhala, Ranjit [editor.] Schmidt, David [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6538 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)
	385.	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)
	386.	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)
	387.	Inductive Logic Programming [electronic resource] : 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers / by Muggleton, Stephen [editor.] Otero, Ramon [editor.] Tamaddoni-Nezhad, Alireza [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4455 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)
	388.	Trends in Functional Programming [electronic resource] : 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers / by Page, Rex [editor.] Horvath, Zoltan [editor.] Zsók, Viktoria [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6546 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)
	389.	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)
	390.	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)
	391.	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)
	392.	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)
	393.	Frontiers of Combining Systems [electronic resource] : 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings / by Fontaine, Pascal [editor.] Ringeissen, Christophe [editor.] Schmidt, Renate [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8152 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)
	394.	Object, Models, Components, Patterns [electronic resource] : 50th International Conference, TOOLS Europe 2012, Prague, Czech Republic, May 29-31, 2012, Proceedings / by Furia, Carlo A [editor.] Nanz, Sebastian [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7304 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)
	395.	Coordination Models and Languages [electronic resource] : 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011, Proceedings / by De Meuter, Wolfgang [editor.] Roman, Gruia-Catalin [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6721 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)
	396.	Model Checking Software [electronic resource] : 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings / by van der Pol, Jaco [editor.] Weber, Michael [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6349 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)
	397.	Frontiers of Combining Systems [electronic resource] : 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007. Proceedings / by Konev, Boris [editor.] Wolter, Frank [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4720 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)
	398.	Automated Reasoning [electronic resource] : 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings / by Armando, Alessandro [editor.] Baumgartner, Peter [editor.] Dowek, Gilles [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5195 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)
	399.	New Frontiers in Applied Artificial Intelligence [electronic resource] : 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 Wroclaw, Poland, June 18-20, 2008, Proceedings / by Borzemski, Leszek [editor.] Grzech, Adam [editor.] Ali, Moonis [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5027 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)
	400.	Parallel Problem Solving from Nature - PPSN X [electronic resource] : 10th International Conference Dortmund, Germany, September 13-17, 2008 Proceedings / by Rudolph, Günter [editor.] Jansen, Thomas [editor.] Lucas, Simon M [editor.] Poloni, Carlo [editor.] Beume, Nicola [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5199 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

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 972 results.