Your search returned 7 results.

Not what you expected? Check for suggestions
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
Computability and Complexity from a Programming Perspective

by Jones, Neil D.

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

E-BOOKS
TEMPO: A Unified Treatment of Binding Time and Parameter Passing Concepts in Programming Languages [electronic resource] / by Neil D. Jones, Steven S. Muchnick.

by Jones, Neil D [author.] | Muchnick, Steven S [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 66Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1978Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Semantics-Directed Compiler Generation [electronic resource] : Proceedings of a Workshop Aarhus, Denmark, January 1980 / edited by Neil D. Jones.

by Jones, Neil D [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 94Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1980Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Programs as Data Objects [electronic resource] : Proceedings of a Workshop Copenhagen, Denmark, October 17–19, 1985 / edited by Harald Ganzinger, Neil D. Jones.

by Ganzinger, Harald [editor.] | Jones, Neil D [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 217Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Logic, Language and Computation [electronic resource] : Festschrift in Honor of Satoru Takasu / edited by Neil D. Jones, Masami Hagiya, Masahiko Sato.

by Jones, Neil D [editor.] | Hagiya, Masami [editor.] | Sato, Masahiko [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 792Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings / edited by Neil D. Jones, Markus Müller-Olm.

by Jones, Neil D [editor.] | Müller-Olm, Markus [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5403Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha