Your search returned 1361 results.

Not what you expected? Check for suggestions
BOOKS
Symposium on semantics of algorithmic languages; edited by E. Engeler.

by Engeler, Erwin.

Series: Lecture notes in mathematics (Springer-Verlag) ; 188.Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Publication details: Berlin, New York, Springer-Verlag, 1971Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 28 Call number: 51 LNM.

BOOKS
Fundamentals of programming languages

by Horowitz, Ellis.

Edition: 2Material type: Text 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: 49, Shelf No: 39 Call number: 681.3.06 HOR.

BOOKS
Fortran 90 Explained

by Metcalf, Michael | Reid, John.

Edition: 2ndMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Oxford ; OUP ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 44 Call number: 681.3.06 MET.

BOOKS
TEMPO: A Unified Treatment of Binding Time and Parameter Passing Concepts in Programming Languages

by Jones, Neil D | Muchnick, Steven S.

Series: Lecture notes in computer science ; 00066Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1978Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 47 Call number: 681 LNCS.

BOOKS
Language Hierarchies and Interfaces International Summer School, Marktoberdorf, 1975

by Bauer, F L. Ed | Samelson, K. Ed.

Series: Lecture notes in computer science ; 00046Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1976Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 47 Call number: 681 LNCS.

BOOKS
Programming Languages and their definition H. Bekic (1936-1982)

by Jones, C B. Ed.

Series: Lecture notes in computer science ; 00177Material type: Text 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.

BOOKS
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 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.

BOOKS
Translating relational queries into Iterative programs

by Freytag, Johann Christoph.

Series: Lecture notes in computer science ; 00261Material type: Text 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.

BOOKS
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 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.

BOOKS
Tree automata and languages (SCSAI - Vol. 10)

by Nivat, Maurice. Ed | Podelski, Andreas. Ed.

Series: Studies in computer science and artificial intelligence ; 10Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Netherlands ; Elsevier ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 28 Call number: 681.3.02 NIV.

BOOKS
Programming Languages : Design and Implementation

by Pratt, Terrence W.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Language: Eng Publication details: India Availability: Items available for loan: IMSc Library (3). Location(s): Second floor, Rack No: 49, Shelf No: 47 Call number: 681.3.06 PRA.

BOOKS
Theories of Programming Languages

by Reynolds, John C.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; Cambridge University press ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 16 Call number: 681.3 REY.

BOOKS
Programming Languages, Concepts of-

by Sebesta, Robert W.

Edition: 4thMaterial type: Text Text;Language: ; Format: print Publication details: Addison Wesley; Singapore Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 23 Call number: 681.9 SEB.

BOOKS
Programming Language Pragmatics

by Scott, Michael L.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; Harcourt Asia ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 18 Call number: 681.3 SCO.

BOOKS
Games and Full Abstraction for a Functional Metalanguage with Recursive Types : (DD)

by McCusker, Guy.

Series: Distinguished DissertationsMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: London ; Springer ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 10 Call number: 681.3 MCC.

BOOKS
Programming Language Concepts

by Ghezzi, Carlo | Jazayeri, Mehdi.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; John Wiley ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 16 Call number: 681.9 GHE.

BOOKS
Semantics of programming languages: structures and techniques

by Gunter, Carl A.

Series: Foundations of ComputingMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; MIT ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 1 Call number: 681.3 GUN.

BOOKS
The structure of typed programming languages

by Schmidt, David A.

Series: Foundations of ComputingMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; MIT Press ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 18 Call number: 681.3 SCH.

BOOKS
Advances in computing science--ASIAN 2003: programming languages and distributed computation proc.: 8th Asian Computing Sc. Conf., Mumbai, December, 2003

by Saraswat, Vijay A. Ed.

Series: Lecture notes in computer science ; 02896Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2003Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 28 Call number: 681 LNCS.

BOOKS
Types and programming languages

by Pierce, Benjamin C.

Material type: Text Text;Language: ; Format: print Publication details: Cambridge, Mass. ; MIT Press ; 2002Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 47 Call number: 681.3.06 PIE.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha