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

			Geometry and Robotics Proceedings, Workshop, Toulouse, France, 1988 by Boissonnat, J D. Ed \| Laumond, J P Ed. Series: Lecture notes in computer science ; 00391Material 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: 9 Call number: 681 LNCS. Place hold Log in to add tags
			Algorithms for Parallel Polygon Rendering by Theoharis, T. Series: Lecture notes in computer science ; 00373Material 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: 9 Call number: 681 LNCS. Place hold Log in to add tags
			VDM '90 - VDM and Z-Formal Methods in Software Development Proceedings, 3rd International Symp. Kiel, FRG, 1990 by Bjorner, D. Ed \| Hoare, C A R. Ed \| Langmaack, H. Ed. Series: Lecture notes in computer science ; 00428Material 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 Vision - ECCV 90 Proceedings, First European Conf. Antibes, France, 1990 by Faugeras, O. Ed. Series: Lecture notes in computer science ; 00427Material 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
			SIL - a Simulation Language by Houbak, Niels. Series: Lecture notes in computer science ; 00426Material 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
			Algebraic Logic and Universal Algebra in Computer Science Proceedings, Conference, Ames, Iowa, USA, 1988 by Bergman, C H. Ed \| Maddux, R D. Ed \| Pigozzi, D L. Ed. Series: Lecture notes in computer science ; 00425Material 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
			Automatic Verification Methods for Finite State Systems Proceedings, International Workshop, France, 1989 by Sifakis, J. Ed. Series: Lecture notes in computer science ; 407Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1990Availability: 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
			Concepts, Design, and Performance Analysis of a Parallel Prolog Machine by Beer, Joachim. Series: Lecture notes in computer science ; 00404Material 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
			Interactive Relational Database Design by Bagchi, Tapan P \| Chaudhri, Vinay K. Series: Lecture notes in computer science ; 00402Material 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
			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

			Geometry and Robotics Proceedings, Workshop, Toulouse, France, 1988 by Boissonnat, J D. Ed \| Laumond, J P Ed. Series: Lecture notes in computer science ; 00391Material 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: 9 Call number: 681 LNCS. Place hold Log in to add tags
			Algorithms for Parallel Polygon Rendering by Theoharis, T. Series: Lecture notes in computer science ; 00373Material 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: 9 Call number: 681 LNCS. Place hold Log in to add tags
			VDM '90 - VDM and Z-Formal Methods in Software Development Proceedings, 3rd International Symp. Kiel, FRG, 1990 by Bjorner, D. Ed \| Hoare, C A R. Ed \| Langmaack, H. Ed. Series: Lecture notes in computer science ; 00428Material 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 Vision - ECCV 90 Proceedings, First European Conf. Antibes, France, 1990 by Faugeras, O. Ed. Series: Lecture notes in computer science ; 00427Material 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
			SIL - a Simulation Language by Houbak, Niels. Series: Lecture notes in computer science ; 00426Material 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
			Algebraic Logic and Universal Algebra in Computer Science Proceedings, Conference, Ames, Iowa, USA, 1988 by Bergman, C H. Ed \| Maddux, R D. Ed \| Pigozzi, D L. Ed. Series: Lecture notes in computer science ; 00425Material 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
			Automatic Verification Methods for Finite State Systems Proceedings, International Workshop, France, 1989 by Sifakis, J. Ed. Series: Lecture notes in computer science ; 407Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1990Availability: 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
			Concepts, Design, and Performance Analysis of a Parallel Prolog Machine by Beer, Joachim. Series: Lecture notes in computer science ; 00404Material 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
			Interactive Relational Database Design by Bagchi, Tapan P \| Chaudhri, Vinay K. Series: Lecture notes in computer science ; 00402Material 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
			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

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 10762 results.