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

Results
	7381.	High Performance Computing - HiPC'99 [electronic resource] : 6th International Conference, Calcutta, India, December 17-20, 1999 Proceedings / by Banerjee, Prith [editor.] Prasanna, Viktor K [editor.] Sinha, Bhabani P [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1745 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)
	7382.	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)
	7383.	Theorem Proving in Higher Order Logics [electronic resource] : 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings / by Bertot, Yves [editor.] Dowek, Gilles [editor.] Hirschowitz, Andre [editor.] Paulin, Christine [editor.] Thery, Laurent [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1690 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)
	7384.	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)
	7385.	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)
	7386.	Algorithms and Data Structures [electronic resource] : 5th International Workshop, WADS '97, Halifax, Nova Scotia, Canada, August 6-8, 1997. Proceedings / by Dehne, Frank [editor.] Rau-Chaplin, Andrew [editor.] Sack, Jörg-Rüdiger [editor.] Tamassia, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1272 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)
	7387.	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)
	7388.	Advances in Cryptology - CRYPTO 2001 [electronic resource] : 21st Annual International Cryptology Conference, Santa Barbara, California, USA, August 19-23, 2001, Proceedings / by Kilian, Joe [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2139 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)
	7389.	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)
	7390.	Discovery Science [electronic resource] : Third International Conference, DS 2000 Kyoto, Japan, December 4-6, 2000 Proceedings / by Arikawa, Setsuo [editor.] Morishita, Shinichi [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1967 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)
	7391.	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)
	7392.	Information Assurance in Computer Networks: Methods, Models and Architectures for Network Security [electronic resource] : International Workshop MMM-ACNS 2001 St. Petersburg, Russia, May 21-23, 2001 Proceedings / by Gorodetski, Vladimir I [editor.] Skormin, Victor A [editor.] Popyack, Leonard J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2052 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)
	7393.	Advances in Information Systems [electronic resource] : Second International Conference, ADVIS 2002, Izmir, Turkey, October 23-25, 2002. Proceedings / by Yakhno, Tatyana [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2457 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)
	7394.	Algorithms and Data Structures [electronic resource] : 7th International Workshop, WADS 2001 Providence, RI, USA, August 8-10, 2001 Proceedings / by Dehne, Frank [editor.] Sack, Jörg-Rüdiger [editor.] Tamassia, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2125 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)
	7395.	Advances in Pattern Recognition - ICAPR 2001 [electronic resource] : Second International Conference Rio de Janeiro, Brazil, March 11-14, 2001 Proceedings / by Singh, Sameer [editor.] Murshed, Nabeel [editor.] Kropatsch, Walter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2013 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)
	7396.	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)
	7397.	Biometric Authentication [electronic resource] : International ECCV 2002 Workshop Copenhagen, Denmark, June 1, 2002 Proceedings / by Tistarelli, Massimo [editor.] Bigun, Josef [editor.] Jain, Anil K [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2359 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)
	7398.	Interactive Systems: Design, Specification, and Verification [electronic resource] : 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002 / by Urban, Bodo [editor.] Vanderdonckt, Jean [editor.] Limbourg, Quentin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2545 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)
	7399.	Advanced Web Technologies and Applications [electronic resource] : 6th Asia-Pacific Web Conference, APWeb 2004, Hangzhou, China, April 14-17, 2004, Proceedings / by Yu, Jeffrey Xu [editor.] Lin, Xuemin [editor.] Lu, Hongjun [editor.] Zhang, Yanchun [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3007 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)
	7400.	Cryptography and Coding [electronic resource] : 9th IMA International Conference, Cirencester, UK, December 16-18, 2003, Proceedings / by Paterson, Kenneth G [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2898 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 8328 results.