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
	661.	Software Composition [electronic resource] : 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings / by Bergel, Alexandre [editor.] Fabry, Johan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5634 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)
	662.	Unifying Theories of Programming [electronic resource] : Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers / by Butterfield, Andrew [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5713 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)
	663.	Testing of Software and Communication Systems [electronic resource] : 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009, Proceedings / by Nunez, Manuel [editor.] Baker, Paul [editor.] Merayo, Mercedes G [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 5826 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)
	664.	High-Performance Computing [electronic resource] : 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advance Low Power Systems, ALPS 2006, Revised Selected Papers / by Labarta, Jesus [editor.] Joe, Kazuki [editor.] Sato, Toshinori [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4759 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)
	665.	Transactions on Petri Nets and Other Models of Concurrency I [electronic resource] / by van der Aalst, Wil M. P [editor.] Billington, Jonathan [editor.] SpringerLink (Online service) Series: Transactions on Petri Nets and Other Models of Concurrency ; 5100 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)
	666.	Algorithms and Complexity [electronic resource] : 7th International Conference, CIAC 2010, Rome, Italy, May 26-28, 2010, Proceedings / by Diaz, Josep [editor.] Calamoneri, Tiziana [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6078 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)
	667.	Fundamentals of Computation Theory [electronic resource] : 17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009, Proceedings / by Kutylowski, Miroslaw [editor.] Gebala, Maciej [editor.] Charatonik, Witold [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5699 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)
	668.	Parallel Processing and Applied Mathematics [electronic resource] : 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part I / by Wyrzykowski, Roman [editor.] Dongarra, Jack [editor.] Karczewski, Konrad [editor.] Wasniewski, Jerzy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7203 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)
	669.	Finite-State Methods and Natural Language Processing [electronic resource] : 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, Revised Selected Papers / by Yli-Jyrä, Anssi [editor.] Kornai, Andras [editor.] Sakarovitch, Jacques [editor.] Watson, Bruce [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6062 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)
	670.	Formal Aspects of Component Software [electronic resource] : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers / by Pasareanu, Corina S [editor.] Salaün, Gwen [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7684 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)
	671.	Construction and Analysis of Safe, Secure, and Interoperable Smart Devices [electronic resource] : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers / by Barthe, Gilles [editor.] Burdy, Lilian [editor.] Huisman, Marieke [editor.] Lanet, Jean-Louis [editor.] Muntean, Traian [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 3362 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)
	672.	Hybrid Artificial Intelligence Systems [electronic resource] : Third International Workshop, HAIS 2008, Burgos, Spain, September 24-26, 2008, Proceedings / by Corchado, Emilio [editor.] Abraham, Ajith [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5271 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)
	673.	String Processing and Information Retrieval [electronic resource] : 15th International Symposium, SPIRE 2008, Melbourne, Australia, November 10-12, 2008. Proceedings / by Amir, Amihood [editor.] Turpin, Andrew [editor.] Moffat, Alistair [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5280 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)
	674.	Computer Vision and Graphics [electronic resource] : International Conference, ICCVG 2008, Warsaw, Poland, November 10-12, 2008 Revised Papers / by Bolc, Leonard [editor.] Kulikowski, Juliusz Lech [editor.] Wojciechowski, Konrad [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 5337 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)
	675.	Algebraic Methodology and Software Technology [electronic resource] : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings / by Meseguer, José [editor.] Rosu, Grigore [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5140 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)
	676.	Multiagent System Technologies [electronic resource] : 7th German Conference, MATES 2009 Hamburg, Germany, September 9-11, 2009 Proceedings / by Braubach, Lars [editor.] van der Hoek, Wiebe [editor.] Petta, Paolo [editor.] Pokahr, Alexander [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5774 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)
	677.	Automated Technology for Verification and Analysis [electronic resource] : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings / by Bultan, Tevfik [editor.] Hsiung, Pao-Ann [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6996 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)
	678.	Search Based Software Engineering [electronic resource] : Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011,Proceedings / by Cohen, Myra B [editor.] O Cinneide, Mel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6956 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)
	679.	Advances in Artificial Intelligence - IBERAMIA 2008 [electronic resource] : 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008. Proceedings / by Geffner, Hector [editor.] Prada, Rui [editor.] Machado Alexandre, Isabel [editor.] David, Nuno [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5290 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)
	680.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning [electronic resource] : Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday / by Balduccini, Marcello [editor.] Son, Tran Cao [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6565 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 1611 results.