刷新
{{item.name}}会员
Formale Definition und Analyse einer idealisierten objektorientierten Programmiersprache
理想化的面向对象编程语言的形式化定义和分析
基本信息
- 批准号：5406711
- 负责人：
- 金额：--
- 依托单位：
- 依托单位国家：德国
- 项目类别：Research Grants
- 财政年份：2003
- 资助国家：德国
- 起止时间：2002-12-31 至 2003-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. Tobias Nipkow, Ph.D.其他文献
Professor Dr. Tobias Nipkow, Ph.D.的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Professor Dr. Tobias Nipkow, Ph.D.', 18)}}的其他基金
Verifizierte Algorithmenanalyse
验证算法分析
- 批准号：
273004067 - 财政年份：2015
- 资助金额：
-- - 项目类别：
Reinhart Koselleck Projects
Verification of Probabilistic Models in Interactive Theorem Provers
交互式定理证明器中概率模型的验证
- 批准号：
226793109 - 财政年份：2013
- 资助金额：
-- - 项目类别：
Research Grants
Hardening the Hammer: More Integration of Automatic and Interactive Theorem Provers
强化锤子：自动和交互式定理证明器的更多集成
- 批准号：
226154341 - 财政年份：2012
- 资助金额：
-- - 项目类别：
Research Grants
Semantische Modellierung, Analyse und Verifikation von sprachbasierter Software-Sicherheit
基于语言的软件安全语义建模、分析与验证
- 批准号：
47694595 - 财政年份：2007
- 资助金额：
-- - 项目类别：
Research Grants
Integration der Logik HOL mit den Programmiersprachen ML und Haskell
HOL 逻辑与 ML 和 Haskell 编程语言的集成
- 批准号：
14516968 - 财政年份：2005
- 资助金额：
-- - 项目类别：
Research Grants
Exakte Arithmetik für reelle Zahlen als Basis für einen maschinellen Beweis der Keplerschen Vermutung
实数的精确算术作为开普勒猜想的机械证明的基础
- 批准号：
5443474 - 财政年份：2005
- 资助金额：
-- - 项目类别：
Research Grants
Tutorium zum interaktiven Beweisen in Isabelle/HOL
Isabelle/HOL 中的交互式证明教程
- 批准号：
5273368 - 财政年份：2000
- 资助金额：
-- - 项目类别：
Research Grants
相似海外基金
Galaxy evolution in high definition with the world's largest telescopes
使用世界上最大的望远镜高清观察星系演化
- 批准号：
DP240100589 - 财政年份：2024
- 资助金额：
-- - 项目类别：
Discovery Projects
Bodyplan analysis and developmental re-definition of animal phylum.
动物门的身体计划分析和发育重新定义。
- 批准号：
23H02536 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Grant-in-Aid for Scientific Research (B)
Integrated High-Definition Visualization of Digital Archives for Borobudur Temple
婆罗浮屠寺数字档案集成高清可视化
- 批准号：
22KJ3026 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Grant-in-Aid for JSPS Fellows
Quality of HIV Care in the Primary Healthcare Setting in Canada: Creation of a Case Definition
加拿大初级医疗保健环境中的艾滋病毒护理质量：病例定义的创建
- 批准号：
493348 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Realization of "weight of light" as a small mass standard based on the new definition of the kilogram
基于公斤新定义实现“轻重量”小质量标准
- 批准号：
23H01860 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Grant-in-Aid for Scientific Research (B)
A comparison between the legal definition of terrorism and the social construction of terrorism in political and media discourse.
恐怖主义的法律定义与政治和媒体话语中恐怖主义的社会建构的比较。
- 批准号：
2865719 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Studentship
'Definition of the mechanisms sensing viscosity in pancreatic cancer'
“胰腺癌中感知粘度的机制的定义”
- 批准号：
2898118 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Studentship
Establishing a consensus-based definition of air medical transport need for rural patients after injury
建立基于共识的农村患者受伤后航空医疗运输需求定义
- 批准号：
10811026 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Game theory-based significance definition and protection of data in population time-series forecasting market
基于博弈论的人口时间序列预测市场数据的显着性定义和保护
- 批准号：
23KJ0616 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Grant-in-Aid for JSPS Fellows
DeepSafe: High-definition sensor-real edge-case training frameworks for the next generation of robustly trained AVs
DeepSafe：用于下一代经过严格训练的自动驾驶汽车的高清传感器真实边缘情况训练框架
- 批准号：
10063539 - 财政年份：2023
- 资助金额：
-- - 项目类别：
BEIS-Funded Programmes