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

			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 Today - Recent Trends and Developments by Leeuwen, Jan Van. Ed. Series: Lecture notes in computer science ; 01000Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 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
			Algorithmic Number Theory Proceedings, Third International Symposium, Oregon, 1998 by Buhler, J P. Ed. Series: Lecture notes in computer science ; 01423Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 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
			Information Security and Privacy Proceedings, Second Australian Conference, Sydney, 1997 by Varadharajan, Vijay. Ed \| Pieprzyk, Josef. Ed \| Mu, Yi. Ed. Series: Lecture notes in computer science ; 01270Material 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
			Automata, Languages and Programming Proceedings, 25th International Colloquium, Denmark, 1998 by Larsen, Kim G. Ed \| Skyum, Sven. Ed \| Winskel, Glynn. Ed. Series: Lecture notes in computer science ; 01443Material 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
			Rewriting Techniques and Applications Proceedings, 8th International Conference, Spain, 1997 by Comon, Hubert. Ed. Series: Lecture notes in computer science ; 01232Material 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
			Graph-Theoretic Concepts in Computer Science Proceedings, 22nd International Workshop, Italy, 1996 by d'Amore, Fabrizio. Ed \| Franciosa, Paolo G. Ed \| Marchetti-Spaccamela, A. Ed. Series: Lecture notes in computer science ; 01197Material 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
			Coordination Languages and Models Proceedings, First International Conference, Italy, 1996 by Ciancarini, Paolo. Ed \| Hankin, Chris. Ed. Series: Lecture notes in computer science ; 01061Material 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
			Public Key Cryptography Proceedings, First International Workshop, Japan, 1998 by Imai, Hideki. Ed \| Zheng, Yuliang. Ed. Series: Lecture notes in computer science ; 01431Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 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
			Application and Theory of Petri Nets 1998 Proceedings, 19th International Conference, Portugal, 1998 by Desel, Jorg. Ed \| Silva, Manuel. Ed. Series: Lecture notes in computer science ; 01420Material 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

			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 Today - Recent Trends and Developments by Leeuwen, Jan Van. Ed. Series: Lecture notes in computer science ; 01000Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 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
			Algorithmic Number Theory Proceedings, Third International Symposium, Oregon, 1998 by Buhler, J P. Ed. Series: Lecture notes in computer science ; 01423Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 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
			Information Security and Privacy Proceedings, Second Australian Conference, Sydney, 1997 by Varadharajan, Vijay. Ed \| Pieprzyk, Josef. Ed \| Mu, Yi. Ed. Series: Lecture notes in computer science ; 01270Material 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
			Automata, Languages and Programming Proceedings, 25th International Colloquium, Denmark, 1998 by Larsen, Kim G. Ed \| Skyum, Sven. Ed \| Winskel, Glynn. Ed. Series: Lecture notes in computer science ; 01443Material 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
			Rewriting Techniques and Applications Proceedings, 8th International Conference, Spain, 1997 by Comon, Hubert. Ed. Series: Lecture notes in computer science ; 01232Material 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
			Graph-Theoretic Concepts in Computer Science Proceedings, 22nd International Workshop, Italy, 1996 by d'Amore, Fabrizio. Ed \| Franciosa, Paolo G. Ed \| Marchetti-Spaccamela, A. Ed. Series: Lecture notes in computer science ; 01197Material 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
			Coordination Languages and Models Proceedings, First International Conference, Italy, 1996 by Ciancarini, Paolo. Ed \| Hankin, Chris. Ed. Series: Lecture notes in computer science ; 01061Material 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
			Public Key Cryptography Proceedings, First International Workshop, Japan, 1998 by Imai, Hideki. Ed \| Zheng, Yuliang. Ed. Series: Lecture notes in computer science ; 01431Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 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
			Application and Theory of Petri Nets 1998 Proceedings, 19th International Conference, Portugal, 1998 by Desel, Jorg. Ed \| Silva, Manuel. Ed. Series: Lecture notes in computer science ; 01420Material 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 10753 results.