Jump to main content

yr 〜
yr

Search results 70

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
Paper図書
Neil D. Jones, Markus Müller-Olm (eds.)Springerc2009
Other Libraries in Japan
  • Author Heading (ID)DA00272463 https://ci.nii......ac.jp/author/DA00272463#entity https:/......urceID/NII%7CDA00272463 DA10821127 https://ci.nii.ac....

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
Paper図書
Torben Æ. Mogensen, David A. Schmidt, I. Hal Sudborough (eds.)Springerc2002
Other Libraries in Japan
  • Author Heading (ID)...7CDA01835346 DA00272463 https://ci.nii......ac.jp/author/DA00272463#entity https:/......urceID/NII%7CDA00272463

Computability and complexity : from a programming perspective

Computability and complexity : from a programming perspective
Paper図書
Neil D. JonesMIT Pressc1997
Other Libraries in Japan
  • Author Heading (ID)DA00272463 https://ci.nii......ac.jp/author/DA00272463#entity https:/......urceID/NII%7CDA00272463

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

Logic, language, and computation : festschrift in honor of Satoru Takasu : gw : us
Paper図書
Neil D. Jones, Masami Hagiya, Masahiko Sato (eds.)Springer-Verlagc1994
Other Libraries in Japan
  • Author Heading (ID)...7CDA00727268 DA00272463 https://ci.nii......ac.jp/author/DA00272463#entity https:/......urceID/NII%7CDA00272463 DA00068762 https://ci.nii.ac....

Partial evaluation and automatic program generation

Partial evaluation and automatic program generation
Paper図書
Neil D. Jones, Carsten K. Gomard, Peter Sestoft ; with chapters by Lars Ole Andersen and Torben MogensenPrentice Hall1993
Other Libraries in Japan
  • Author Heading (ID)DA00272463 https://ci.nii......ac.jp/author/DA00272463#entity https:/......urceID/NII%7CDA00272463 DA07707597 https://ci.nii.ac....

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
Paper図書
N. Jones (ed.)Springer-Verlagc1990
Other Libraries in Japan
  • Author Heading (ID)...7CDA00228585 DA00272463 https://ci.nii......ac.jp/author/DA00272463#entity https:/......urceID/NII%7CDA00272463

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
Paper図書
edited by H. Ganzinger and N.D. JonesSpringer-Verlagc1986
Other Libraries in Japan
  • Author Heading (ID)...7CDA00272452 DA00272463 https://ci.nii......ac.jp/author/DA00272463#entity https:/......urceID/NII%7CDA00272463 DA00272521 https://ci.nii.ac....

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
Paper図書
edited by Dines Bjørner, Andrei P. Ershov, Neil D. JonesNorth-Holland1988
Other Libraries in Japan
  • Author Heading (ID)...7CDA02161849 DA00272463 https://ci.nii......ac.jp/author/DA00272463#entity https:/......urceID/NII%7CDA00272463 DA00188491 https://ci.nii.ac....

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
Paper図書
edited by Neil D. JonesSpringer-Verlag1980
Other Libraries in Japan
  • Author Heading (ID)...7CDA02193084 DA00272463 https://ci.nii......ac.jp/author/DA00272463#entity https:/......urceID/NII%7CDA00272463

Program flow analysis : theory and applications

Program flow analysis : theory and applications
Paper図書
[edited by] Steven S. Muchnick, Neil D. JonesPrentice-Hallc1981
Other Libraries in Japan
  • Author Heading (ID)...7CDA02186522 DA00272463 https://ci.nii......ac.jp/author/DA00272463#entity https:/......urceID/NII%7CDA00272463

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
Paper図書
Neil D. Jones, Steven S. MuchnickSpringer-Verlag1978
Other Libraries in Japan
  • Author Heading (ID)DA00272463 https://ci.nii......ac.jp/author/DA00272463#entity https:/......urceID/NII%7CDA00272463 DA02186522 https://ci.nii.ac....

Computability theory : an introduction

Computability theory : an introduction
Paper図書
Neil D. JonesAcademic Press1973
Other Libraries in Japan
  • Author Heading (ID)DA00272463 https://ci.nii......ac.jp/author/DA00272463#entity https:/......urceID/NII%7CDA00272463

Formal languages and rudimentary attributes

Formal languages and rudimentary attributes
Paper図書
Neil D. JonesUniversity of Western Ontario1967
Other Libraries in Japan
  • Author Heading (ID)DA00272463 https://ci.nii......ac.jp/author/DA00272463#entity https:/......urceID/NII%7CDA00272463

道化百人一首

道化百人一首
MicroformDigital図書障害者向け資料あり
香雲亭桜山 作, 生田芳春 画天賜堂明19.7<特66-958>
Available onlineNational Diet Library
  • Author Heading (ID)00487613 00272463

珍妙道化百人一首

珍妙道化百人一首
MicroformDigital図書障害者向け資料あり
香雲亭桜山 (増田繁蔵) 著, 生田芳春 画木村半兵衛明17.2<特59-465>
Available onlineNational Diet Library
  • Author Heading (ID)00487613 00272463

皇朝功臣銘々伝

皇朝功臣銘々伝
MicroformDigital図書障害者向け資料あり
篠田仙果 (久次郎) 編, 生田芳春 画錦耕堂明15.9<特42-831>
Available onlineNational Diet Library
  • Author Heading (ID)00161290 00272463
  •  
  •  
  •  
  •  
  •  
    •  

雪月花三遊新話 初輯

雪月花三遊新話 初輯
MicroformDigital図書障害者向け資料あり
篠田仙果 編, 生田芳春 画大西庄之助明13.12<特42-876>
Available onlineNational Diet Library
  • Author Heading (ID)00161290 00272463
  •  
  •  
  •  
  •  
  •  
    •  

絵入川中島実録錦 上

絵入川中島実録錦 上
MicroformDigital図書障害者向け資料あり
内藤善吉 編, 芳春 画文江堂明15.8<特44-133>
Available onlineNational Diet Library
  • Author Heading (ID)00505455 00272463

不事多侠客伝

不事多侠客伝
MicroformDigital図書障害者向け資料あり
羽田富次郎 編, 生田幾次郎 画大橋堂明12.11<特42-990>
Available onlineNational Diet Library
  • Author Heading (ID)00480972 00272463
  •  
  •  
  •  
  •  
  •  
    •  

[絵本]

[絵本]
MicroformDigital図書障害者向け資料あり
篠田仙果 編, 生田芳春 画山村金三郎明12.5<特42-871>
Available onlineNational Diet Library
  • Author Heading (ID)00161290 00272463
  •  
  •  
  •  
  •  
  •  
    •  
RSS