Results of search for 'ccl=su:"Computer programming." and su-geo:Computer programming and su-to:Programming Techniques' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	821.	Formal Methods and Software Engineering [electronic resource] : 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings / by Liu, Shaoying [editor.] Maibaum, Tom [editor.] Araki, Keijiro [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5256 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)
	822.	Algorithmic Learning Theory [electronic resource] : 20th International Conference, ALT 2009, Porto, Portugal, October 3-5, 2009, Proceedings / by Gavaldà, Ricard [editor.] Lugosi, Gabor [editor.] Zeugmann, Thomas [editor.] Zilles, Sandra [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5809 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)
	823.	Graph Transformations and Model-Driven Engineering [electronic resource] : Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday / by Engels, Gregor [editor.] Lewerentz, Claus [editor.] Schäfer, Wilhelm [editor.] Schürr, Andy [editor.] Westfechtel, Bernhard [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5765 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)
	824.	Static Analysis [electronic resource] : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings / by Logozzo, Francesco [editor.] Fähndrich, Manuel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7935 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)
	825.	Wireless Sensor Networks [electronic resource] : 6th European Conference, EWSN 2009 Cork, Ireland, February 11-13, 2009, Proceedings / by Rödig, Utz [editor.] Sreenan, Cormac J [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 5432 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)
	826.	Web Engineering [electronic resource] : 10th International Conference, ICWE 2010, Vienna, Austria, July 5-9, 2010. Proceedings / by Benatallah, Boualem [editor.] Casati, Fabio [editor.] Kappel, Gerti [editor.] Rossi, Gustavo [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6189 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)
	827.	Rewriting Logic and Its Applications [electronic resource] : 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers / by Lucanu, Dorel [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9942 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)
	828.	Refinement Techniques in Software Engineering [electronic resource] : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures / by Cavalcanti, Ana [editor.] Sampaio, Augusto [editor.] Woodcock, Jim [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3167 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)
	829.	Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings / by Beckert, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3702 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)
	830.	Frontiers of Combining Systems [electronic resource] : 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings / by Gramlich, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3717 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)
	831.	Computer Vision -- ACCV 2009 [electronic resource] : 9th Asian Conference on Computer Vision, Xi'an, China, September 23-27, 2009, Revised Selected Papers, Part I / by Zha, Hongbin [editor.] Taniguchi, Rin-ichiro [editor.] Maybank, Stephen [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 5994 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)
	832.	ECOOP 2014 -- Object-Oriented Programming [electronic resource] : 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings / by Jones, Richard [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8586 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)
	833.	Evolvable Systems: From Biology to Hardware [electronic resource] : 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008, Proceedings / by Hornby, Gregory S [editor.] Sekanina, Lukas [editor.] Haddow, Pauline C [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5216 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)
	834.	Principles and Practice of Constraint Programming - CP 2007 [electronic resource] : 13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings / by Bessiere, Christian [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4741 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)
	835.	Programming Languages and Systems [electronic resource] : 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European / by Sestoft, Peter [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3924 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)
	836.	Recent Advances in the Message Passing Interface [electronic resource] : 19th European MPI Users' Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. Proceedings / by Träff, Jesper Larsson [editor.] Benkner, Siegfried [editor.] Dongarra, Jack [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7490 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)
	837.	Grand Timely Topics in Software Engineering [electronic resource] : International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures / by Cunha, Jácome [editor.] Fernandes, João P [editor.] Lämmel, Ralf [editor.] Saraiva, João [editor.] Zaytsev, Vadim [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10223 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)
	838.	Software Engineering [electronic resource] : International Summer Schools, ISSSE 2009-2011, Salerno, Italy, Revised Tutorial Lectures / by De Lucia, Andrea [editor.] Ferrucci, Filomena [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7171 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)
	839.	Distributed Computing and Networking [electronic resource] : 10th International Conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009, Proceedings / by Garg, Vijay [editor.] Wattenhofer, Roger [editor.] Kothapalli, Kishore [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5408 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)
	840.	Trends in Functional Programming [electronic resource] : 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers / by Hage, Jurriaan [editor.] McCarthy, Jay [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8843 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 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 1611 results.