Computer Research Equipment (Computer Science)
计算机研究设备(计算机科学)
基本信息
- 批准号:8405029
- 负责人:
- 金额:$ 6.6万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:1984
- 资助国家:美国
- 起止时间:1984-07-15 至 1985-06-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Bruce Weide其他文献
Bruce Weide的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Bruce Weide', 18)}}的其他基金
SHF: Medium: Collaborative Research: Specification and Mathematics Engineering for the Verified Software End-Game
SHF:媒介:协作研究:已验证软件最终游戏的规范和数学工程
- 批准号:
1162331 - 财政年份:2012
- 资助金额:
$ 6.6万 - 项目类别:
Standard Grant
Automated Support for Developing Logical Reasoning Skills in Discrete Mathematics Courses
自动支持离散数学课程中逻辑推理技能的发展
- 批准号:
0942542 - 财政年份:2010
- 资助金额:
$ 6.6万 - 项目类别:
Standard Grant
CPA-SEL: Collaborative Research - Continuing Progress Toward Verified Software
CPA-SEL:协作研究 - 不断取得验证软件的进展
- 批准号:
0811737 - 财政年份:2008
- 资助金额:
$ 6.6万 - 项目类别:
Standard Grant
Collaborative Research: Logical Support for Formal Verification
协作研究:形式验证的逻辑支持
- 批准号:
0701260 - 财政年份:2007
- 资助金额:
$ 6.6万 - 项目类别:
Standard Grant
ITR: Principles of Distributed Component-Based Software
ITR:基于分布式组件的软件原理
- 批准号:
0081596 - 财政年份:2000
- 资助金额:
$ 6.6万 - 项目类别:
Continuing Grant
Toward Scalable Software Engineering Disciplines
迈向可扩展的软件工程学科
- 批准号:
9311702 - 财政年份:1993
- 资助金额:
$ 6.6万 - 项目类别:
Continuing Grant
Practical New-Generation Reusable Software Components
实用的新一代可重用软件组件
- 批准号:
9111892 - 财政年份:1991
- 资助金额:
$ 6.6万 - 项目类别:
Standard Grant
Design, Specification, and Implementation of Reusable Software Components
可重用软件组件的设计、规范和实现
- 批准号:
8802312 - 财政年份:1988
- 资助金额:
$ 6.6万 - 项目类别:
Standard Grant
Statistical Methods For Algorithm Design and Analysis
算法设计与分析的统计方法
- 批准号:
7912688 - 财政年份:1979
- 资助金额:
$ 6.6万 - 项目类别:
Standard Grant
相似国自然基金
Research on Quantum Field Theory without a Lagrangian Description
- 批准号:24ZR1403900
- 批准年份:2024
- 资助金额:0.0 万元
- 项目类别:省市级项目
Cell Research
- 批准号:31224802
- 批准年份:2012
- 资助金额:24.0 万元
- 项目类别:专项基金项目
Cell Research
- 批准号:31024804
- 批准年份:2010
- 资助金额:24.0 万元
- 项目类别:专项基金项目
Cell Research (细胞研究)
- 批准号:30824808
- 批准年份:2008
- 资助金额:24.0 万元
- 项目类别:专项基金项目
Research on the Rapid Growth Mechanism of KDP Crystal
- 批准号:10774081
- 批准年份:2007
- 资助金额:45.0 万元
- 项目类别:面上项目
相似海外基金
Equipment: MRI: Track 1 Acquisition of a Digital Real-Time Simulator to Enhance Research and Student Research Training in Next-Generation Engineering and Computer Science
设备: MRI:轨道 1 采购数字实时模拟器,以加强下一代工程和计算机科学的研究和学生研究培训
- 批准号:
2320619 - 财政年份:2023
- 资助金额:
$ 6.6万 - 项目类别:
Standard Grant
MRI: Acquisition of Automatic Test Equipment to Enhance Research and Research Training in Engineering and Computer Science at San Francisco State University
MRI:采购自动测试设备以加强旧金山州立大学工程和计算机科学领域的研究和研究培训
- 批准号:
2018728 - 财政年份:2020
- 资助金额:
$ 6.6万 - 项目类别:
Standard Grant
Computer equipment for RNomics research
用于RNomics研究的计算机设备
- 批准号:
376229-2009 - 财政年份:2008
- 资助金额:
$ 6.6万 - 项目类别:
Research Tools and Instruments - Category 1 (<$150,000)
Computer-controlled operant systems and video recording equipment for comparative cognition research
用于比较认知研究的计算机控制操作系统和视频记录设备
- 批准号:
316021-2005 - 财政年份:2004
- 资助金额:
$ 6.6万 - 项目类别:
Research Tools and Instruments - Category 1 (<$150,000)
Acquisition of Computer Equipment for Crustal Deformation Research
购置用于地壳变形研究的计算机设备
- 批准号:
0075680 - 财政年份:2000
- 资助金额:
$ 6.6万 - 项目类别:
Standard Grant
Computer equipment for the algorithm research group
算法研究组计算机设备
- 批准号:
230366-2000 - 财政年份:1999
- 资助金额:
$ 6.6万 - 项目类别:
Research Tools and Instruments - Category 1 (<$150,000)
CISE Research Instrumentation: Equipment for Diverse Computer Architecture Research
CISE 研究仪器:用于多种计算机架构研究的设备
- 批准号:
9729839 - 财政年份:1998
- 资助金额:
$ 6.6万 - 项目类别:
Standard Grant
Research Equipment Grant: Computer Simulation and Visualization Equipment
研究设备补助金:计算机模拟和可视化设备
- 批准号:
9500188 - 财政年份:1995
- 资助金额:
$ 6.6万 - 项目类别:
Standard Grant
ENGINEERING RESEARCH EQUIPMENT: Computer Workstation
工程研究设备: 计算机工作站
- 批准号:
9411825 - 财政年份:1994
- 资助金额:
$ 6.6万 - 项目类别:
Standard Grant
ENGINEERING RESEARCH EQUIPMENT: Computer for Research on Intelligent Systems
工程研究装备:智能系统研究计算机
- 批准号:
9411579 - 财政年份:1994
- 资助金额:
$ 6.6万 - 项目类别:
Standard Grant