IMSc Library catalog › Results of search for 'ccl=se,phr:"Lecture notes in computer science ;"'

			Verification, model checking, and abstract interpretation; 5th international conference, VMCAI 2004 Venice, Italy January 2004: proceedings by Steffen, Bernhard \| Levi, Giorgio Eds. Series: Lecture notes in computer science ; 02937Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 28 Call number: 681 LNCS. Place hold Log in to add tags
			Verification: theory and practice by Dershowitz, Nachum Ed. Series: Lecture notes in computer science ; 02772Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2003Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 27 Call number: 681 LNCS. Place hold Log in to add tags
			Formal and natural computing : Essays dedicated to Grzegorz Rozenberg by Brauer, Wilfried [et al] Eds. Series: Lecture notes in computer science ; 02300Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2002Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 27 Call number: 681 LNCS. Place hold Log in to add tags
			Advances in cryptology - eurocrypt 2004: international conference on the theory and applications of cryptographic techniques, Interlaken, Switzerland, may 2-6, 2004. proceedings by Cachin, Christian \| Camenisch, Jan Eds. Series: Lecture notes in computer science ; 03027Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer-Verlag ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 28 Call number: 681 LNCS. Place hold Log in to add tags
			Probabilistic and statistical methods in cryptology an introduction by selected topics by Daniel, Neuenschwander. Series: Lecture notes in computer science ; 03028Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer-Verlag ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 28 Call number: 681 LNCS. Place hold Log in to add tags
			Formal modeling and analysis of timed systems: first international workshop, formats 2003, marseille, france, september 6-7, 2003, reivised papers by Larsen, Kim G \| Niebert, Peter Eds. Series: Lecture notes in computer science ; 02791Edition: 1st ed.Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer-Verlag ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 28 Call number: 681 LNCS. Place hold Log in to add tags
			Compositionality: the significant difference: international symposium, COMPOS '97, Bad Malente, Germany, September 1997 : revised lectures by De Roever Willem-Paul \| Langmaack, Hans \| Pnueli, Amir Eds. Series: Lecture notes in computer science ; 01536Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 21 Call number: 681 LNCS. Place hold Log in to add tags
			Foundations of software science and computation structures: Second International Conference, FOSSACS '99 ... Amsterdam, The Netherlands, March, 1999 proceedings by Thomas, Wolfgang Ed. Series: Lecture notes in computer science ; 01578Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 22 Call number: 681 LNCS. Place hold Log in to add tags
			Generalized quantifiers and computation: 9th European Summer School in Logic, Language, and Information, ESSLLI'97 workshop France, August 11-22, 1997 : revised lectures by Vaananen, Jouko Ed. Series: Lecture notes in computer science ; 01754Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor Rack No:48 Shelf No:23 Call number: 681 LNCS. Place hold Log in to add tags
			Concur' 97: concurrency theory: 8th international conference Warsaw, Poland July 1-4, 1997 Proceedings by Mazurkiewicz, Antoni \| Winkowski, Jozef Eds. Series: Lecture notes in computer science ; 01243Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 19 Call number: 681 LNCS. Place hold Log in to add tags
			Selected areas in cryptography: 5th annual international workshop, SAC'98, Kingston, Ontario, Canada, August 17-18, 1998 proceedings by Tavares, Stafford \| Meijer, Henk Eds. Series: Lecture notes in computer science ; 01556Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 22 Call number: 681 LNCS. Place hold Log in to add tags
			Advances in cryptology : EUROCRYPT'94: workshop on the theory and application of cryptographic techniques, Perugia, Italy, May 1994 Proceedings by De Santis Alfredo Ed. Series: Lecture notes in computer science ; 00950Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 16 Call number: 681 LNCS. Place hold Log in to add tags
			Advances in cryptology--ASIACRYPT'99: International Conference on the Theory and Application of Cryptology and Information Security, Singapore, November,1999 proceedings by Lam, Kwok Yan \| Okamoto, Eiji \| Xing, Chaoping Eds. Series: Lecture notes in computer science ; 01716Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): 7Second floor, Rack No: 48, Shelf No: 23 Call number: 681 LNCS. Place hold Log in to add tags
			Advances in cryptology : CRYPTO'97: 17th annual international cryptography conference, Santa Barbara, California, USA, August 1997 Proceedings by Kaliski, Burton S Ed. Series: Lecture notes in computer science ; 01294Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 19 Call number: 681 LNCS. Place hold Log in to add tags
			Advances in cryptology--ASIACRYPT'98: International Conference on the Theory and Application of Cryptology and Information Security, Beijing, China, October 18-22, 1998 proceedings by Ohta, Kazuo \| Pei, Dingyi Eds. Series: Lecture notes in computer science ; 01514Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 21 Call number: 681 LNCS. Place hold Log in to add tags
			LATIN '98, theoretical informatics: Third Latin American symposium, Campinas, Brazil, April 20-24, 1998 proceedings by Lucchesi, Claudio L \| Moura, Arnaldo V Eds. Series: Lecture notes in computer science ; 01380Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 20 Call number: 681 LNCS. Place hold Log in to add tags
			Algorithms and data structures: 6th International Workshop, WADS'99, Vancouver, Canada, August, 1999 proceedings by Dehne, Frank [et al] Eds. Series: Lecture notes in computer science ; 01663Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): 7Second floor, Rack No: 48, Shelf No: 23 Call number: 681 LNCS. Place hold Log in to add tags
			Bounded incremental computation by Ramalingam, G. Series: Lecture notes in computer science ; 01089Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 17 Call number: 681 LNCS. Place hold Log in to add tags
			Algorithms--ESA '98: 6th annual European symposium, Venice, Italy, August 24-26, 1998 : proceedings by Bilardi, Gianfranco[etal] Eds. Series: Lecture notes in computer science ; 01461Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 21 Call number: 681 LNCS. Place hold Log in to add tags
			Algorithms and data structures :5th International Workshop, WADS '97, Halifax, Nova Scotia, Canada, August 6-8, 1997 proceedings by Dehne, Frank et al, Eds. Series: Lecture notes in computer science ; 01272Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 19 Call number: 681 LNCS. Place hold Log in to add tags

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 10762 results.