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

			Integer programming and combinatorial optimization: 7th International IPCO Conference, Graz, Austria, June, 1999 proceedings by Cornuejols, Gerard \| Burkard, Rainer E \| Woeginger, Gerhard J Eds. Series: Lecture notes in computer science ; 01610Material 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
			Integer programming and combinatorial optimization: 6th International IPCO Conference, Houston, Texas, June 22-24, 1998 : proceedings by Bixby, Robert E [et al] Eds. Series: Lecture notes in computer science ; 01412Material 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
			FM'99--formal methods: World Congress on Formal Methods in the Development of Computing Systems France, September, 1999 : proceedings by Wing, Jeannette M \| Woodcock, Jim \| Davies, Jim Eds. Series: Lecture notes in computer science ; 01708Material 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
			Foundations of computer science potential--theory--cognition by Freksa, Christian \| Jantzen,Matthias \| Valk, Rudiger Eds. Series: Lecture notes in computer science ; 01337Material 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
			Fundamentals of computation theory: 11th International Symposium, FCT '97, Krak�w, Poland, September 1-3, 1997 : proceedings by Chlebus, Bogdan S \| Czaja, Ludwik Eds. Series: Lecture notes in computer science ; 01279Material 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
			Fundamentals of computation theory: 12th international symposium, FCT'99, Iasi, Romania, August 30-September 3, 1999 : proceedings by Ciobanu, Gabriel \| Paun, Gheorghe Eds. Series: Lecture notes in computer science ; 01684Material 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
			Matthematical foundations of computer science 1997 : 22nd international symposium, MFCS'97, Bratislava, August 1997 Proceedings by Privara, Igor \| Ruzicka, Peter Eds. Series: Lecture notes in computer science ; 01295Material 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
			Mathematical foundations of computer science 1999 by Kutylowski, Miroslaw \| Pacholski, Leszek \| Wierzbicki, Tomasz Eds. Series: Lecture notes in computer science ; 01672Material 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
			Principles and practice of constraint programming--CP96: second international conference, CP96, Cambridge, USA, August, 1996 proceedings by Freuder, Eugene C Ed. Series: Lecture notes in computer science ; 01118Material 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: 18 Call number: 681 LNCS. Place hold Log in to add tags
			Algorithms - ESA '99: 7th annual European symposium, Prague, Czech Republic, July 16-18, 1999 : proceedings by Nesetril, Jaroslav Ed. Series: Lecture notes in computer science ; 01643Material 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
			Randomization and approximation techniques in computer science: second international workshop, RANDOM '98, Barcelona, Spain, October 8-10, 1998 proceedings by Luby, Michael \| Rolim, Jose \| Serna, Maria Eds. Series: Lecture notes in computer science ; 01518Material 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
			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

			Integer programming and combinatorial optimization: 7th International IPCO Conference, Graz, Austria, June, 1999 proceedings by Cornuejols, Gerard \| Burkard, Rainer E \| Woeginger, Gerhard J Eds. Series: Lecture notes in computer science ; 01610Material 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
			Integer programming and combinatorial optimization: 6th International IPCO Conference, Houston, Texas, June 22-24, 1998 : proceedings by Bixby, Robert E [et al] Eds. Series: Lecture notes in computer science ; 01412Material 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
			FM'99--formal methods: World Congress on Formal Methods in the Development of Computing Systems France, September, 1999 : proceedings by Wing, Jeannette M \| Woodcock, Jim \| Davies, Jim Eds. Series: Lecture notes in computer science ; 01708Material 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
			Foundations of computer science potential--theory--cognition by Freksa, Christian \| Jantzen,Matthias \| Valk, Rudiger Eds. Series: Lecture notes in computer science ; 01337Material 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
			Fundamentals of computation theory: 11th International Symposium, FCT '97, Krak�w, Poland, September 1-3, 1997 : proceedings by Chlebus, Bogdan S \| Czaja, Ludwik Eds. Series: Lecture notes in computer science ; 01279Material 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
			Fundamentals of computation theory: 12th international symposium, FCT'99, Iasi, Romania, August 30-September 3, 1999 : proceedings by Ciobanu, Gabriel \| Paun, Gheorghe Eds. Series: Lecture notes in computer science ; 01684Material 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
			Matthematical foundations of computer science 1997 : 22nd international symposium, MFCS'97, Bratislava, August 1997 Proceedings by Privara, Igor \| Ruzicka, Peter Eds. Series: Lecture notes in computer science ; 01295Material 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
			Mathematical foundations of computer science 1999 by Kutylowski, Miroslaw \| Pacholski, Leszek \| Wierzbicki, Tomasz Eds. Series: Lecture notes in computer science ; 01672Material 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
			Principles and practice of constraint programming--CP96: second international conference, CP96, Cambridge, USA, August, 1996 proceedings by Freuder, Eugene C Ed. Series: Lecture notes in computer science ; 01118Material 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: 18 Call number: 681 LNCS. Place hold Log in to add tags
			Algorithms - ESA '99: 7th annual European symposium, Prague, Czech Republic, July 16-18, 1999 : proceedings by Nesetril, Jaroslav Ed. Series: Lecture notes in computer science ; 01643Material 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
			Randomization and approximation techniques in computer science: second international workshop, RANDOM '98, Barcelona, Spain, October 8-10, 1998 proceedings by Luby, Michael \| Rolim, Jose \| Serna, Maria Eds. Series: Lecture notes in computer science ; 01518Material 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
			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

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 10753 results.