刷新
{{item.name}}会员
Algorithmen über omega-Automaten und Anwendungen in der Programmkonstruktion und -verifikation
omega机算法及其在程序构建和验证中的应用
基本信息
- 批准号：5210596
- 负责人：
- 金额：--
- 依托单位：
- 依托单位国家：德国
- 项目类别：Priority Programmes
- 财政年份：1995
- 资助国家：德国
- 起止时间：1994-12-31 至 1999-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
No abstract available
没有可用的摘要
项目成果
期刊论文数量（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 }}
Professor Dr. Wolfgang Thomas其他文献
Professor Dr. Wolfgang Thomas的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Professor Dr. Wolfgang Thomas', 18)}}的其他基金
Games for Analysis and Synthesis of Interactive Computational Systems (GASICS)
交互式计算系统分析与综合游戏 (GASICS)
- 批准号：
72093553 - 财政年份：2008
- 资助金额：
-- - 项目类别：
Research Grants
相似国自然基金
基于circRNA_013526/miR-466c/BER通路探讨益肾通络方对苯并(a)芘致生精细胞DNA损伤的修复机制
- 批准号：82174377
- 批准年份：2021
- 资助金额：55 万元
- 项目类别：面上项目
基于生物滴滤的3D-BER催化转化疏水性恶臭界面传质强化及微生物学机制
- 批准号：32060291
- 批准年份：2020
- 资助金额：35 万元
- 项目类别：地区科学基金项目
高分子刷诱导构筑功能性可控空心结构的方法建立与性能研究
- 批准号：22001175
- 批准年份：2020
- 资助金额：24.0 万元
- 项目类别：青年科学基金项目
胃癌细胞外泌体lnc-BER诱导腹膜间皮细胞自噬性分泌HMGB1促进腹膜转移的机制研究
- 批准号：82003104
- 批准年份：2020
- 资助金额：24.0 万元
- 项目类别：青年科学基金项目
基于海南候鸟人群研究NAIs通过BER途径调节高血压的作用及分子机制
- 批准号：82060603
- 批准年份：2020
- 资助金额：35 万元
- 项目类别：地区科学基金项目
TET2通过BER/MMR途径调控血液髓系肿瘤的研究
- 批准号：81870150
- 批准年份：2018
- 资助金额：57.0 万元
- 项目类别：面上项目
BER失衡超载DNA突变负荷决定肺癌抗PD-1治疗反应及其机制的研究
- 批准号：81772495
- 批准年份：2017
- 资助金额：57.0 万元
- 项目类别：面上项目
TET1/BER通路在环境化学物致肺癌过程中介导表观遗传调控的作用机制研究
- 批准号：81573114
- 批准年份：2015
- 资助金额：50.0 万元
- 项目类别：面上项目
BER通路基因miRNA结合位点基因多态性与结直肠癌易感性的关联及功能研究
- 批准号：81402743
- 批准年份：2014
- 资助金额：23.0 万元
- 项目类别：青年科学基金项目
拟南芥茉莉酸信号途径重要基因BER6的克隆与功能分析
- 批准号：31070251
- 批准年份：2010
- 资助金额：30.0 万元
- 项目类别：面上项目
相似海外基金
Conception sismique des contreventements berçants en acier munis de fusibles en cisaillement avec capacité de recentrage à chaque étage
城市保险保险和城市保险的预防措施概念
- 批准号：
565936-2021 - 财政年份：2021
- 资助金额：
-- - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Master's
Mechanisms of BER in Genomic Integrity and Epigenetic Regulation
BER 在基因组完整性和表观遗传调控中的机制
- 批准号：
10390444 - 财政年份：2020
- 资助金额：
-- - 项目类别：
Die kunstphilosophische Bedeutungen der Hegelschen Lehre vom Gemälde in der Vorlesungen über Ästhetik und die Sammlung Boisserée
黑格尔宝石的艺术哲学研究
- 批准号：
20H01204 - 财政年份：2020
- 资助金额：
-- - 项目类别：
Grant-in-Aid for Scientific Research (B)
Mechanisms of BER in Genomic Integrity and Epigenetic Regulation
BER 在基因组完整性和表观遗传调控中的机制
- 批准号：
10605583 - 财政年份：2020
- 资助金额：
-- - 项目类别：
Mechanisms of BER in Genomic Integrity and Epigenetic Regulation
BER 在基因组完整性和表观遗传调控中的机制
- 批准号：
10726878 - 财政年份：2020
- 资助金额：
-- - 项目类别：
Mechanisms of BER in Genomic Integrity and Epigenetic Regulation
BER 在基因组完整性和表观遗传调控中的机制
- 批准号：
10606489 - 财政年份：2020
- 资助金额：
-- - 项目类别：
Mechanisms of DNA hand-off during lesion repair in BER and NER supplement
BER 和 NER 补充中损伤修复过程中 DNA 传递的机制
- 批准号：
9895224 - 财政年份：2019
- 资助金额：
-- - 项目类别：
Mechanisms of DNA hand-off during lesion repair in BER and NER
BER 和 NER 损伤修复过程中 DNA 传递的机制
- 批准号：
10377257 - 财政年份：2019
- 资助金额：
-- - 项目类别：
Mechanisms of DNA hand-off during lesion repair in BER and NER
BER 和 NER 损伤修复过程中 DNA 传递的机制
- 批准号：
10334423 - 财政年份：2019
- 资助金额：
-- - 项目类别：
Mechanisms of DNA hand-off during lesion repair in BER and NER
BER 和 NER 损伤修复过程中 DNA 传递的机制
- 批准号：
9981216 - 财政年份：2019
- 资助金额：
-- - 项目类别：