课题基金 / 基金详情

Toward a Methodology For Multiprogrammed Nondeterminism

Toward a Methodology For Multiprogrammed Nondeterminism
走向多程序非确定性方法论
批准号:
8004130
负责人:
Richard Salter
金额:
$2.5万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1980
资助国家:
美国
项目状态:
已结题
起止时间:
1980-07-01 至 1982-12-31

项目摘要

项目成果

Richard Salter的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
CPATH- 2: Teaching Computational Thinking through Integration of Dynamic Systems Modeling
  • 批准号:
    0939153
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $79.85万
  • 财政年份:
    2009
  • 负责人:
    Richard Salter
  • 依托单位:
S-STEM Scholarships at Oberlin College: Supporting Undergraduate Engagement in Computation and Modeling
  • 批准号:
    0728638
  • 项目类别:
    Standard Grant
  • 资助金额:
    $54.1万
  • 财政年份:
    2007
  • 负责人:
    Richard Salter
  • 依托单位:
GRAPH REDUCTION MODELS OF LOGIC PROGRAMMING CONTROL
  • 批准号:
    9002132
  • 项目类别:
    Standard Grant
  • 资助金额:
    $10.0万
  • 财政年份:
    1990
  • 负责人:
    Richard Salter
  • 依托单位:
海外基金