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

			No cover image available STACS 88 Series: Lecture notes in computer science ; 00294Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 5 Call number: 681 LNCS. Place hold Log in to add tags
			Mathematical Foundations of Programming Semantics 9th International conference New Orleans, LA, USA, April 93 by Brookes, S \| Main, M., Schmidt, D \| Melton, A., Mislove, M. Series: Lecture notes in computer science ; 00802Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Decade of Concurrency - Reflections and Perspectives REX School/Symposium Noordwijkerhout, The Netherlands,June93 by de Bakker, J W \| de Roever, W.P \| Rozenberg, G. Series: Lecture notes in computer science ; 00803Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Computer Aided Verification Proceedings, 6th Int.Conf., California, 1994 by Dill, David L. Ed. Series: Lecture notes in computer science ; 00818Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Logical Foundations of Computer Science Proceedings, 3rd Int.Symp., Russia, 1994 by Nerode, A. Ed \| Matiyasevich, Yu V. Ed. Series: Lecture notes in computer science ; 00813Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Results and Trends in Theoretical Computer Science : Colloquium in honor of Arto Salomaa Graz, Austria, June 1994 by Karhumaki, J. Ed \| Maurer, H. Ed \| Rozenberg, Ed. Series: Lecture notes in computer science ; 00812Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			FST TCS 1994:Foundations of Software Technology and Theoretical Computer Science : 14th Conference, Madras, India, December 1994, Proceedings by Thiagarajan, P S. Ed. Series: Lecture notes in computer science ; 880Material type: Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: Germany ; Springer Verlag ; 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 16 Call number: 681 LNCS. Place hold Log in to add tags
			Formal Techniques in Real-Time and Fault-Tolerant Systems Proceedings, 3rd International Symposium, Lubeck, 1994 by Langmaack, H. Ed \| de Roever, W.-P. Ed \| Vytopil, J. Ed. Series: Lecture notes in computer science ; 00863Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 16 Call number: 681 LNCS. Place hold Log in to add tags
			Algorithms and Computation, 4th International symposium, ISAAC'93, Hong Kong, December 1993 by Raghavan, P. Ed \| Balasubramanian, N.V., Ed \| Chin, F Y L. Ed. Series: Lecture notes in computer science ; 00762Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Evolutionary Computing AISB Workshop, Leeds, 1994 by Fogarty, Terence C. Ed. Series: Lecture notes in computer science ; 00865Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 16 Call number: 681 LNCS. Place hold Log in to add tags
			Turing Machines with Sublogarithmic Space by Szepietowski, Andrzej. Series: Lecture notes in computer science ; 00843Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 16 Call number: 681 LNCS. Place hold Log in to add tags
			Treewidth Computations and Approximations by Kloks, Ton. Series: Lecture notes in computer science ; 00842Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 16 Call number: 681 LNCS. Place hold Log in to add tags
			Hybrid systems by Grossman, Robert L. Ed \| Nerode, Anil. Ed \| Ravn, Anders P. Ed. Series: Lecture notes in computer science ; 00736Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Algorithms Proceedings, International Symposium, SIGAL '90, Japan by Asano, T. Ed \| Ibaraki, T. Ed \| Imai, H. Ed., Nishizeki, T. Series: Lecture notes in computer science ; 00450Material 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: 11 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available Algorithms and computation 6th International symposium, ISAAC,95, Cairns, Australia by Staples, J \| Eades, P \| Katoh, N., Moffat, A. Series: Lecture notes in computer science ; 01004Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: 1995; Springer verlag Availability: 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
			Traveling Salesman Computational Solutions for TSP Applications by Reinelt, Gerhard. Series: Lecture notes in computer science ; 00840Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 16 Call number: 681 LNCS. Place hold Log in to add tags
			Algorithms - ESA '94 Proceedings, Symposium, Netherlands, 1994 by van Leeuwen, Jan. Ed. Series: Lecture notes in computer science ; 00855Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 16 Call number: 681 LNCS. Place hold Log in to add tags
			Distributed algorithms Proceedings, 8th International Workshop, Netherlands, 1994 by Tel, Gerard. Ed \| Vitanyi, Paul. Ed. Series: Lecture notes in computer science ; 00857Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 16 Call number: 681 LNCS. Place hold Log in to add tags
			Algorithmic Number Theory Proceedings, First International Symposium, Ithaca, 1994 by Adleman, Leonard M. Ed \| Huang, Ming-Deh. Ed. Series: Lecture notes in computer science ; 00877Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 16 Call number: 681 LNCS. Place hold Log in to add tags
			Algorithms and Computation Proceedings, 5th International Symposium, Beijing, 1994 by Du, Ding-Zhu, Ed \| Zhang, Xiang-Sun. Ed. Series: Lecture notes in computer science ; 00834Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 16 Call number: 681 LNCS. Place hold Log in to add tags

			No cover image available STACS 88 Series: Lecture notes in computer science ; 00294Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 5 Call number: 681 LNCS. Place hold Log in to add tags
			Mathematical Foundations of Programming Semantics 9th International conference New Orleans, LA, USA, April 93 by Brookes, S \| Main, M., Schmidt, D \| Melton, A., Mislove, M. Series: Lecture notes in computer science ; 00802Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Decade of Concurrency - Reflections and Perspectives REX School/Symposium Noordwijkerhout, The Netherlands,June93 by de Bakker, J W \| de Roever, W.P \| Rozenberg, G. Series: Lecture notes in computer science ; 00803Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Computer Aided Verification Proceedings, 6th Int.Conf., California, 1994 by Dill, David L. Ed. Series: Lecture notes in computer science ; 00818Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Logical Foundations of Computer Science Proceedings, 3rd Int.Symp., Russia, 1994 by Nerode, A. Ed \| Matiyasevich, Yu V. Ed. Series: Lecture notes in computer science ; 00813Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Results and Trends in Theoretical Computer Science : Colloquium in honor of Arto Salomaa Graz, Austria, June 1994 by Karhumaki, J. Ed \| Maurer, H. Ed \| Rozenberg, Ed. Series: Lecture notes in computer science ; 00812Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			FST TCS 1994:Foundations of Software Technology and Theoretical Computer Science : 14th Conference, Madras, India, December 1994, Proceedings by Thiagarajan, P S. Ed. Series: Lecture notes in computer science ; 880Material type: Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: Germany ; Springer Verlag ; 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 16 Call number: 681 LNCS. Place hold Log in to add tags
			Formal Techniques in Real-Time and Fault-Tolerant Systems Proceedings, 3rd International Symposium, Lubeck, 1994 by Langmaack, H. Ed \| de Roever, W.-P. Ed \| Vytopil, J. Ed. Series: Lecture notes in computer science ; 00863Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 16 Call number: 681 LNCS. Place hold Log in to add tags
			Algorithms and Computation, 4th International symposium, ISAAC'93, Hong Kong, December 1993 by Raghavan, P. Ed \| Balasubramanian, N.V., Ed \| Chin, F Y L. Ed. Series: Lecture notes in computer science ; 00762Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Evolutionary Computing AISB Workshop, Leeds, 1994 by Fogarty, Terence C. Ed. Series: Lecture notes in computer science ; 00865Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 16 Call number: 681 LNCS. Place hold Log in to add tags
			Turing Machines with Sublogarithmic Space by Szepietowski, Andrzej. Series: Lecture notes in computer science ; 00843Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 16 Call number: 681 LNCS. Place hold Log in to add tags
			Treewidth Computations and Approximations by Kloks, Ton. Series: Lecture notes in computer science ; 00842Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 16 Call number: 681 LNCS. Place hold Log in to add tags
			Hybrid systems by Grossman, Robert L. Ed \| Nerode, Anil. Ed \| Ravn, Anders P. Ed. Series: Lecture notes in computer science ; 00736Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Algorithms Proceedings, International Symposium, SIGAL '90, Japan by Asano, T. Ed \| Ibaraki, T. Ed \| Imai, H. Ed., Nishizeki, T. Series: Lecture notes in computer science ; 00450Material 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: 11 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available Algorithms and computation 6th International symposium, ISAAC,95, Cairns, Australia by Staples, J \| Eades, P \| Katoh, N., Moffat, A. Series: Lecture notes in computer science ; 01004Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: 1995; Springer verlag Availability: 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
			Traveling Salesman Computational Solutions for TSP Applications by Reinelt, Gerhard. Series: Lecture notes in computer science ; 00840Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 16 Call number: 681 LNCS. Place hold Log in to add tags
			Algorithms - ESA '94 Proceedings, Symposium, Netherlands, 1994 by van Leeuwen, Jan. Ed. Series: Lecture notes in computer science ; 00855Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 16 Call number: 681 LNCS. Place hold Log in to add tags
			Distributed algorithms Proceedings, 8th International Workshop, Netherlands, 1994 by Tel, Gerard. Ed \| Vitanyi, Paul. Ed. Series: Lecture notes in computer science ; 00857Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 16 Call number: 681 LNCS. Place hold Log in to add tags
			Algorithmic Number Theory Proceedings, First International Symposium, Ithaca, 1994 by Adleman, Leonard M. Ed \| Huang, Ming-Deh. Ed. Series: Lecture notes in computer science ; 00877Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 16 Call number: 681 LNCS. Place hold Log in to add tags
			Algorithms and Computation Proceedings, 5th International Symposium, Beijing, 1994 by Du, Ding-Zhu, Ed \| Zhang, Xiang-Sun. Ed. Series: Lecture notes in computer science ; 00834Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 16 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 416 results.