IMSc Library catalog › Results of search for 'ccl=Provider:Springer, and se:Lecture notes in computer science'

			Concur'95: concurrency theory: 6th international conference Philadelphia, USA, August 21-24, 1995 Proceedings by Lee, Insup \| Smolka, Scott A Eds. Series: Lecture notes in computer science ; 00962Material 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: 17 Call number: 681 LNCS. Place hold Log in to add tags
			Computer science logic: 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings by Gottlob, Georg \| Grandjean, Etienne \| Seyr, Katrin Eds. Series: Lecture notes in computer science ; 01584Material type: Text;Language: ; Format: print 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
			Automatic verificaton of sequential infinite-state processes by Burkart, Olaf. Series: Lecture notes in computer science ; 01354Material 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:20 Call number: 681 LNCS. Place hold Log in to add tags
			Partial-order methods for the verification of concurrent systems: an approach to the state-explosion problem by Godefroid, Patrice. Series: Lecture notes in computer science ; 01032Material 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
			Information Security and Privacy: 9th Australasian conference, ACISP 2004 Sydney, Australia, July 13-15, 2004 : proceedings by Wang,Huaxiong \| Pieprzyk, Josef \| Varadharajan, Vijay Eds. Series: Lecture notes in computer science ; 03108Material 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: 29 Call number: 681 LNCS. Place hold Log in to add tags
			Public Key Infrastructure: first European PKI workshop: research and applications, EuroPKI 2004 Samos Island, Greece, June 2004: proceedings by Katsikas, Sokratis K \| Gritzalis, Stefanos \| Lopez, Javier Eds. Series: Lecture notes in computer science ; 03093Material 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
			Applications and theory of petri Nets 2004: 25th international conference, ICATPN 2004 Bologna, Italy, June 21-25, 2004: proceedings by Cortadella, Jordi \| Reisig, Wolfgang Eds. Series: Lecture notes in computer science ; 03099Material 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: 29 Call number: 681 LNCS. Place hold Log in to add tags
			Computer Aided Verification: 16th international conference, CAV 2004 Boston, MA, USA, July 13-17, 2004: proceedings by Alur, Rajeev \| Peled, Doron A Eds. Series: Lecture notes in computer science ; 03114Material 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: 29 Call number: 681 LNCS. Place hold Log in to add tags
			Lectures on Concurrency and Petri Nets: advances in petri nets by Desel, Jorg \| Reisig, Wolfgang \| Rozenberg, Grzegorz Eds. Series: Lecture notes in computer science ; 03098Material 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
			Mathematics of Program Construction: 7th international conference, MPC 2004 Stirling, Scotland, UK, July 2004: proceedings by Kozen, Dexter Ed. Series: Lecture notes in computer science ; 03125Material 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: 29 Call number: 681 LNCS. Place hold Log in to add tags
			Objects Agents and Features: international seminar Dagstuhl Castle, Germany, February 16-21, 2003: revised and invited papers by Ryan, Mark D \| Meyer, John-Jules Ch \| Ehrich, Hans-Dieter Eds. Series: Lecture notes in computer science ; 02975Material 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
			Primality Testing in Polynomial Time: from randomized algorithms to Primes is in P by Dietzfelbinger, Martin. Series: Lecture notes in computer science ; 03000Material 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
			Structural Information and Communication Complexity: 11th international colloquium, SIROCCO 2004 Smolenice Castle, Slowakia, June 21-23, 2004: proceedings by Kralovic, Rastislav \| Sykora, Ondrej Eds. Series: Lecture notes in computer science ; 03104Material 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: 29 Call number: 681 LNCS. Place hold Log in to add tags
			Theory Is Forever: essays dedicated to Arto Salomaa on the occasion of his 70th birthday by Karhumaki, Juhani [et al.] Eds. Series: Lecture notes in computer science ; 03113Material 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: 29 Call number: 681 LNCS. Place hold Log in to add tags
			Fast software encryption: 11th international workshop, FSE 2004, Delhi, India, February 5-7, 2004, revised papers by Roy, Bimal \| Meier, Willi Eds. Series: Lecture notes in computer science ; 03017Material 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
			Typed lambda calculi and applications: 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings by Girard, Jean-Yves Ed. Series: Lecture notes in computer science ; 01581Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin, New York : ; 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
			Programming languages and systems: 9th European Symposium on Programming, ESOP 2000, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings by Smolka, Gert Ed. Series: Lecture notes in computer science ; 01782Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2000Availability: 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
			Distributed computing: 13th international symposium, DISC '99, Bratislava, Slovak Republic, September 27-29, 1999 : proceedings by Jayanthi, Prasad Ed. Series: Lecture notes in computer science ; 01693Material 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
			Algorithmic number theory: 5th international symposium, ANTS-V Sydney, Australia, July 7-12, 2002: proceedings by Fieker, Claus \| Kohel, David R Eds. Series: Lecture notes in computer science ; 02369Material 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
			Advances in cryptology - CRYPTO 2004: 24th annual international cryptology conference Santa Barbara, USA, August 2004 proceedings by Franklin, Matt Ed. Series: Lecture notes in computer science ; 03152Material 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: 29 Call number: 681 LNCS. Place hold Log in to add tags

			Concur'95: concurrency theory: 6th international conference Philadelphia, USA, August 21-24, 1995 Proceedings by Lee, Insup \| Smolka, Scott A Eds. Series: Lecture notes in computer science ; 00962Material 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: 17 Call number: 681 LNCS. Place hold Log in to add tags
			Computer science logic: 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings by Gottlob, Georg \| Grandjean, Etienne \| Seyr, Katrin Eds. Series: Lecture notes in computer science ; 01584Material type: Text;Language: ; Format: print 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
			Automatic verificaton of sequential infinite-state processes by Burkart, Olaf. Series: Lecture notes in computer science ; 01354Material 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:20 Call number: 681 LNCS. Place hold Log in to add tags
			Partial-order methods for the verification of concurrent systems: an approach to the state-explosion problem by Godefroid, Patrice. Series: Lecture notes in computer science ; 01032Material 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
			Information Security and Privacy: 9th Australasian conference, ACISP 2004 Sydney, Australia, July 13-15, 2004 : proceedings by Wang,Huaxiong \| Pieprzyk, Josef \| Varadharajan, Vijay Eds. Series: Lecture notes in computer science ; 03108Material 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: 29 Call number: 681 LNCS. Place hold Log in to add tags
			Public Key Infrastructure: first European PKI workshop: research and applications, EuroPKI 2004 Samos Island, Greece, June 2004: proceedings by Katsikas, Sokratis K \| Gritzalis, Stefanos \| Lopez, Javier Eds. Series: Lecture notes in computer science ; 03093Material 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
			Applications and theory of petri Nets 2004: 25th international conference, ICATPN 2004 Bologna, Italy, June 21-25, 2004: proceedings by Cortadella, Jordi \| Reisig, Wolfgang Eds. Series: Lecture notes in computer science ; 03099Material 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: 29 Call number: 681 LNCS. Place hold Log in to add tags
			Computer Aided Verification: 16th international conference, CAV 2004 Boston, MA, USA, July 13-17, 2004: proceedings by Alur, Rajeev \| Peled, Doron A Eds. Series: Lecture notes in computer science ; 03114Material 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: 29 Call number: 681 LNCS. Place hold Log in to add tags
			Lectures on Concurrency and Petri Nets: advances in petri nets by Desel, Jorg \| Reisig, Wolfgang \| Rozenberg, Grzegorz Eds. Series: Lecture notes in computer science ; 03098Material 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
			Mathematics of Program Construction: 7th international conference, MPC 2004 Stirling, Scotland, UK, July 2004: proceedings by Kozen, Dexter Ed. Series: Lecture notes in computer science ; 03125Material 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: 29 Call number: 681 LNCS. Place hold Log in to add tags
			Objects Agents and Features: international seminar Dagstuhl Castle, Germany, February 16-21, 2003: revised and invited papers by Ryan, Mark D \| Meyer, John-Jules Ch \| Ehrich, Hans-Dieter Eds. Series: Lecture notes in computer science ; 02975Material 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
			Primality Testing in Polynomial Time: from randomized algorithms to Primes is in P by Dietzfelbinger, Martin. Series: Lecture notes in computer science ; 03000Material 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
			Structural Information and Communication Complexity: 11th international colloquium, SIROCCO 2004 Smolenice Castle, Slowakia, June 21-23, 2004: proceedings by Kralovic, Rastislav \| Sykora, Ondrej Eds. Series: Lecture notes in computer science ; 03104Material 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: 29 Call number: 681 LNCS. Place hold Log in to add tags
			Theory Is Forever: essays dedicated to Arto Salomaa on the occasion of his 70th birthday by Karhumaki, Juhani [et al.] Eds. Series: Lecture notes in computer science ; 03113Material 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: 29 Call number: 681 LNCS. Place hold Log in to add tags
			Fast software encryption: 11th international workshop, FSE 2004, Delhi, India, February 5-7, 2004, revised papers by Roy, Bimal \| Meier, Willi Eds. Series: Lecture notes in computer science ; 03017Material 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
			Typed lambda calculi and applications: 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings by Girard, Jean-Yves Ed. Series: Lecture notes in computer science ; 01581Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin, New York : ; 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
			Programming languages and systems: 9th European Symposium on Programming, ESOP 2000, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings by Smolka, Gert Ed. Series: Lecture notes in computer science ; 01782Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2000Availability: 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
			Distributed computing: 13th international symposium, DISC '99, Bratislava, Slovak Republic, September 27-29, 1999 : proceedings by Jayanthi, Prasad Ed. Series: Lecture notes in computer science ; 01693Material 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
			Algorithmic number theory: 5th international symposium, ANTS-V Sydney, Australia, July 7-12, 2002: proceedings by Fieker, Claus \| Kohel, David R Eds. Series: Lecture notes in computer science ; 02369Material 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
			Advances in cryptology - CRYPTO 2004: 24th annual international cryptology conference Santa Barbara, USA, August 2004 proceedings by Franklin, Matt Ed. Series: Lecture notes in computer science ; 03152Material 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: 29 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 10753 results.