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
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(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
-
依托单位:
海外基金