IMSc Library catalog › Results of search for 'ccl=su:"Programming"'

			Formalization of programming concepts Proceedings, Int.Colloquium, Spain, 1981 by Diaz, J. Ed \| Ramos, I. Ed. Series: Lecture notes in computer science ; 00107Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1981Availability: 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
			Programming Language - Ada Reference Manual by U.S. Dept. of Defense. Series: Lecture notes in computer science ; 00106Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1981Availability: 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
			Programming Languages and their definition H. Bekic (1936-1982) by Jones, C B. Ed. Series: Lecture notes in computer science ; 00177Material 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
			No cover image available International Symposium on Programming Proceedings, 6th Colloquium, Toulouse, 1984 by Paul, M. Ed \| Robinet, B. Ed. Series: Lecture notes in computer science ; 00167Material 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
			Programming Language Ada Reference Manual by U.S. Govt.Ada Jt.Prog.Office. Series: Lecture notes in computer science ; 00155Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1983Availability: 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
			IOTA Programming System Modular Programming Environment by Nakajima, R. Ed \| Yuasa, T. Ed. Series: Lecture notes in computer science ; 00160Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1983Availability: 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
			A first course in optimization theory by Sundaram, Rangarajan K. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; Cambridge University press ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 30, Shelf No: 27 Call number: 513.882 SUN. Place hold Log in to add tags
			CAAP '86 : 11th Colloquium on trees in algebra and programming Proceedings, Nice, France, 1986 by Franchi-Zannettacci, P. Ed. Series: Lecture notes in computer science ; 00214Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1986Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 2 Call number: 681 LNCS. Place hold Log in to add tags
			ESOP 86 - European Symposium on Programming Proceedings, Saarbrucken, FRG, 1986 by Robinet, B. Ed \| Wilhelm, R. Ed. Series: Lecture notes in computer science ; 00213Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1986Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 2 Call number: 681 LNCS. Place hold Log in to add tags
			Functional Programming Languages and Computer Architecture Proceedings, Conference, Nancy, France, 1985 by Jouannaud, Jean-Pierre. Ed. Series: Lecture notes in computer science ; 00201Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1985Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 2 Call number: 681 LNCS. Place hold Log in to add tags
			From Logic Design to Logic Programming Theorem Proving Techniques and P-Functions by Snyers, Dominique \| Thayse, Andre. Series: Lecture notes in computer science ; 00271Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1987Availability: Items available for loan: IMSc Library (1). Location(s): 7Second floor, Rack No: 48, Shelf No: 4 Call number: 681 LNCS. Place hold Log in to add tags
			Logic Programming '86 Proceedings, 5th Conf., Tokyo, Japan, 1986 by Wada, Eiiti. Ed. Series: Lecture notes in computer science ; 00264Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1987Availability: Items available for loan: IMSc Library (1). Location(s): 7Second floor, Rack No: 48, Shelf No: 4 Call number: 681 LNCS. Place hold Log in to add tags
			Translating relational queries into Iterative programs by Freytag, Johann Christoph. Series: Lecture notes in computer science ; 00261Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1987Availability: Items available for loan: IMSc Library (1). Location(s): 7Second floor, Rack No: 48, Shelf No: 4 Call number: 681 LNCS. Place hold Log in to add tags
			ESOP '88 (European Symposium on Programming) Proceedings, 2nd ESOP, Nancy, France, 1988 by Ganzinger, H. Ed. Series: Lecture notes in computer science ; 00300Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1988Availability: 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
			Foundations of Logic and Functional Prgramming Proceedings, Workshop, Trento, Italy, 1986 by Boscarol, M. Ed \| Carlucci Aiello, L. Ed \| Levi, G. Ed. Series: Lecture notes in computer science ; 00306Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1988Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 6 Call number: 681 LNCS. Place hold Log in to add tags
			Logic Programming '87 Proceedings, 6th Conf., Tokyo, Japan, 1987 by Furukawa, K. Ed \| Tanaka, H. Ed \| Fujisaki, T. Ed. Series: Lecture notes in computer science ; 00315Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1988Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 6 Call number: 681 LNCS. Place hold Log in to add tags
			ECOOP '88 : european conference on object-oriented programming) Proceedings, Conf. ECOOP '88, Oslo, Norway, 1988 by Gjessing, S. Ed \| Nygaard, K. Ed. Series: Lecture notes in computer science ; 00322Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1988Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 6 Call number: 681 LNCS. Place hold Log in to add tags
			Extensional Constructs in Intensional Type Theory by Hofmann, Martin. Series: CPHC/BCS Distinguished Dissertation SeriesMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: London ; Springer Verlag ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 4 Call number: 510.6 HOF. Place hold Log in to add tags
			Visualization in Programming 5th Workshop, Austria, 1986 by Gorny, P. Ed \| Tauber, M J. Ed. Series: Lecture notes in computer science ; 00282Material 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
			Programming Languages Implementation and Logic Programming Proceedings, Int.Workshop, PLILP '88, Orleans, France, 1988 by Deransart, P. Ed \| Lorho, B. Ed \| Maluszynski, J. Ed. Series: Lecture notes in computer science ; 00348Material 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: 7 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 2372 results.