Special issue for the 42nd International Colloquium on Automata, Languages and Programming, ICALP 2015, Kyoto, Japan

Halldorsson Magnus M.; Kobayashi Naoki; Speckmann Bettina

首页> 外文期刊>Information and computation >Special issue for the 42nd International Colloquium on Automata, Languages and Programming, ICALP 2015, Kyoto, Japan

【24h】

Special issue for the 42nd International Colloquium on Automata, Languages and Programming, ICALP 2015, Kyoto, Japan

机译：第42届国际自动机，语言和编程学术讨论会特刊，ICALP 2015，日本京都

获取原文

获取原文并翻译 | 示例

开具论文收录证明 >>

页面导航

著录项
引文网络
相似文献
相关主题

著录项

来源
《Information and computation》 |2018年第2期|159-159|共1页
作者
Halldorsson Magnus M.; Kobayashi Naoki; Speckmann Bettina;
展开▼
作者单位

展开▼
收录信息美国《科学引文索引》(SCI);美国《工程索引》(EI);
原文格式 PDF
正文语种 eng
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. 46th International Colloquium on Automata, Languages and Programming (ICALP 2019) - Track C: Foundations of networks and multi-agent systems [J] . Paola Flocchini Journal of computer and system sciences . 2021,第May期

机译：第46届国际自动机，语言和编程（ICALP 2019） - 轨道C：网络和多功能系统的基础
2. The 32nd International Colloquium on Automata,Languages and Programming (ICALP2005),およびThe Second Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA2005)参加報告 [J] . 今本健二, 櫻井幸一, Kenji IMAMOTO, 電子情報通信学会技術研究報告. 情報セキュリティ. Information Security . 2005,第290期

机译：第32届自动机，语言和程序设计国际学术研讨会（ICALP2005），第二届安全协议分析自动推理研讨会（ARSPA2005）参加报告
3. The 32nd International Colloquium on Automata,Languages and Programming (ICALP2005),およびThe Second Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA2005)参加報告 [J] . 今本健二, 櫻井幸一, Kenji IMAMOTO, 電子情報通信学会技術研究報告. 情報セキュリティ. Information Security . 2005,第290期

机译：第32届国际自动机，语言和编程（ICALP2005）的国际集团，第一次安全协议分析自动推理的第二次研讨会（ARSPA2005）的报告
4. ~(68th) International Astronautical Congress 2015 60~(th) IISL COLLOQUIUM ON THE LAW OF OUTER SPACE (E7) New Space, New Laws/ How Governments Can Foster New Space Activities (2) Statutory Forfeiture and the U.S. Space Resource Exploration and Utilization Act of 2015 [C] . George Anthony Long International Astronautical Congress . 2017

机译：〜（第68次）2015年国际航天大会2015年60〜（Th）IISL关于外层空间法律（E7）新空间，新法律/政府如何培养新的空间活动（2）法定没收和美国空间资源勘探和利用2015年的法案
5. Language teaching as foreign policy: Japanese language teachers in Japan's international cooperation volunteer program [D] . Motobayashi, Kyoko 2015

机译：作为对外政策的语言教学：日本国际合作志愿者计划中的日语老师
6. A Special Issue for the 2nd International Biological MassSpectrometry (BMS) Symposium 2018 in Kyoto [O] . Chen Lee Chuin, Tohru Yamagaki 2019

机译：第二次国际生物质量的特别问题光谱法（BMS）2018年京都研讨会
7. International Colloquium of Automata, Languages and Programming: Preface to the 'Logical Methods in Computer Science', special issue for ICALP 2006 [O] . Bugliesi Michele, Sassone Vladimiro 2010

机译：国际自动机，语言和规划学术讨论会：“计算机科学逻辑方法”序言，ICaLp 2006特刊
8. Automata. Languages and Programming - 24th International Colloquium, ICALP '97, Bologna, Italy, July 1997. Proceedings. [R] . Degano, P., Gorrieri, R., Marchetti-Spacc, A. 1997

机译：自动机。语言和编程 - 第24届国际学术讨论会，ICaLp '97，意大利博洛尼亚，1997年7月。会议录。

Special issue for the 42nd International Colloquium on Automata, Languages and Programming, ICALP 2015, Kyoto, Japan

著录项

引文网络

相似文献

相关主题

期刊订阅