Fy 1980 Science Faculty Professional Development Program
Fy 1980 Science Faculty Professional Development Program
批准号:
8013091
负责人:
Kim Bruce
金额:
$2.21万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1980
资助国家:
美国
项目状态:
已结题
起止时间:
1980-04-15 至 1983-09-30
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
RUI: Modules and Parallel Specialization of Object Types
-
批准号:0632458
-
项目类别:Continuing Grant
-
资助金额:$13.07万
-
财政年份:2006
-
负责人:Kim Bruce
-
依托单位:
RUI: Modules and Parallel Specialization of Object Types
-
批准号:0306486
-
项目类别:Continuing Grant
-
资助金额:$20.69万
-
财政年份:2003
-
负责人:Kim Bruce
-
依托单位:
Making Interaction Fundamental in Object-oriented CS1: Programming Tools and Curricular Materials to Support Concurrency and Event-driven Programming
-
批准号:0088895
-
项目类别:Standard Grant
-
资助金额:$28.79万
-
财政年份:2001
-
负责人:Kim Bruce
-
依托单位:
RUI: Design of Object-Oriented Programming Languages
-
批准号:9988210
-
项目类别:Standard Grant
-
资助金额:$10.4万
-
财政年份:2000
-
负责人:Kim Bruce
-
依托单位:
RUI: Design of Object-Oriented Programming Languages
-
批准号:9870253
-
项目类别:Standard Grant
-
资助金额:$10.4万
-
财政年份:1998
-
负责人:Kim Bruce
-
依托单位:
RUI: Semantics and Design of Object-Oriented Languages
-
批准号:9424123
-
项目类别:Continuing Grant
-
资助金额:$14.44万
-
财政年份:1995
-
负责人:Kim Bruce
-
依托单位:
Foundations of Object-Oriented Languages Workshop; June 24-26, l993; Williamstown, MA.
-
批准号:9302344
-
项目类别:Standard Grant
-
资助金额:$0.91万
-
财政年份:1993
-
负责人:Kim Bruce
-
依托单位:
RUI: Semantics of Object-Oriented Languages
-
批准号:9121778
-
项目类别:Continuing Grant
-
资助金额:$14.37万
-
财政年份:1992
-
负责人:Kim Bruce
-
依托单位:
Type Structures in Programming Languages
-
批准号:9105316
-
项目类别:Standard Grant
-
资助金额:$2.06万
-
财政年份:1991
-
负责人:Kim Bruce
-
依托单位:
The Semantics of Types and Polymorphism in Programming
-
批准号:8603890
-
项目类别:Standard Grant
-
资助金额:$5.46万
-
财政年份:1986
-
负责人:Kim Bruce
-
依托单位:
RUI: Models of Typed and Untyped Lambda Calculus (Computer Research)
-
批准号:8402700
-
项目类别:Continuing Grant
-
资助金额:$4.75万
-
财政年份:1984
-
负责人:Kim Bruce
-
依托单位:
Semantics of Typed and Untyped Lambda Calculus (MathematicalLogic)
-
批准号:8300436
-
项目类别:Standard Grant
-
资助金额:$0.74万
-
财政年份:1983
-
负责人:Kim Bruce
-
依托单位:
Models of Typed and Untyped Lambda Calculus
-
批准号:8202851
-
项目类别:Standard Grant
-
资助金额:$3.06万
-
财政年份:1982
-
负责人:Kim Bruce
-
依托单位:
国内基金
海外基金
登录
查看更多内容
基于建构学理论的我国早期建筑遗产建造技术体系研究(1949-1980)——以砌体拱壳为例
-
批准号:52278025
-
项目类别:面上项目
-
资助金额:54万元
-
批准年份:2022
-
负责人:夏珩
-
依托单位:
1980年代以来秋冬季北极巴伦支海海冰面积影响冬季乌拉尔山阻塞高压活动的机理与模拟分析
-
批准号:
-
项目类别:省市级项目
-
资助金额:10.0万元
-
批准年份:2021
-
负责人:张皓岚
-
依托单位:
弗莱彻《比较法建筑史》在中国的移植与转化(1920s-1980s)
-
批准号:51508322
-
项目类别:青年科学基金项目
-
资助金额:20.0万元
-
批准年份:2015
-
负责人:赵冬梅
-
依托单位:
遥感蒸散发产品结合地面观测研究1980~2011年中国陆面实际蒸散发时空变化
-
批准号:41401017
-
项目类别:青年科学基金项目
-
资助金额:26.0万元
-
批准年份:2014
-
负责人:杨秀芹
-
依托单位:
地区差距测度与均等化转移支付制度研究:基于1980年至今省市县三级政府数据的实证分析
-
批准号:71373031
-
项目类别:面上项目
-
资助金额:57.0万元
-
批准年份:2013
-
负责人:姜永华
-
依托单位:
中国建筑理论学者及其主要建筑创作理论的系统性研究(1980-2010)
-
批准号:51208340
-
项目类别:青年科学基金项目
-
资助金额:25.0万元
-
批准年份:2012
-
负责人:张向炜
-
依托单位:
政策分析角度下1980 年代以来城乡景观整体演变研究——以京津冀地区为例
-
批准号:51208348
-
项目类别:青年科学基金项目
-
资助金额:25.0万元
-
批准年份:2012
-
负责人:张春彦
-
依托单位:
1980s以来汉藏回民族地区人地关系演变过程的时空比较研究-以甘肃定西、甘南、临夏为例
-
批准号:40871061
-
项目类别:面上项目
-
资助金额:34.0万元
-
批准年份:2008
-
负责人:陈兴鹏
-
依托单位:
新矿物综合系列研究(1980-1994)
-
批准号:49372084
-
项目类别:面上项目
-
资助金额:8.0万元
-
批准年份:1993
-
负责人:黄蕴慧
-
依托单位: