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

			Optimal Algorithms Proceedings, International Symposium, Varna, Bulgaria, 1989 by Djidjev, H. Ed. Series: Lecture notes in computer science ; 00401Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1989Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 10 Call number: 681 LNCS. Place hold Log in to add tags
			Temporal Logic in Specification Proceedings, Altrincham, UK, 1987 by Banieqbal, B. Ed \| Barringer, H. Ed \| Pnueli, A. Ed. Series: Lecture notes in computer science ; 00398Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1989Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 10 Call number: 681 LNCS. Place hold Log in to add tags
			Advances in Database Technology - EDBT'90 Proceedings, International Conf. Venice, Italy, 1990 by Bancilhon, F. Ed \| Thanos, C. Ed \| Tsichritzis, D. Ed. Series: Lecture notes in computer science ; 00416Material 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: 10 Call number: 681 LNCS. Place hold Log in to add tags
			STACS 90 Proceedings, 7th Ann. Symp.Rouen, France, 1990 by Choffrut, C. Ed \| Lengauer, T. Ed. Series: Lecture notes in computer science ; 00415Material 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: 10 Call number: 681 LNCS. Place hold Log in to add tags
			Graph-Theoretic Concepts in Computer Science Proceedings, 15th Int. Workshop, Castle,Netherlands, 1989 by Nagl, M. Ed. Series: Lecture notes in computer science ; 00411Material 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: 10 Call number: 681 LNCS. Place hold Log in to add tags
			Hardware Specification, Verification and Synthesis: Mathematical Aspects Proceedings, Math. Sci.Inst.Workshop, New York, USA, 1989 by Leeser, M. Ed \| Brown, G. Ed. Series: Lecture notes in computer science ; 00408Material 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: 10 Call number: 681 LNCS. Place hold Log in to add tags
			LOGLAN '88 - Report on the Programming Language by Kreczmar, Antoni \| Salwicki, Andrzej \| Warpechowski, Marek. Series: Lecture notes in computer science ; 00414Material 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:10 Call number: 681 LNCS. Place hold Log in to add tags
			Computer Aided Systems Theory - EUROCAST '89 Proceedings, Int. Workshop, Las Palmas, Spain, 1989 by Pichler, F. Ed \| Moreno-Diaz, R. Ed. Series: Lecture notes in computer science ; 00410Material 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: 10 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available Concrete and Abstract Voronoi Diagrams by Klein, Rolf. Series: Lecture notes in computer science ; 00400Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1989Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 10 Call number: 681 LNCS. Place hold Log in to add tags
			SWAT 90 Proceedings, 2nd Scandinavian Workshop, Bergen,Sweden, 1990 by Gilbert, J R. Ed \| Karlsson, R. Ed. Series: Lecture notes in computer science ; 00447Material 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
			CONCUR '90 Proceedings, Amsterdam, The Netherlands, 1990 by Baeten, J C M. Ed \| Klop, J W. ed. Series: Lecture notes in computer science ; 00458Material 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
			Combinatorics on traces by Diekert, Volker. Series: Lecture notes in computer science ; 00454Material 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
			Mathematical Foundations of Programming Semantics Proceedings, 5th International Conference,Louisiana,USA,1989 by Main, M. et al Eds. Series: Lecture notes in computer science ; 00442Material 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
			Algorithms Proceedings, Int. Symposium, SIGAL '90, Tokyo, Japan, 1990 by Asano, T. et al Eds. 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
			Fault-Tolerant Distributed Computing by Simons, B. Ed \| Spector, A. Ed. Series: Lecture notes in computer science ; 00448Material 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
			Advances in Petri Nets 1989 by Rozenberg, Gizegorz Ed. Series: Lecture notes in computer science ; 00424Material 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: 10 Call number: 681 LNCS. Place hold Log in to add tags
			Software Engineering Education Proceedings, SEI Conference 1990, Pennsylvania, USA, 1990 by Deimel, Lionel E. Ed. Series: Lecture notes in computer science ; 00423Material 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: 10 Call number: 681 LNCS. Place hold Log in to add tags
			Formal Model of Visualization in Computer Graphics Systems by Onodera, Tamiya \| Kawai, Satoru. Series: Lecture notes in computer science ; 00421Material 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: 10 Call number: 681 LNCS. Place hold Log in to add tags
			Statistical and Scientific Database Management Proceedings, Fifth Int. Conf. V SSDBM, Charlotte, USA, 1990 by Michalewicz, Z. Ed. Series: Lecture notes in computer science ; 00420Material 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: 10 Call number: 681 LNCS. Place hold Log in to add tags
			COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings / G. Mints, eds. by P. Martin-Lof, eds \| Martin-Löf, Per \| Mint︠s︡, G. E. Series: Lecture notes in computer science ; 417Material type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; New York : Springer-Verlag, c1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 10 Call number: 681 LNCS. Place hold Log in to add tags

			Optimal Algorithms Proceedings, International Symposium, Varna, Bulgaria, 1989 by Djidjev, H. Ed. Series: Lecture notes in computer science ; 00401Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1989Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 10 Call number: 681 LNCS. Place hold Log in to add tags
			Temporal Logic in Specification Proceedings, Altrincham, UK, 1987 by Banieqbal, B. Ed \| Barringer, H. Ed \| Pnueli, A. Ed. Series: Lecture notes in computer science ; 00398Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1989Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 10 Call number: 681 LNCS. Place hold Log in to add tags
			Advances in Database Technology - EDBT'90 Proceedings, International Conf. Venice, Italy, 1990 by Bancilhon, F. Ed \| Thanos, C. Ed \| Tsichritzis, D. Ed. Series: Lecture notes in computer science ; 00416Material 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: 10 Call number: 681 LNCS. Place hold Log in to add tags
			STACS 90 Proceedings, 7th Ann. Symp.Rouen, France, 1990 by Choffrut, C. Ed \| Lengauer, T. Ed. Series: Lecture notes in computer science ; 00415Material 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: 10 Call number: 681 LNCS. Place hold Log in to add tags
			Graph-Theoretic Concepts in Computer Science Proceedings, 15th Int. Workshop, Castle,Netherlands, 1989 by Nagl, M. Ed. Series: Lecture notes in computer science ; 00411Material 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: 10 Call number: 681 LNCS. Place hold Log in to add tags
			Hardware Specification, Verification and Synthesis: Mathematical Aspects Proceedings, Math. Sci.Inst.Workshop, New York, USA, 1989 by Leeser, M. Ed \| Brown, G. Ed. Series: Lecture notes in computer science ; 00408Material 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: 10 Call number: 681 LNCS. Place hold Log in to add tags
			LOGLAN '88 - Report on the Programming Language by Kreczmar, Antoni \| Salwicki, Andrzej \| Warpechowski, Marek. Series: Lecture notes in computer science ; 00414Material 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:10 Call number: 681 LNCS. Place hold Log in to add tags
			Computer Aided Systems Theory - EUROCAST '89 Proceedings, Int. Workshop, Las Palmas, Spain, 1989 by Pichler, F. Ed \| Moreno-Diaz, R. Ed. Series: Lecture notes in computer science ; 00410Material 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: 10 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available Concrete and Abstract Voronoi Diagrams by Klein, Rolf. Series: Lecture notes in computer science ; 00400Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1989Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 10 Call number: 681 LNCS. Place hold Log in to add tags
			SWAT 90 Proceedings, 2nd Scandinavian Workshop, Bergen,Sweden, 1990 by Gilbert, J R. Ed \| Karlsson, R. Ed. Series: Lecture notes in computer science ; 00447Material 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
			CONCUR '90 Proceedings, Amsterdam, The Netherlands, 1990 by Baeten, J C M. Ed \| Klop, J W. ed. Series: Lecture notes in computer science ; 00458Material 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
			Combinatorics on traces by Diekert, Volker. Series: Lecture notes in computer science ; 00454Material 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
			Mathematical Foundations of Programming Semantics Proceedings, 5th International Conference,Louisiana,USA,1989 by Main, M. et al Eds. Series: Lecture notes in computer science ; 00442Material 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
			Algorithms Proceedings, Int. Symposium, SIGAL '90, Tokyo, Japan, 1990 by Asano, T. et al Eds. 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
			Fault-Tolerant Distributed Computing by Simons, B. Ed \| Spector, A. Ed. Series: Lecture notes in computer science ; 00448Material 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
			Advances in Petri Nets 1989 by Rozenberg, Gizegorz Ed. Series: Lecture notes in computer science ; 00424Material 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: 10 Call number: 681 LNCS. Place hold Log in to add tags
			Software Engineering Education Proceedings, SEI Conference 1990, Pennsylvania, USA, 1990 by Deimel, Lionel E. Ed. Series: Lecture notes in computer science ; 00423Material 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: 10 Call number: 681 LNCS. Place hold Log in to add tags
			Formal Model of Visualization in Computer Graphics Systems by Onodera, Tamiya \| Kawai, Satoru. Series: Lecture notes in computer science ; 00421Material 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: 10 Call number: 681 LNCS. Place hold Log in to add tags
			Statistical and Scientific Database Management Proceedings, Fifth Int. Conf. V SSDBM, Charlotte, USA, 1990 by Michalewicz, Z. Ed. Series: Lecture notes in computer science ; 00420Material 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: 10 Call number: 681 LNCS. Place hold Log in to add tags
			COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings / G. Mints, eds. by P. Martin-Lof, eds \| Martin-Löf, Per \| Mint︠s︡, G. E. Series: Lecture notes in computer science ; 417Material type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; New York : Springer-Verlag, c1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 10 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.