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
	481.	Fundamentals of Software Engineering [electronic resource] : 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers / by Dastani, Mehdi [editor.] Sirjani, Marjan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9392 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)
	482.	Software Reuse: Methods, Techniques, and Tools [electronic resource] : 8th International Conference, ICSR 2004, Madrid, Spain, July 5-9, 2004, Proceedings / by Bosch, Jan [editor.] Krueger, Charles [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3107 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	483.	Computational Science and Its Applications - ICCSA 2004 [electronic resource] : International Conference, Assisi, Italy, May 14-17, 2004, Proceedings, Part III / by Laganà, Antonio [editor.] Gavrilova, Marina L [editor.] Kumar, Vipin [editor.] Mun, Youngsong [editor.] Tan, C.J. Kenneth [editor.] Gervasi, Osvaldo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3045 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	484.	Wireless Sensor Networks [electronic resource] : First European Workshop, EWSN 2004, Berlin, Germany, January 19-21, 2004, Proceedings / by Karl, Holger [editor.] Willig, Andreas [editor.] Wolisz [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2920 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	485.	Coordination Models and Languages [electronic resource] : 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings / by De Nicola, Rocco [editor.] Ferrari, Gianluigi [editor.] Meredith, Greg [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2949 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	486.	Programming Languages and Systems [electronic resource] : 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings / by Felleisen, Matthias [editor.] Gardner, Philippa [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7792 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)
	487.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings / by Kuncak, Viktor [editor.] Rybalchenko, Andrey [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7148 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)
	488.	Frontiers in Algorithms [electronic resource] : 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010, Proceedings / by Lee, D.T [editor.] Chen, Danny Z [editor.] Ying, Shi [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6213 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)
	489.	ECOOP 2012 -- Object-Oriented Programming [electronic resource] : 26th European Conference, Beijing, China, June 11-16, 2012, Proceedings / by Noble, James [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7313 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)
	490.	Static Analysis [electronic resource] : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings / by Alpuente, María [editor.] Vidal-Oriola, Germán [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5079 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)
	491.	Compiler Construction [electronic resource] : 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / by Gupta, Rajiv [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6011 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)
	492.	Modular Programming Languages [electronic resource] : 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings / by Lightfoot, David [editor.] Szyperski, Clemens [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4228 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)
	493.	Frontiers of Combining Systems [electronic resource] : 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings / by Lutz, Carsten [editor.] Ranise, Silvio [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9322 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)
	494.	Automated Technology for Verification and Analysis [electronic resource] : 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings / by Cassez, Franck [editor.] Raskin, Jean-Francois [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8837 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	495.	Rough Sets and Current Trends in Computing [electronic resource] : 7th International Conference, RSCTC 2010, Warsaw, Poland, June 28-30, 2010 Proceedings / by Szczuka, Marcin [editor.] Kryszkiewicz, Marzena [editor.] Jensen, Richard [editor.] Hu, Qinghua [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6086 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)
	496.	Machines, Computations, and Universality [electronic resource] : 5th International Conference, MCU 2007, Orleans, France, September 10-13, 2007, Proceedings / by Durand-Lose, Jérôme [editor.] Margenstern, Maurice [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4664 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)
	497.	Hybrid Metaheuristics [electronic resource] : 5th International Workshop, HM 2008, Malaga, Spain, October 8-9, 2008. Proceedings / by Blum, Christian [editor.] Cotta, Carlos [editor.] Fernández Leiva, Antonio José [editor.] Gallardo Ruiz, José E [editor.] Roli, Andrea [editor.] Sampels, Michael [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5296 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)
	498.	Advances in Computer Games [electronic resource] : 12th International Conference, ACG 2009, Pamplona, Spain, May 11-13, 2009, Revised Papers / by van den Herik, H. Jaap [editor.] Spronck, Pieter [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6048 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)
	499.	Advances in Information and Computer Security [electronic resource] : 5th International Worshop on Security, IWSEC 2010, Kobe, Japan, November 22-24, 2010, Proceedings / by Echizen, Isao [editor.] Kunihiro, Noboru [editor.] Sasaki, Ryoichi [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 6434 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)
	500.	Fields of Logic and Computation [electronic resource] : Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday / by Blass, Andreas [editor.] Dershowitz, Nachum [editor.] Reisig, Wolfgang [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6300 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 1611 results.