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

			On the shape of the mathematical arguments by Van Gasteren, A J M. Series: Lecture notes in computer science ; 00445Material 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
			Foundations of Software Technology and Theoretical Computer Science, Fourth conference, Bangalore, India, December 1984, proceedings by Joseph, Mathai. Ed \| Shyamasunder, R. Ed. Series: Lecture notes in computer science ; 00181Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1984Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 1 Call number: 681 LNCS. Place hold Log in to add tags
			Foundations of Software Technology and Theoretical Computer Science, seventh conference, Pune, India, December 1987, procedings by Nori, Kesav V. Ed. Series: Lecture notes in computer science ; 00287Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1987Availability: 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
			FST TCS 1989 : Foundations of software technology and theoretical computer science : 9th conference, Bangalore, India, December 1989, proceedings by Veni Madhavan, C E. (Ed.). Series: Lecture notes in computer science ; 405Material type: Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; Springer Verlag ; 1989Online 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
			Axioms and hulls by Knuth, D E. Series: Lecture notes in computer science ; 00606Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer verlag ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 14 Call number: 681 LNCS. Place hold Log in to add tags
			Computational geometry - methods, algorithms and applications, International workshop on computational geometry CG'91, Bern, Switzerland91 by Bieri,H.Ed \| Noltemeier, H. Ed. Series: Lecture notes in computer science ; 00553Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer verlag ; 1991Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 13 Call number: 681 LNCS. Place hold Log in to add tags
			Computer science logic, 4th workshop, CSL'90, Heidelberg, Germany, October 1990, Proceedings by Borger,E. et al Eds. Series: Lecture notes in computer science ; 00533Material 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: 13 Call number: 681 LNCS. Place hold Log in to add tags
			Algorithms and Data Structures, 2nd workshop, WADS'91, Ottawa, Canada, August 1991, Proceedings by Dehne,F. et al Eds. Series: Lecture notes in computer science ; 00519Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1991Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 13 Call number: 681 LNCS. Place hold Log in to add tags
			A unified approach to interior point algorithms for linear complementarity problems by Kojima,M \| Megiddo,N \| Noma,T. Series: Lecture notes in computer science ; 00538Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer verlag ; 1991Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 13 Call number: 681 LNCS. Place hold Log in to add tags
			Category theory and computer science, Paris, France, September 1991, proceedings by Pitt,D H. et al Eds. Series: Lecture notes in computer science ; 00530Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1991Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 46 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available Logics of programs and their applications, proceedings, Poznan, Agust 23-29,1980 by Salwicki, A., Ed. Series: Lecture notes in computer science ; 00148Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor, Rack No: 47, Shelf No: 48 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available Boolean calculus of differences by Andre Thayse., Ed. Series: Lecture notes in computer science ; 00101Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor, Rack No: 47, Shelf No: 48 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available Cryptography, Proceedings, burg Feuerstein 1982, March 29- April 2,1982 by Beth., Ed. Series: Lecture notes in computer science ; 00149Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor, Rack No: 47, Shelf No: 48 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available Graph-grammars and their applications to computer science by Ehrig., Ed. Series: Lecture notes in computer science ; 00153Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor, Rack No: 47, Shelf No: 48 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available Foundations of computation theory, Proceedings of the 1983 International FCT-conference,Bprgholm, Sweden, August, 1983 by Karpinski, Marek., Ed. Series: Lecture notes in computer science ; 00158Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor, Rack No: 47, Shelf No: 48 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available STACS 84, Symposium of theoretical aspects of computer science, Paris, April, 1984 by Melhlhorn, K., Ed. Series: Lecture notes in computer science ; 00166Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor, Rack No: 47, Shelf No: 48 Call number: 681 LNCS. Place hold Log in to add tags
			Semantics of data types: International symposium sophia-Antipolis, France, June 1984 by Goos G \| Hartmanis J. Series: Lecture notes in computer science \| 173Material type: Text;Language: ; Format: print Language: Eng Publication details: Berlin Springer Verlag 1984Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 1 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available EUROSAM 84 International symposium on symbolic and algebraic computation,Cambridge, England, July 1984 by Fitch, Ed. Series: Lecture notes in computer science ; 00174Material 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: 1 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available P-Functions and boolean matrix factorization, A unfied approach for wired, programmed implementations of discrete algorithms by Thayse., Ed. Series: Lecture notes in computer science ; 00175Material 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: 1 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available Mathematical foundations of software development, proceedings of the International Joint conference, Berlin, 1985, volume 1: Colloquium on trees in algebra and programming by Ehrig., Ed. Series: Lecture notes in computer science ; 00185Material 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: 1 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.