Programming methodology
Programming methodology
批准号:
9275-1993
负责人:
Hehner, Eric
金额:
$1.68万
依托单位:
依托单位国家:
加拿大
项目类别:
Discovery Grants Program - Individual
财政年份:
1994
资助国家:
加拿大
项目状态:
已结题
起止时间:
1994-01-01 至 1995-12-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Formal methods of programming
-
批准号:9275-2008
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.9万
-
财政年份:2012
-
负责人:Hehner, Eric
-
依托单位:
Formal methods of programming
-
批准号:9275-2008
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.9万
-
财政年份:2011
-
负责人:Hehner, Eric
-
依托单位:
Formal methods of programming
-
批准号:9275-2008
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.9万
-
财政年份:2010
-
负责人:Hehner, Eric
-
依托单位:
Formal methods of programming
-
批准号:9275-2008
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.9万
-
财政年份:2009
-
负责人:Hehner, Eric
-
依托单位:
Formal methods of programming
-
批准号:9275-2008
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.9万
-
财政年份:2008
-
负责人:Hehner, Eric
-
依托单位:
Formal methods of software design
-
批准号:9275-2003
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.89万
-
财政年份:2006
-
负责人:Hehner, Eric
-
依托单位:
Formal methods of software design
-
批准号:9275-2003
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.89万
-
财政年份:2005
-
负责人:Hehner, Eric
-
依托单位:
Formal methods of software design
-
批准号:9275-2003
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.89万
-
财政年份:2004
-
负责人:Hehner, Eric
-
依托单位:
Formal methods of software design
-
批准号:9275-2003
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.89万
-
财政年份:2003
-
负责人:Hehner, Eric
-
依托单位:
Programming methodology
-
批准号:9275-1999
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.84万
-
财政年份:2002
-
负责人:Hehner, Eric
-
依托单位:
Programming methodology
-
批准号:9275-1999
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.84万
-
财政年份:2001
-
负责人:Hehner, Eric
-
依托单位:
Programming methodology
-
批准号:9275-1999
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.84万
-
财政年份:2000
-
负责人:Hehner, Eric
-
依托单位:
Programming methodology
-
批准号:9275-1999
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.84万
-
财政年份:1999
-
负责人:Hehner, Eric
-
依托单位:
Programming methodology
-
批准号:9275-1996
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.76万
-
财政年份:1998
-
负责人:Hehner, Eric
-
依托单位:
Programming methodology
-
批准号:9275-1996
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.6万
-
财政年份:1997
-
负责人:Hehner, Eric
-
依托单位:
Programming methodology
-
批准号:9275-1996
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.6万
-
财政年份:1996
-
负责人:Hehner, Eric
-
依托单位:
Programming methodology
-
批准号:9275-1993
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.68万
-
财政年份:1995
-
负责人:Hehner, Eric
-
依托单位:
Programming methodology
-
批准号:9275-1993
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.68万
-
财政年份:1993
-
负责人:Hehner, Eric
-
依托单位:
The relation between logic and programming
-
批准号:9275-1990
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.93万
-
财政年份:1992
-
负责人:Hehner, Eric
-
依托单位:
The relation between logic and programming
-
批准号:9275-1990
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.93万
-
财政年份:1991
-
负责人:Hehner, Eric
-
依托单位:
国内基金
海外基金
基于成份法的致洪暴雨过程组织化深厚湿对流机理研究
-
批准号:40575022
-
项目类别:面上项目
-
资助金额:35.0万元
-
批准年份:2005
-
负责人:陆汉城
-
依托单位: