Results of search for 'ccl=su:{programs}' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	1361.	Applied Semantics [electronic resource] : International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures / by Barthe, Gilles [editor.] Dybjer, Peter [editor.] Pinto, Luis [editor.] Saraiva, João [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2395 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)
	1362.	Integrated Formal Methods [electronic resource] : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings. / by Butler, Michael [editor.] Petre, Luigia [editor.] Sere, Kaisa [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2335 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)
	1363.	FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 23rd Conference, Mumbai India, December 15-17, 2003, Proceedings / by Pandya, Paritosh K [editor.] Radhakrishnan, Jaikumar [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2914 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)
	1364.	ZB 2002: Formal Specification and Development in Z and B [electronic resource] : 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings / by Bert, Didier [editor.] Bowen, Jonathan P [editor.] Henson, Martin C [editor.] Robinson, Ken [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2272 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)
	1365.	Object-Oriented Technology: ECOOP ’97 Workshop Reader [electronic resource] : ECOOP’97 Workshops Jyväskylä, Finland, June 9–13, 1997 Proceedings / by Bosch, Jan [editor.] Mitchell, Stuart [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1357 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)
	1366.	Formal Methods and Software Engineering [electronic resource] : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings / by George, Chris [editor.] Miao, Huaikou [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2495 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)
	1367.	Global Computing. Programming Environments, Languages, Security, and Analysis of Systems [electronic resource] : IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003, Revised Papers / by Priami, Corrado [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2874 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)
	1368.	Advances in Computing Science - ASIAN'98 [electronic resource] : 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998, Proceedings / by Hsiang, Jieh [editor.] Ohori, Atsushi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1538 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)
	1369.	Implementation of Functional Languages [electronic resource] : 11th International Workshop, IFL'99 Lochem, The Netherlands, September 7-10, 1999 Selected Papers / by Koopman, Pieter [editor.] Clack, Chris [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1868 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)
	1370.	Practical Aspects of Declarative Languages [electronic resource] : Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings / by Pontelli, Enrico [editor.] Vitor, Santos C [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1753 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)
	1371.	Object-Oriented Technology. ECOOP'99 Workshop Reader [electronic resource] : ECOOP'99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999 Proceedings / by Moreira, Ana [editor.] Demeyer, Serge [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1743 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)
	1372.	CONCUR '98 Concurrency Theory [electronic resource] : 9th International Conference, Nice, France, September 8-11, 1998, Proceedings / by Sangiorgi, Davide [editor.] Simone, Robert de [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1466 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)
	1373.	Database Programming Languages [electronic resource] : 8th International Workshop, DBPL 2001, Frascati, Italy, September 8-10, 2001. Revised Papers / by Grahne, Gosta [editor.] Ghelli, Giorgia [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2397 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)
	1374.	Extreme Programming and Agile Methods - XP/Agile Universe 2003 [electronic resource] : Third XP and Second Agile Universe Conference, New Orleans, LA, USA, August 10-13, 2003, Proceedings / by Maurer, Frank [editor.] Wells, Don [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2753 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)
	1375.	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)
	1376.	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)
	1377.	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)
	1378.	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)
	1379.	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)
	1380.	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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 1605 results.