馆藏书目查询系统 - 上海图书馆

1

Cover is for reference only

Computability theory : an introduction /

Main Authors: Jones, Neil D.
Corporate Authors: Elsevier Science & Technology.
Published: Academic Press,
Publication Dates: 1973.

eBook

2

Cover is for reference only

Computability and complexity：from a programming perspective

Main Authors: Jones Neil D
Published: MIT Press,
Publication Dates: c1997.
Call Number: TP330.1/J78/

Book

3

Cover is for reference only

Computability and complexity：from a programming perspective

Main Authors: Jones Neil D
Corporate Authors: NetLibrary, Inc
Published: MIT Press,
Publication Dates: c1997.

Book

4

Cover is for reference only

Computability theory: an introduction

Main Authors: Jones Neil D
Published: Academic Press,
Publication Dates: 1973.
Call Number: O141.3/J78/

Book

5

Cover is for reference only

Semantics-directed compiler generation：proceedings of a workshop, Aarhus, Denmark, January, 1980

Corporate Authors: Workshop on Semantics-directed Compiler Generation (1980 University of Aarhus, Denmark)
Group Author: Jones Neil D.
Published: Springer-Verlag,
Publication Dates: 1980.
Call Number: TP314-53/S471/1980/

Book

6

Cover is for reference only

TEMPO：a unified treatment of binding time and parameter passing concepts in programming languages

Main Authors: Jones Neil D. (Neil D. Jones, Steven S. Muchnick.)
Group Author: Muchnick Steven S., 1945- (joint author.)
Published: Springer-Verlag,
Publication Dates: 1978.
Call Number: TP312/J78/

Book

7

Cover is for reference only

Program flow analysis：theory and applications

Group Author: Muchnick Steven S 1945-; Jones Neil D
Published: Prentice-Hall,
Publication Dates: c1981.
Call Number: TP31/M942/

Book

8

Cover is for reference only

Verification, model checking, and abstract interpretation：10th international conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 : proceedings

Corporate Authors: VMCAI 2009 (2009 Savannah, Ga.); SpringerLink (Online service)
Group Author: Jones Neil D.; Müller-Olm Markus.
Published: Springer,
Publication Dates: c2009.

Book

9

Cover is for reference only

Partial evaluation and mixed computation：proceedings of the IFIP TC2 Workshop on Partial Evaluation and Mixed Computation, Gammel Avernæs, Denmark, 18-24 October, 1987

Corporate Authors: IFIP TC2 Workshop on Partial Evaluation and Mixed Computation (1987 Agernæs, Denmark)
Group Author: (Dines), 1937-; Ershov A. P.; (Andreĭ Petrovich); Jones Neil D.; Bjørner D.
Published: North-Holland Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,
Publication Dates: 1988.
Call Number: TP31-53/I61.19/1987/

Book

10

Cover is for reference only

ESOP '90：proceedings, 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990

Corporate Authors: European Symposium on Programming (3rd 1990 Copenhagen)
Group Author: Arnold A.; (André), 1945-; Jones Neil D.
Published: Springer-Verlag,
Publication Dates: c1990.
Call Number: TP31-53/E89.1/1990/

Book

11

Cover is for reference only

The essence of computation：complexity, analysis, transformation : essays dedicated to Neil D. Jones

Group Author: Jones Neil D.; Mogensen Torben Æ., 1960-; Schmidt David A., 1953 May 10-; Sudborough Hal.
Published: Springer,
Publication Dates: c2002.
Call Number: TP301.5/E785

Book

12

Cover is for reference only

J.R.R. Tolkien : critical assessments of major writers /

Group Author: Lee, Stuart D. (Editor)
Published: Routledge,
Publication Dates: 2017.
Call Number: I561.074/J116-2

Book

13

Cover is for reference only

Achieving the arbitration dream : liber amicorum for Professor Julian D.M. Lew KC /

Group Author: Brekoulakis, Stavros L. (Editor); Weeramantry, J. Romesh (Editor); Nagapetyan, Lilit (Editor); Lew, Julian D. M. (honouree.)
Published: Kluwer Law International,
Publication Dates: [2023]
Call Number: D997.4/A178

Book

Narrow Search