Results of search for 'ccl=au:"SpringerLink (Online service)" and se:Lecture Notes in Computer Science, and available and su-to:Computer Science and su-to:Computer Science' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	21.	EurAsia-ICT 2002: Information and Communication Technology [electronic resource] : First EurAsian Conference, Shiraz, Iran, October 29-31, 2002, Proceedings / by Shafazand, M. Hassan [editor.] Tjoa, A Min [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2510 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)
	22.	Live Data Structures in Logic Programs [electronic resource] : Derivation by Means of Abstract Interpretation / by Mulkers, Anne [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 675 Edition: 1st ed. 1993. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	23.	Hybrid Systems III [electronic resource] : Verification and Control / by Alur, Rajeev [editor.] Henzinger, Thomas A [editor.] Sontag, Eduardo D [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1066 Edition: 1st ed. 1996. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	24.	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)
	25.	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)
	26.	Advances in Web-Age Information Management [electronic resource] : 4th International Conference, WAIM 2003, Chengdu, China, August 17-19, 2003, Proceedings / by Dong, Guozhu [editor.] Tang, Chanjie [editor.] Wang, Wei [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2762 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)
	27.	High Performance Computing -- HiPC 2003 [electronic resource] : 10th International Conference, Hyderabad, India, December 17-20, 2003, Proceedings / by Pinkston, Timothy Mark [editor.] Prasanna, Viktor K [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2913 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)
	28.	Programming Language Implementation and Logic Programming [electronic resource] : International Workshop PLILP `90, Linköping, Sweden, August 20-22, 1990. Proceedings / by Deransart, Pierre [editor.] Maluszynski, Jan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 456 Edition: 1st ed. 1990. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	29.	Foundations of Object-Oriented Languages [electronic resource] : REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990 / by Bakker, J.W. de [editor.] Roever, W.P. de [editor.] Rozenberg, G [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 489 Edition: 1st ed. 1991. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	30.	Recent Advances in Intrusion Detection [electronic resource] : 4th International Symposium, RAID 2001 Davis, CA, USA, October 10-12, 2001 Proceedings / by Lee, Wenke [editor.] Me, Ludovic [editor.] Wespi, Andreas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2212 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)
	31.	Quality-Driven Query Answering for Integrated Information Systems [electronic resource] / by Naumann, Felix [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2261 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)
	32.	Security Protocols [electronic resource] : 7th International Workshop Cambridge, UK, April 19-21, 1999 Proceedings / by Christianson, Bruce [editor.] Crispo, Bruno [editor.] Malcolm, James A [editor.] Roe, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1796 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)
	33.	Computing and Combinatorics [electronic resource] : 10th Annual International Conference, COCOON 2004, Jeju Island, Korea, August 17-20, 2004, Proceedings / by Chwa, Kyung-Yong [editor.] Munro [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3106 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)
	34.	Advances in Cryptology — CRYPTO ’95 [electronic resource] : 15th Annual International Cryptology Conference, Santa Barbara, California, USA, August 27–31, 1995. Proceedings / by Coppersmith, Don [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 963 Edition: 1st ed. 1995. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	35.	Research and Advanced Technology for Digital Libraries [electronic resource] : 6th European Conference, ECDL 2002, Rome, Italy, September 16-18, 2002, Proceedings / by Thanos, Costantino [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2458 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)
	36.	Advances in Cryptology — CRYPTO ’94 [electronic resource] : 14th Annual International Cryptology Conference, Santa Barbara, California, USA, August 21–25, 1994. Proceedings / by Desmedt, Yvo G [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 839 Edition: 1st ed. 1994. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	37.	Applications and Theory of Petri Nets 2001 [electronic resource] : 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 Proceedings / by Colom, Jose-Manuel [editor.] Koutny, Maciej [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2075 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)
	38.	Recent Advances in Intrusion Detection [electronic resource] : Third International Workshop, RAID 2000 Toulouse, France, October 2-4, 2000 Proceedings / by Debar, Herve [editor.] Me, Ludovic [editor.] Wu, S. Felix [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1907 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)
	39.	CASL User Manual [electronic resource] : Introduction to Using the Common Algebraic Specification Language / by Bidoit, Michel [author.] Mosses, Peter D [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2900 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)
	40.	CASL Reference Manual [electronic resource] : The Complete Documentation of the Common Algebraic Specification Language / by Mosses, Peter D [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2960 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 61 results.