本文に飛ぶ

年 〜
年

検索結果 18 件

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

Verification, model checking, and abstract interpretation : 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18 - 20, 2009, proceedings
紙図書
Neil D. Jones, Markus Müller-Olm (eds.)Springerc2009
全国の図書館
  • 著者標目Jones, Neil D. Müller-Olm, Markus VMCAI (200...

ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, proceedings / N. Jones (ed.). (Lecture notes in computer science)

ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, proceedings / N. Jones (ed.). (Lecture notes in computer science)
紙図書
Springer-Verlagc1990.<M15-A6890>
国立国会図書館
  • 著者標目European Symposium on Programming (3rd : 1990 : Copenhagen, Denmark) Jones, Neil D.

Logic, language and computation : festschrift in honor of Satoru Takasu / Neil D. Jones, Masami Hagiya, Masahiko Sato, eds. (Lecture notes in computer science)

Logic, language and computation : festschrift in honor of Satoru Takasu / Neil D. Jones, Masami Hagiya, Masahiko Sato, eds. (Lecture notes in computer science)
紙図書
Springer-Verlagc1994.<M154-A210>
国立国会図書館全国の図書館
  • 著者標目高須, 達, 1931-1996 Jones, Neil D. 萩谷, 昌己, 1957- 佐藤, 雅彦, 1947-

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

The essence of computation : complexity, analysis, transformation : essays dedicated to Neil D. Jones
紙図書
Torben Æ. Mogensen, David A. Schmidt, I. Hal Sudborough (eds.)Springerc2002
全国の図書館
  • 著者標目Mogensen, Torben Æ. Schmidt, David A. Sudborough, Hal Jones, Neil D.

Programs as data objects : proceedings of a workshop, Copenhagen, Denmark, October 17-19, 1985 / edited by H. Ganzinger and N.D. Jones. (Lecture notes in computer science ; 217)

Programs as data objects : proceedings of a workshop, Copenhagen, Denmark, October 17-19, 1985 / edited by H. Ganzinger and N.D. Jones. (Lecture notes in computer science ; 217)
紙図書
Springer-Verlagc1986.<M159-197>
国立国会図書館
  • 著者標目Ganzinger, H. (Harald) , 1950- Jones, Neil D.

Computability and complexity : from a programming perspective

Computability and complexity : from a programming perspective
紙図書
Neil D. JonesMIT Pressc1997
全国の図書館
  • 著者標目Jones, Neil D.

Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January, 1980 / edited by Neil D. Jones. (Lecture notes in computer science ; 94)

Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January, 1980 / edited by Neil D. Jones. (Lecture notes in computer science ; 94)
紙図書
Springer-Verlag1980.<M159-115>
国立国会図書館
  • 著者標目...rhus, Denmark) Jones, Neil D.

TEMPO : a unified treatment of binding time and parameter passing concepts in programming languages / Neil D. Jones, Steven S. Muchnick. (Lecture notes in computer science ; 66)

TEMPO : a unified treatment of binding time and parameter passing concepts in programming languages / Neil D. Jones, Steven S. Muchnick. (Lecture notes in computer science ; 66)
紙図書
Springer-Verlag1978.<M159-86>
国立国会図書館
  • 著者標目Jones, Neil D. Muchnick, Steven S., 1945-

Logic, language, and computation : festschrift in honor of Satoru Takasu : gw : us

Logic, language, and computation : festschrift in honor of Satoru Takasu : gw : us
紙図書
Neil D. Jones, Masami Hagiya, Masahiko Sato (eds.)Springer-Verlagc1994
全国の図書館
  • 著者標目高須, 達 Jones, Neil D. 萩谷, 昌己 佐藤, 雅彦

Partial evaluation and automatic program generation

Partial evaluation and automatic program generation
紙図書
Neil D. Jones, Carsten K. Gomard, Peter Sestoft ; with chapters by Lars Ole Andersen and Torben MogensenPrentice Hall1993
全国の図書館
  • 著者標目Jones, Neil D. Gomard, Carsten K. Sestoft, P...

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

ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, proceedings : gw : us
紙図書
N. Jones (ed.)Springer-Verlagc1990
全国の図書館
  • 著者標目European Symposium on Programming Jones, Neil D.

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

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
紙図書
edited by Dines Bjørner, Andrei P. Ershov, Neil D. JonesNorth-Holland1988
全国の図書館
  • 著者標目...dreĭ Petrovich Jones, Neil D. IFIP Technical Committee 2--P...

Programs as data objects : proceedings of a workshop, Copenhagen, Denmark, October 17-19, 1985 : gw : us

Programs as data objects : proceedings of a workshop, Copenhagen, Denmark, October 17-19, 1985 : gw : us
紙図書
edited by H. Ganzinger and N.D. JonesSpringer-Verlagc1986
全国の図書館
  • 著者標目Ganzinger, Harald Jones, Neil D. Workshop "Programs as Data Ob...

Program flow analysis : theory and applications

Program flow analysis : theory and applications
紙図書
[edited by] Steven S. Muchnick, Neil D. JonesPrentice-Hallc1981
全国の図書館
  • 著者標目Muchnick, Steven S. Jones, Neil D.

Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January 14-18, 1980 : gw : us

Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January 14-18, 1980 : gw : us
紙図書
edited by Neil D. JonesSpringer-Verlag1980
全国の図書館
  • 著者標目Workshop on Semantics-directed Compiler Generation Jones, Neil D.

TEMPO : a unified treatment of binding time and parameter passing concepts in programming languages : gw : us

TEMPO : a unified treatment of binding time and parameter passing concepts in programming languages : gw : us
紙図書
Neil D. Jones, Steven S. MuchnickSpringer-Verlag1978
全国の図書館
  • 著者標目Jones, Neil D. Muchnick, Steven S.

Computability theory : an introduction

Computability theory : an introduction
紙図書
Neil D. JonesAcademic Press1973
全国の図書館
  • 著者標目Jones, Neil D.

Formal languages and rudimentary attributes

Formal languages and rudimentary attributes
紙図書
Neil D. JonesUniversity of Western Ontario1967
全国の図書館
  • 著者標目Jones, Neil D.

検索結果は以上です。

RSS