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

			Randomization, approximation, and combinatorial optimization: algorithms and techniques 3rd International Workshop on Randomization & Approximation Techniques in Computer Science, RANDOM-APPROX'99, Berkeley USA, August, 1999:proceedings by Hochbaum, Dorit [et al] Eds. Series: Lecture notes in computer science ; 01671Material 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
			Concur 99 Concurrency theory by Baeten, Jos C M \| Mauw, Sjouke Eds. Series: Lecture notes in computer science ; 01664Material 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
			Computer aided verification : 9th international conference, CAV'97, Israel, June 1997 Proceedings by Grumberg, Orna Ed. Series: Lecture notes in computer science ; 01254Material 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
			Partial evaluation: practice and theory : DIKU 1998 International Summer School, Copenhagen, Denmark,June 29-July 10, 1998 by Hatcliff, John \| Mogensen, Torben \| Thiemann, Peter Eds. Series: Lecture notes in computer science ; 01706Material 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: 21 Call number: 681 LNCS. Place hold Log in to add tags
			Prospects for hardware foundations: ESPRIT Working Group 8533 : NADA--new hardware design methods, survey chapters by Moller, Bernhard \| Tucker, John V Eds. Series: Lecture notes in computer science ; 01546Material 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: 22 Call number: 681 LNCS. Place hold Log in to add tags
			Security protocols: 6th international workshop, Cambridge, UK, April 15-17, 1998 proceedings by Christianson, B [et al] Eds. Series: Lecture notes in computer science ; 01550Material 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
			Semantics of systems of concurrent processes LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990 proceedings by Guessarian, I Ed. Series: Lecture notes in computer science ; 00469Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 12 Call number: 681 LNCS. Place hold Log in to add tags
			Theoretical and practical aspects of SPIN model checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings by Dams, Dennis \| Gerth, Rob \| Leue, Stefan Eds. Series: Lecture notes in computer science ; 01680Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag ; 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
			Computational logic and proof theory: 5th Kurt G�del Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings by Gottlob, Georg \| Leitsch, Alexander \| Mundici, Daniele Eds. Series: Lecture notes in computer science ; 01289Material 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
			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

			Randomization, approximation, and combinatorial optimization: algorithms and techniques 3rd International Workshop on Randomization & Approximation Techniques in Computer Science, RANDOM-APPROX'99, Berkeley USA, August, 1999:proceedings by Hochbaum, Dorit [et al] Eds. Series: Lecture notes in computer science ; 01671Material 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
			Concur 99 Concurrency theory by Baeten, Jos C M \| Mauw, Sjouke Eds. Series: Lecture notes in computer science ; 01664Material 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
			Computer aided verification : 9th international conference, CAV'97, Israel, June 1997 Proceedings by Grumberg, Orna Ed. Series: Lecture notes in computer science ; 01254Material 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
			Partial evaluation: practice and theory : DIKU 1998 International Summer School, Copenhagen, Denmark,June 29-July 10, 1998 by Hatcliff, John \| Mogensen, Torben \| Thiemann, Peter Eds. Series: Lecture notes in computer science ; 01706Material 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: 21 Call number: 681 LNCS. Place hold Log in to add tags
			Prospects for hardware foundations: ESPRIT Working Group 8533 : NADA--new hardware design methods, survey chapters by Moller, Bernhard \| Tucker, John V Eds. Series: Lecture notes in computer science ; 01546Material 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: 22 Call number: 681 LNCS. Place hold Log in to add tags
			Security protocols: 6th international workshop, Cambridge, UK, April 15-17, 1998 proceedings by Christianson, B [et al] Eds. Series: Lecture notes in computer science ; 01550Material 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
			Semantics of systems of concurrent processes LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990 proceedings by Guessarian, I Ed. Series: Lecture notes in computer science ; 00469Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 12 Call number: 681 LNCS. Place hold Log in to add tags
			Theoretical and practical aspects of SPIN model checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings by Dams, Dennis \| Gerth, Rob \| Leue, Stefan Eds. Series: Lecture notes in computer science ; 01680Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag ; 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
			Computational logic and proof theory: 5th Kurt G�del Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings by Gottlob, Georg \| Leitsch, Alexander \| Mundici, Daniele Eds. Series: Lecture notes in computer science ; 01289Material 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
			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

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 10762 results.