刷新
{{item.name}}会员
Acquisition of Equipment for Computer Research
购置计算机研究设备
基本信息
- 批准号：8505451
- 负责人：
- 金额：--
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：1985
- 资助国家：美国
- 起止时间：1985-05-15 至 1986-04-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 }}
David Gries其他文献
Two Tagless Variations on the Deutsch-Schorr-Waite Algorithm
Deutsch-Schorr-Waite 算法的两种无标签变体
- DOI：
10.1016/0020-0190(86)90024-4 - 发表时间：
1986 - 期刊：
- 影响因子：0.5
- 作者：
Mark C. Hamburg;David Gries - 通讯作者：
David Gries
Characterizations of certain classes of norms
- DOI：
10.1007/bf02165157 - 发表时间：
1967-05-01 - 期刊：
- 影响因子：2.200
- 作者：
David Gries - 通讯作者：
David Gries
The Schorr-Waite graph marking algorithm
- DOI：
10.1007/bf00289068 - 发表时间：
1979-09-01 - 期刊：
- 影响因子：0.500
- 作者：
David Gries - 通讯作者：
David Gries
General correctness: A unification of partial and total correctness
- DOI：
10.1007/bf00290146 - 发表时间：
1985-04-01 - 期刊：
- 影响因子：0.500
- 作者：
Dean Jacobs;David Gries - 通讯作者：
David Gries
Describing an algorithm by Hopcroft
- DOI：
10.1007/bf00264025 - 发表时间：
1973-06-01 - 期刊：
- 影响因子：0.500
- 作者：
David Gries - 通讯作者：
David Gries
David Gries的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('David Gries', 18)}}的其他基金
BPC-DP: Worlds for Information Technology and Science (WITS)
BPC-DP：信息技术和科学世界 (WITS)
- 批准号：
0634418 - 财政年份：2007
- 资助金额：
-- - 项目类别：
Standard Grant
IFIP Workshop (PROCOMET'98): June 18-22, 1998, Long Island, NY
IFIP 研讨会 (PROCOMET98)：1998 年 6 月 18-22 日，纽约长岛
- 批准号：
9714755 - 财政年份：1998
- 资助金额：
-- - 项目类别：
Standard Grant
Software Engineering with a Transformational System
具有转型系统的软件工程
- 批准号：
9503319 - 财政年份：1995
- 资助金额：
-- - 项目类别：
Continuing grant
Development of a Teaching Laboratory for an Introductory Programming Course
编程入门课程教学实验室的开发
- 批准号：
9451507 - 财政年份：1994
- 资助金额：
-- - 项目类别：
Standard Grant
CISE Educational Infrastructure: Revitalizing the Computer Science Curriculum
CISE 教育基础设施：重振计算机科学课程
- 批准号：
9214957 - 财政年份：1992
- 资助金额：
-- - 项目类别：
Standard Grant
A New Programming Language and Environment
新的编程语言和环境
- 批准号：
8800465 - 财政年份：1988
- 资助金额：
-- - 项目类别：
Continuing grant
Coordinated Experimental Research on Systems for Constructing and Manipulating Complex Objects
构建和操纵复杂物体的系统的协调实验研究
- 批准号：
8521394 - 财政年份：1986
- 资助金额：
-- - 项目类别：
Continuing grant
Development and Implementation of a New Language
新语言的开发和实现
- 批准号：
8320274 - 财政年份：1984
- 资助金额：
-- - 项目类别：
Continuing Grant
Travel to Attend: 4th International Conference on Software Engineering; Munich, West Germany; Sept 17-19, 1979
出差参加：第四届软件工程国际会议；
- 批准号：
7916660 - 财政年份：1979
- 资助金额：
-- - 项目类别：
Standard Grant
相似海外基金
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
- 资助金额：
-- - 项目类别：
Standard Grant
Equipment: MRI: Track 1 Acquisition of a high-performance computer cluster for computational biology
设备： MRI：轨道 1 获取用于计算生物学的高性能计算机集群
- 批准号：
2320846 - 财政年份：2023
- 资助金额：
-- - 项目类别：
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
- 资助金额：
-- - 项目类别：
Standard Grant
Acquisition of Geophysical Survey Equipment and Computer Processing Support for Archaeology
为考古学获取地球物理测量设备和计算机处理支持
- 批准号：
0619464 - 财政年份：2006
- 资助金额：
-- - 项目类别：
Standard Grant
Acquisition of Computer Equipment for Crustal Deformation Research
购置用于地壳变形研究的计算机设备
- 批准号：
0075680 - 财政年份：2000
- 资助金额：
-- - 项目类别：
Standard Grant
Acquisition of Computer Equipment for an Advanced Computational Facility
为先进计算设施购置计算机设备
- 批准号：
9974789 - 财政年份：1999
- 资助金额：
-- - 项目类别：
Standard Grant
Equipment Acquisition/Development of a Multi-Use Physical/ Computer Science Laboratory
多用途物理/计算机科学实验室的设备采购/开发
- 批准号：
9751351 - 财政年份：1998
- 资助金额：
-- - 项目类别：
Standard Grant
Acquisition of Computer Equipment for Development of Algorithms for Scientific Computing
购置计算机设备以开发科学计算算法
- 批准号：
9512142 - 财政年份：1995
- 资助金额：
-- - 项目类别：
Standard Grant
Computer Equipment to Improve Data Acquisition and Analysis in Biology Labs
改善生物实验室数据采集和分析的计算机设备
- 批准号：
9351521 - 财政年份：1993
- 资助金额：
-- - 项目类别：
Standard Grant
Equipment Acquisition for Computer Laboratory
计算机实验室设备购置
- 批准号：
9051818 - 财政年份：1990
- 资助金额：
-- - 项目类别：
Standard Grant