Results of search for 'ccl=se,phr:"Lecture Notes in Computer Science," and se:Lecture notes in computer science, and su-to:Compilers Computer programs ' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	141.	Theorem Proving in Higher Order Logics [electronic resource] : 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings / by Aagaard, Mark [editor.] Harrison, John [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1869 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)
	142.	Analysis and Verification of Multiple-Agent Languages [electronic resource] : 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers / by Dam, Mads [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1192 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)
	143.	ECOOP 2001 - Object-Oriented Programming [electronic resource] : 15th European Conference, Budapest, Hungary, June 18-22, 2001, Proceedings / by Lindskov Knudsen, Jorgen [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2072 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)
	144.	Software Engineering - ESEC/FSE '99 [electronic resource] : 7th European Software Engineering Conference Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 6-10, 1999 Proceedings / by Nierstrasz, Oskar [editor.] Lemoine, Michel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1687 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)
	145.	Types in Compilation [electronic resource] : Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings / by Leroy, Xavier [editor.] Ohori, Atsushi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1473 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)
	146.	ECOOP '99 - Object-Oriented Programming [electronic resource] : 13th European Conference Lisbon, Portugal, June 14-18, 1999 Proceedings / by Guerraoui, Rachid [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1628 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)
	147.	Implementation of Functional Languages [electronic resource] : 8th International Workshop, IFL'96 Bad Godesberg, Germany, September 16-18, 1996, Selected Papers / by Kluge, Werner [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1268 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)
	148.	Practical Aspects of Declarative Languages [electronic resource] : First International Workshop, PADL'99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings / by Gupta, Gopal [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1551 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)
	149.	Principles and Practice of Constraint Programming - CP'99 [electronic resource] : 5th International Conference, CP'99, Alexandria, VA, USA, October 11-14, 1999 Proceedings / by Jaffar, Joxan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1713 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)
	150.	Formal Methods for Components and Objects [electronic resource] : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures / by Boer, Frank S.de [editor.] Bonsangue, Marcello [editor.] Graf, Susanne [editor.] de Roever, Willem-Paul [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2852 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)
	151.	Computer Science Logic [electronic resource] : 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings / by Fribourg, Laurent [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2142 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)
	152.	Internet Programming Languages [electronic resource] : ICCL'98 Workshop,Chicago, IL, USA, May 13, 1998, Proceedings / by Bal, Henri E [editor.] Belkhouche, Boumediened [editor.] Cardelli, Luca [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1686 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)
	153.	Compiler Construction [electronic resource] : 12th International Conference, CC 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 Hedin, Görel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2622 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)
	154.	Model Checking Software [electronic resource] : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings / by Dwyer, Matthew [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2057 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)
	155.	Semantics, Applications, and Implementation of Program Generation [electronic resource] : International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings / by Taha, Walid [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1924 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)
	156.	Automata Implementation [electronic resource] : 4th International Workshop on Implementing Automata, WIA'99 Potsdam, Germany, July 17-19, 2001 Revised Papers / by Boldt, Oliver [editor.] Jürgensen, Helmut [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2214 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)
	157.	Static Analysis [electronic resource] : 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings / by Cousot, Radhia [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2694 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)
	158.	Logic Programming [electronic resource] : 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Proceedings / by Codognet, Philippe [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2237 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)
	159.	FM'99 - Formal Methods [electronic resource] : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II / by Wing, Jeannette M [editor.] Woodcook, Jim [editor.] Davies, Jim [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1709 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)
	160.	TAPSOFT'97: Theory and Practice of Software Development [electronic resource] : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings / by Bidoit, Michel [editor.] Dauchet, Max [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1214 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 349 results.