IMSc Library catalog › Results of search for 'ccl=Provider:Springer-Verlag '

			Programming Language Implementation and Logic Programming Proceedings, Int. Workshop, Linkoping, Sweden, 1990 by Deransart, P. Ed \| Maluszynski, J. Ed. Series: Lecture notes in computer science ; 00456Material 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
			Recent Issues in Pattern Analysis and Recognition by Cantoni, V. et al Eds. Series: Lecture notes in computer science ; 00399Material 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
			Mathematical Foundations of Computer Science 1989 Proceedings, Porabka-Kozubnik, Poland, 1989 by Kreczmar, A. Ed \| Mirkowska, G. Ed. Series: Lecture notes in computer science ; 00379Material 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
			EUROCAL '87 Proceedings, European Conf. Leipzig, GDR, 1987 by Davenport, J H Ed. Series: Lecture notes in computer science ; 00378Material 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
			CSL '88 Proceedings, 2nd Workshop, Duisburg, FRG, 1988 by Borger, E. Ed \| Kleine Buning, H. Ed \| Richter, M M Ed. Series: Lecture notes in computer science ; 00385Material 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
			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

			Programming Language Implementation and Logic Programming Proceedings, Int. Workshop, Linkoping, Sweden, 1990 by Deransart, P. Ed \| Maluszynski, J. Ed. Series: Lecture notes in computer science ; 00456Material 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
			Recent Issues in Pattern Analysis and Recognition by Cantoni, V. et al Eds. Series: Lecture notes in computer science ; 00399Material 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
			Mathematical Foundations of Computer Science 1989 Proceedings, Porabka-Kozubnik, Poland, 1989 by Kreczmar, A. Ed \| Mirkowska, G. Ed. Series: Lecture notes in computer science ; 00379Material 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
			EUROCAL '87 Proceedings, European Conf. Leipzig, GDR, 1987 by Davenport, J H Ed. Series: Lecture notes in computer science ; 00378Material 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
			CSL '88 Proceedings, 2nd Workshop, Duisburg, FRG, 1988 by Borger, E. Ed \| Kleine Buning, H. Ed \| Richter, M M Ed. Series: Lecture notes in computer science ; 00385Material 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
			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

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 2455 results.