Adaptations By Animals- Desert, Mountain
Adaptations By Animals- Desert, Mountain
批准号:
7404861
负责人:
David Dill
金额:
$8.63万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
1974
资助国家:
美国
项目状态:
已结题
起止时间:
1974-09-01 至 1977-02-28
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
INSPIRE track 1: Asynchronous circuit design principles in the essential regulatory network of Caulobacter Crescentus
-
批准号:1344284
-
项目类别:Continuing Grant
-
资助金额:$100.0万
-
财政年份:2013
-
负责人:David Dill
-
依托单位:
Collaborative Research: CT-CS: A Center for Correct, Usable, Reliable, Auditable, and Transparent Elections (ACCURATE)
-
批准号:0524155
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2005
-
负责人:David Dill
-
依托单位:
ITR/SY: Computational Logic Tools for Research and Education
-
批准号:0121403
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2001
-
负责人:David Dill
-
依托单位:
Formal Verification of Microprocessors by Design Reduction
-
批准号:9806889
-
项目类别:Continuing Grant
-
资助金额:$35.65万
-
财政年份:1998
-
负责人:David Dill
-
依托单位:
Presidential Young Investigator Award: Automatic Verification of Finite State Concurrent Systems
-
批准号:8858807
-
项目类别:Continuing Grant
-
资助金额:$31.2万
-
财政年份:1988
-
负责人:David Dill
-
依托单位:
海外基金