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

			Computer Science Logic 10th Int. Workshop, CSL'96, The Netherlands by van Dalen, Dirk. Ed \| Bezem, Marc. Ed. Series: Lecture notes in computer science ; 01258Material 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
			Logical Foundations of Computer Science Proceedings, 4th Int. Symp., LFCS '97, Yaroslavl, 1997 by Adian, Sergei. Ed \| Nerode, Anil. Ed. Series: Lecture notes in computer science ; 01234Material 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
			Structures in Logic and Computer Science Selection of Essays in honor of A. Ehrenfeucht by Mycielski, Jan. et al Eds. Series: Lecture notes in computer science ; 01261Material 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
			Efficient Structures for Geometric Data Management by Gunther, Oliver. Series: Lecture notes in computer science ; 00337Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1988Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 7 Call number: 681 LNCS. Place hold Log in to add tags
			Algorithms - ESA '95 Proceedings, Third Annual European Symp.,Corfu,Greece, 1995 by Spirakis, Paul. Ed. Series: Lecture notes in computer science ; 00979Material 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
			Algorithms - ESA '96 Proceedings,Fourth Annual European Symp.,Barcelona,Spain,'96 by Diaz, Josep. Ed \| Serna, Maria. Ed. Series: Lecture notes in computer science ; 01136Material 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, 1997 Proceedings, Fifth Annual European Symp., Graz,Austria,1997 by Burkard, Rainer, Ed \| Woeginger, Gerhard. Ed. Series: Lecture notes in computer science ; 01284Material 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
			Theoretical Aspects of Computer Science, 15th Annual Sympoisum on- Proceedings, Paris, 1998 by Morvan, Michel. Ed \| Meinel, Christoph. Ed \| Krob, Daniel. Ed. Series: Lecture notes in computer science ; 01373Material 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
			Logic in Databases, International Workshop on- Proceedings, San Miniato, Italy, 1996 by Pedreschi, Dino. Ed \| Zaniolo, Carlo. Ed. Series: Lecture notes in computer science ; 01154Material 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
			Hybrid and Real-Time Systems, International Workshop- Proceedings, Grenoble, France, 1997 by Maler, Oded. Ed. Series: Lecture notes in computer science ; 01201Material 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: 18 Call number: 681 LNCS. Place hold Log in to add tags
			Formal Methods in Computer-Aided Design, First International Conference on- Proceedings, Palo Alto, CA, USA, 1996 by Srivas, Mandayam. Ed \| Camilleri, Albert. Ed. Series: Lecture notes in computer science ; 01166Material 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: 18 Call number: 681 LNCS. Place hold Log in to add tags
			Security Protocols, International Workshop on- Proceedings, Cambridge, UK, 1996 by Lomas, Mark. Ed. Series: Lecture notes in computer science ; 01189Material 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: 18 Call number: 681 LNCS. Place hold Log in to add tags
			Concurrency Theory, 7th International Conference on- Proceedings, Pisa, Italy, 1996 by Montanari, Ugo. Ed \| Sassone, Vladimiro. Ed. Series: Lecture notes in computer science ; 01119Material 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
			Logics in Artificial Intelligence, European Workshop on Proceedings, Evora, Portugal, 1996 by Alferes, Jose Julio. Ed \| Pereira, L M. Ed \| Orlowska, Ewa. Ed. Series: Lecture notes in computer science ; 01126Material 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
			Information Theory and Applications II, Fourth Canadian Workshop on- Quebec, Canada, 1995 by Chouinard, Jean-Yves. Ed \| Fortier, Paul. Ed \| Gulliver, T Aaron. Ed. Series: Lecture notes in computer science ; 01133Material 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
			Application and Theory of Petri Nets 1996, 17th International Conference on- Proceedings, Osaka, Japan, 1996 by Billington, Jonathan. Ed \| Reisig, Wolfgang. Ed. Series: Lecture notes in computer science ; 01091Material 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
			8th International Conference on computer aided verification Proceedings, New Brunswick, NJ, USA, 1996 by Alur, Rajeev. Ed \| Henzinger, Thomas A. Ed. Series: Lecture notes in computer science ; 01102Material 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
			Partial evaluation, international seminar on Dagstuhl Castle, Germany, 1996 by Danvy, Olivier. Ed \| Gluck, Robert, Ed \| Thiemann, Peter. Ed. Series: Lecture notes in computer science ; 01110Material 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
			Artificial Intelligence and Symbolic Mathematical Computation, International Conference on- Proceedings, Steyr, Austria, 1996 by Calmet, Jacques. Ed \| Campbell, John A. Ed \| Pfalzgraf, Jochen. Ed. Series: Lecture notes in computer science ; 01138Material 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
			Proof Verification and Approximation Algorithms by Mayr, Ernst W. Ed \| Promel, Hans Jurgen. Ed \| Steger, Angelika. Ed. Series: Lecture notes in computer science ; 01367Material 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

			Computer Science Logic 10th Int. Workshop, CSL'96, The Netherlands by van Dalen, Dirk. Ed \| Bezem, Marc. Ed. Series: Lecture notes in computer science ; 01258Material 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
			Logical Foundations of Computer Science Proceedings, 4th Int. Symp., LFCS '97, Yaroslavl, 1997 by Adian, Sergei. Ed \| Nerode, Anil. Ed. Series: Lecture notes in computer science ; 01234Material 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
			Structures in Logic and Computer Science Selection of Essays in honor of A. Ehrenfeucht by Mycielski, Jan. et al Eds. Series: Lecture notes in computer science ; 01261Material 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
			Efficient Structures for Geometric Data Management by Gunther, Oliver. Series: Lecture notes in computer science ; 00337Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1988Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 7 Call number: 681 LNCS. Place hold Log in to add tags
			Algorithms - ESA '95 Proceedings, Third Annual European Symp.,Corfu,Greece, 1995 by Spirakis, Paul. Ed. Series: Lecture notes in computer science ; 00979Material 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
			Algorithms - ESA '96 Proceedings,Fourth Annual European Symp.,Barcelona,Spain,'96 by Diaz, Josep. Ed \| Serna, Maria. Ed. Series: Lecture notes in computer science ; 01136Material 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, 1997 Proceedings, Fifth Annual European Symp., Graz,Austria,1997 by Burkard, Rainer, Ed \| Woeginger, Gerhard. Ed. Series: Lecture notes in computer science ; 01284Material 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
			Theoretical Aspects of Computer Science, 15th Annual Sympoisum on- Proceedings, Paris, 1998 by Morvan, Michel. Ed \| Meinel, Christoph. Ed \| Krob, Daniel. Ed. Series: Lecture notes in computer science ; 01373Material 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
			Logic in Databases, International Workshop on- Proceedings, San Miniato, Italy, 1996 by Pedreschi, Dino. Ed \| Zaniolo, Carlo. Ed. Series: Lecture notes in computer science ; 01154Material 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
			Hybrid and Real-Time Systems, International Workshop- Proceedings, Grenoble, France, 1997 by Maler, Oded. Ed. Series: Lecture notes in computer science ; 01201Material 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: 18 Call number: 681 LNCS. Place hold Log in to add tags
			Formal Methods in Computer-Aided Design, First International Conference on- Proceedings, Palo Alto, CA, USA, 1996 by Srivas, Mandayam. Ed \| Camilleri, Albert. Ed. Series: Lecture notes in computer science ; 01166Material 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: 18 Call number: 681 LNCS. Place hold Log in to add tags
			Security Protocols, International Workshop on- Proceedings, Cambridge, UK, 1996 by Lomas, Mark. Ed. Series: Lecture notes in computer science ; 01189Material 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: 18 Call number: 681 LNCS. Place hold Log in to add tags
			Concurrency Theory, 7th International Conference on- Proceedings, Pisa, Italy, 1996 by Montanari, Ugo. Ed \| Sassone, Vladimiro. Ed. Series: Lecture notes in computer science ; 01119Material 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
			Logics in Artificial Intelligence, European Workshop on Proceedings, Evora, Portugal, 1996 by Alferes, Jose Julio. Ed \| Pereira, L M. Ed \| Orlowska, Ewa. Ed. Series: Lecture notes in computer science ; 01126Material 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
			Information Theory and Applications II, Fourth Canadian Workshop on- Quebec, Canada, 1995 by Chouinard, Jean-Yves. Ed \| Fortier, Paul. Ed \| Gulliver, T Aaron. Ed. Series: Lecture notes in computer science ; 01133Material 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
			Application and Theory of Petri Nets 1996, 17th International Conference on- Proceedings, Osaka, Japan, 1996 by Billington, Jonathan. Ed \| Reisig, Wolfgang. Ed. Series: Lecture notes in computer science ; 01091Material 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
			8th International Conference on computer aided verification Proceedings, New Brunswick, NJ, USA, 1996 by Alur, Rajeev. Ed \| Henzinger, Thomas A. Ed. Series: Lecture notes in computer science ; 01102Material 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
			Partial evaluation, international seminar on Dagstuhl Castle, Germany, 1996 by Danvy, Olivier. Ed \| Gluck, Robert, Ed \| Thiemann, Peter. Ed. Series: Lecture notes in computer science ; 01110Material 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
			Artificial Intelligence and Symbolic Mathematical Computation, International Conference on- Proceedings, Steyr, Austria, 1996 by Calmet, Jacques. Ed \| Campbell, John A. Ed \| Pfalzgraf, Jochen. Ed. Series: Lecture notes in computer science ; 01138Material 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
			Proof Verification and Approximation Algorithms by Mayr, Ernst W. Ed \| Promel, Hans Jurgen. Ed \| Steger, Angelika. Ed. Series: Lecture notes in computer science ; 01367Material 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

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 10762 results.