Results of search for 'ccl=su:{Computer programming.} and su-to:Computer programming and su-to:Computer programming and se:Lecture Notes in Computer Science' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	301.	Rewriting Techniques and Applications [electronic resource] : 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings / by Tison, Sophie [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2378 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	302.	Typed Lambda Calculi and Applications [electronic resource] : 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings / by Abramsky, Samson [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2044 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	303.	Software Reuse: Advances in Software Reusability [electronic resource] : 6th International Conference, ICSR-6 Vienna, Austria, June 27-29, 2000 Proceedings / by Frakes, William B [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1844 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	304.	Principles and Practice of Constraint Programming - CP 2002 [electronic resource] : 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings / by Hentenryck, Pascal Van [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2470 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	305.	Algorithms - ESA 2000 [electronic resource] : 8th Annual European Symposium Saarbrücken, Germany, September 5-8, 2000 Proceedings / by Paterson, Mike [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1879 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	306.	Randomization and Approximation Techniques in Computer Science [electronic resource] : 6th International Workshop, RANDOM 2002, Cambridge, MA, USA, September 13-15, 2002, Proceedings / by Rolim, Jose D.P [editor.] Vadhan, Salil [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2483 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	307.	CONCUR 2004 -- Concurrency Theory [electronic resource] : 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings / by Gardner, Philippa [editor.] Yoshida, Nobuko [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3170 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)
	308.	Integrated Formal Methods [electronic resource] : Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings / by Grieskamp, Wolfgang [editor.] Santen, Thomas [editor.] Stoddart, Bill [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1945 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	309.	ECOOP 2002 - Object-Oriented Programming [electronic resource] : 16th European Conference Malaga, Spain, June 10-14, 2002 Proceedings / by Magnusson, Boris [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2374 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	310.	Static Analysis [electronic resource] : 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings / by Cousot, Patrick [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2126 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	311.	Policies for Distributed Systems and Networks [electronic resource] : International Workshop, POLICY 2001 Bristol, UK, January 29-31, 2001 Proceedings / by Sloman, Morris [editor.] Lobo, Jorge [editor.] Lupu, Emil C [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1995 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	312.	Advances in Neural Networks - ISNN 2004 [electronic resource] : International Symposium on Neural Networks, Dalian, China, August 19-21, 2004, Proceedings, Part I / by Yin, Fuliang [editor.] Wang, Jun [editor.] Guo, Chengan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3173 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)
	313.	Objects and Databases [electronic resource] : International Symposium, Sophia Antipolis, France, June 13, 2000. Revised Papers / by Dittrich, Klaus R [editor.] Guerrini, Giovanna [editor.] Merlo, Isabella [editor.] Oliva, Marta [editor.] Rodriguez, M. Elena [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1944 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	314.	Modular Programming Languages [electronic resource] : Joint Modular Languages Conference, JMLC 2000 Zurich, Switzerland, September 6-8, 2000 Proceedings / by Gutknecht, Jürg [editor.] Weck, Wolfgang [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1897 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	315.	Programming Languages and Systems [electronic resource] : 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings / by Degano, Pierpaolo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2618 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	316.	Typed Lambda Calculi and Applications [electronic resource] : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings / by Groote, Philippe de [editor.] Hindley, J. Roger [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1210 Edition: 1st ed. 1997. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	317.	Approximation Algorithms for Combinatorial Optimization [electronic resource] : 5th International Workshop, APPROX 2002, Rome, Italy, September 17-21, 2002. Proceedings / by Jansen, Klaus [editor.] Leonardi, Stefano [editor.] Vazirani, Vijay [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2462 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	318.	Mathematics of Program Construction [electronic resource] : 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings / by Jeuring, Johan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1422 Edition: 1st ed. 1998. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	319.	Active Technologies for Network and Service Management [electronic resource] : 10th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM'99, Zurich, Switzerland, October 11-13, 1999, Proceedings / by Stadler, Rolf [editor.] Stiller, Burkhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1700 Edition: 1st ed. 1999. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	320.	Logic-Based Program Synthesis and Transformation [electronic resource] : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers / by Bossi, Annalisa [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1817 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 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 388 results.