Travel to Attend: Fifth International Colloquium on Automata, Languages and Programming; Udine, Italy: July 17-21, 1978

前往参加:第五届自动机、语言和编程国际研讨会;

基本信息

  • 批准号:
    7817159
  • 负责人:
  • 金额:
    $ 0.08万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    1978
  • 资助国家:
    美国
  • 起止时间:
    1978-07-17 至 1979-01-31
  • 项目状态:
    已结题

项目摘要

项目成果

期刊论文数量(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 Harel其他文献

InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based Programming
InterPlay:基于场景的编程中的横向扩展和设计过渡
Specifying and executing behavioral requirements: the play-in/play-out approach
  • DOI:
    10.1007/s10270-002-0015-5
  • 发表时间:
    2003-07-01
  • 期刊:
  • 影响因子:
    3.200
  • 作者:
    David Harel;Rami Marelly
  • 通讯作者:
    Rami Marelly
Enquête sur la prise en charge de la douleur aiguë dans les services d’urgences adultes du réseau régional douleur de Basse-Normandie
  • DOI:
    10.1016/s1624-5687(05)80249-5
  • 发表时间:
    2005-06-01
  • 期刊:
  • 影响因子:
  • 作者:
    David Harel;Claire Delorme;Pascal Thibon;Catherine Leroux;Magali Labidi;Céline Juret;Jean-Étienne Lamoureux
  • 通讯作者:
    Jean-Étienne Lamoureux
An infrastructure software perspective toward computation offloading between executable specifications and foundation models
  • DOI:
    10.1007/s11432-025-4311-9
  • 发表时间:
    2025-03-13
  • 期刊:
  • 影响因子:
    7.600
  • 作者:
    Dezhi Ran;Mengzhou Wu;Yuan Cao;Assaf Marron;David Harel;Tao Xie
  • 通讯作者:
    Tao Xie
Towards Trace Visualization and Exploration for Reactive Systems
反应式系统的跟踪可视化和探索

David Harel的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

相似海外基金

Block Travel for U.S. Researchers to Attend the Fifth Bulk Power Systems Dynamics and Control Symposium in Onomichi, Japan on August 26-31, 2001
美国研究人员组团前往参加2001年8月26日至31日在日本尾道举行的第五届大型电力系统动力学与控制研讨会
  • 批准号:
    0123414
  • 财政年份:
    2001
  • 资助金额:
    $ 0.08万
  • 项目类别:
    Standard Grant
International Travel Award to attend Fifth International Congress on Polymers in Concrete - Brighton, England, September 21-24, 1987
荣获国际旅行奖参加第五届国际混凝土聚合物大会 - 布莱顿,英国,1987 年 9 月 21 日至 24 日
  • 批准号:
    8715162
  • 财政年份:
    1987
  • 资助金额:
    $ 0.08万
  • 项目类别:
    Standard Grant
Travel To Attend: Fifth International Conference on Physico-Chemical Hydrodynamics; Tel-Aviv, Israel; December 16-21, 1984
出差参加:第五届国际物理化学流体动力学会议;
  • 批准号:
    8501685
  • 财政年份:
    1984
  • 资助金额:
    $ 0.08万
  • 项目类别:
    Standard Grant
Travel to Attend the Fifth International Conference on Electrical Bio-Impedance; Tokyo, Japan, August 24-26, 1981
出差参加第五届国际电生物阻抗会议;
  • 批准号:
    8112836
  • 财政年份:
    1981
  • 资助金额:
    $ 0.08万
  • 项目类别:
    Standard Grant
Travel to Attend: Fifth International Symposium on Circumpolar Health; Copenhagen, Denmark: March 27-31, 1979
前往参加:第五届环极健康国际研讨会;
  • 批准号:
    7909314
  • 财政年份:
    1979
  • 资助金额:
    $ 0.08万
  • 项目类别:
    Standard Grant
Travel to Attend: Fifth International Symposium on Chemistry of the Mediterranean; Rovinj, Yugoslavia: May 8-12, 1978
前往参加:第五届地中海化学国际研讨会;
  • 批准号:
    7816593
  • 财政年份:
    1978
  • 资助金额:
    $ 0.08万
  • 项目类别:
    Standard Grant
Travel to Attend: Fifth International Colloquium on Automata, Languages and Programming; Udine, Italy: July 17-21, 1978
前往参加:第五届自动机、语言和编程国际研讨会;
  • 批准号:
    7816940
  • 财政年份:
    1978
  • 资助金额:
    $ 0.08万
  • 项目类别:
    Standard Grant
Travel to Attend: Fifth International Conference on Noise In Physical System, Bad Nauheim, Germany: March 13-16, 1978
前往参加:第五届物理系统噪声国际会议,德国巴特瑙海姆:1978 年 3 月 13 日至 16 日
  • 批准号:
    7808032
  • 财政年份:
    1978
  • 资助金额:
    $ 0.08万
  • 项目类别:
    Standard Grant
Travel to Attend: Fifth European Symposium on Powder Metallurgy; Stockholm, Sweden: June 4-8, 1978
前往参加:第五届欧洲粉末冶金研讨会;
  • 批准号:
    7806905
  • 财政年份:
    1978
  • 资助金额:
    $ 0.08万
  • 项目类别:
    Standard Grant
Travel to Attend: Fifth International Ocean Development Conference; Tokyo, Japan: September 26-30, 1978
出差参加:第五届国际海洋发展大会;
  • 批准号:
    7820556
  • 财政年份:
    1978
  • 资助金额:
    $ 0.08万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了