刷新
{{item.name}}会员
Joint Seminar on Semantics of Concurrency
并发语义联合研讨会
基本信息
- 批准号：8302359
- 负责人：
- 金额：--
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：1983
- 资助国家：美国
- 起止时间：1983-10-27 至 1983-11-27
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（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 }}
Stephen Brookes其他文献
The New Public Leadership Challenge
新的公共领导力挑战
- DOI：
- 发表时间：
2010 - 期刊：
- 影响因子：0
- 作者：
Stephen Brookes;Keith Grint - 通讯作者：
Keith Grint
Wandering Spur Suppression in a 4.9-GHz Fractional-N Frequency Synthesizer
4.9GHz 小数 N 频率合成器中的漂移杂散抑制
- DOI：
10.1109/jssc.2022.3163080 - 发表时间：
2022 - 期刊：
- 影响因子：5.4
- 作者：
Dawei Mai;Yann Donnelly;Michael Peter Kennedy;Stefano Tulisi;James Breslin;P. Griffin;Michael Connor;Stephen Brookes;Brian Shelly;M. Keaveney - 通讯作者：
M. Keaveney
Data-sharing and Crime Reduction: The Long and Winding Road
- DOI：
10.1057/palgrave.cpcs.8140158 - 发表时间：
2003-10-01 - 期刊：
- 影响因子：1.100
- 作者：
Stephen Brookes;Kate Moss;Ken Pease - 通讯作者：
Ken Pease
Community Policing in Context: Has it Come of Age?
- DOI：
10.1057/palgrave.cpcs.8150005 - 发表时间：
2006-07-11 - 期刊：
- 影响因子：1.100
- 作者：
Stephen Brookes - 通讯作者：
Stephen Brookes
Using fixed-point semantics to prove retiming lemmas
- DOI：
10.1007/bf01383944 - 发表时间：
1993-02-01 - 期刊：
- 影响因子：0.800
- 作者：
Stephen Brookes - 通讯作者：
Stephen Brookes
Stephen Brookes的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Stephen Brookes', 18)}}的其他基金
SHF: Small: Separation Principles for Concurrent Programs: Semantics, Logics, and Methodology
SHF：小：并发程序的分离原则：语义、逻辑和方法论
- 批准号：
1017011 - 财政年份：2010
- 资助金额：
-- - 项目类别：
Standard Grant
A Resource-Sensitive Semantic Framework for Concurrent Programs
并发程序的资源敏感语义框架
- 批准号：
0429505 - 财政年份：2005
- 资助金额：
-- - 项目类别：
Continuing Grant
A Semantically-Based Methodology for Proving Safety, Liveness, and Security Properties of Parallel Systems
一种基于语义的并行系统安全性、活性和保密属性证明方法
- 批准号：
9988551 - 财政年份：2000
- 资助金额：
-- - 项目类别：
Continuing Grant
Conference on Mathematical Foundations of Programming Semantics (March 25-28, 190) Pittsburgh, Pennsylvania
编程语义数学基础会议（190 年 3 月 25 日至 28 日）宾夕法尼亚州匹兹堡
- 批准号：
9020912 - 财政年份：1991
- 资助金额：
-- - 项目类别：
Standard Grant
相似海外基金
Conference: Southern California Geometric Analysis Seminar
会议：南加州几何分析研讨会
- 批准号：
2406732 - 财政年份：2024
- 资助金额：
-- - 项目类别：
Standard Grant
Conference: 2024 Post-Transcriptional Gene Regulation Gordon Research Conference and Seminar: The Versatility of RNA in the Living World
会议：2024年转录后基因调控戈登研究会议及研讨会：RNA在生活世界中的多功能性
- 批准号：
2422760 - 财政年份：2024
- 资助金额：
-- - 项目类别：
Standard Grant
Conference: Northeast Probability Seminar 2023-2025
会议：东北概率研讨会2023-2025
- 批准号：
2331449 - 财政年份：2024
- 资助金额：
-- - 项目类别：
Continuing Grant
Conference: 2024 Protein Folding Dynamics Gordon Research Seminar
会议：2024年蛋白质折叠动力学戈登研究研讨会
- 批准号：
2406203 - 财政年份：2024
- 资助金额：
-- - 项目类别：
Standard Grant
Collaborative Research: Conference: Brazos Analysis Seminar
合作研究：会议：Brazos 分析研讨会
- 批准号：
2400111 - 财政年份：2024
- 资助金额：
-- - 项目类别：
Standard Grant
Collaborative Research: Conference: Brazos Analysis Seminar
合作研究：会议：Brazos 分析研讨会
- 批准号：
2400115 - 财政年份：2024
- 资助金额：
-- - 项目类别：
Standard Grant
Collaborative Research: Conference: Brazos Analysis Seminar
合作研究：会议：Brazos 分析研讨会
- 批准号：
2400112 - 财政年份：2024
- 资助金额：
-- - 项目类别：
Standard Grant
Conference: 2024 Plant Molecular Biology Gordon Research Conference and Seminar
会议：2024植物分子生物学戈登研究会议暨研讨会
- 批准号：
2422380 - 财政年份：2024
- 资助金额：
-- - 项目类别：
Standard Grant
Conference: 2024 Neural Mechanisms of Acoustic Communication Gordon Research Conference and Seminar
会议：2024年声学通讯的神经机制戈登研究会议暨研讨会
- 批准号：
2423414 - 财政年份：2024
- 资助金额：
-- - 项目类别：
Standard Grant