Special issue of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015)

Baier Christel; Tinelli Cesare

首页> 外文期刊>Acta Informatica >Special issue of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015)

【24h】

Special issue of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015)

机译：第21届国际系统构建和分析工具和算法会议特刊（TACAS 2015）

获取原文

获取原文并翻译 | 示例

获取外文期刊封面封底 >>

开具论文收录证明 >>

文献代查 >>

页面导航

著录项
相似文献
相关主题

著录项

来源
《Acta Informatica》 |2017年第8期|727-728|共2页
作者
Baier Christel; Tinelli Cesare;
展开▼
作者单位

Tech Univ Dresden, Dresden, Germany;

Univ Iowa, Iowa City, IA 52242 USA;

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

相似文献

外文文献
中文文献
专利

1. Special issue: Selected papers from the 1st NORCAS conference (2015 Nordic Circuits and Systems Conference (NORCAS): Norchip International Symposium on System-on-Chip (SoC)) [J] . Torresen Jim, Aunet Snorre Microprocessors and microsystems . 2017,第FEBa期

机译：特刊：第一届NORCAS会议（2015北欧电路与系统会议（NORCAS）：诺基普国际片上系统研讨会（SoC））的部分论文
2. Special issue: selected papers from the 1st NORCAS conference (2015 Nordic Circuits and Systems Conference (NORCAS): NORCHIP and International Symposium on System-on-Chip (SoC)) [J] . Aunet Snorre, Torresen Jim Analog Integrated Circuits and Signal Processing . 2016,第2期

机译：特刊：第一届NORCAS会议（2015北欧电路与系统会议（NORCAS）：NORCHIP和国际片上系统研讨会（SoC））的部分论文
3. Preface for the special issue on tool papers of the 21st International Conference on Coordination Models and Languages, COORDINATION 2019 [J] . Omar Inverso, Hugo Torres Vieira Science of Computer Programming . 2021,第Apra1期

机译：第21届协调模型和语言会议的工具论文特别问题的序言，协调2019年
4. Preface of the 2012 IAENG International Conference on Electrical Engineering Special Session: Design, Analysis and Tools for Integrated Circuits and Systems [C] . Ka Lok Man, Chi-Un Lei, Tomas Krilavicius, IAENG International Conference on Electrical Engineering Special Session;IAENG International Conference on Industrial Engineering;IAENG International Conference on Operations Research;IAENG International Conference on Industrial Engineering Special Session;IAENG International Conference on Scientific Computing . 2012

机译：2012年Iaeng国际电气工程专用会议的前言：集成电路和系统的设计，分析和工具
5. OIL POLLUTION ON THE HIGH SEAS: THE ESTABLISHMENT OF AN INTERNATIONAL REGIME TO DEAL WITH PUBLIC INTERNATIONAL LAW AND PRIVATE LAW ISSUES AND THE ROLE OF NON-STATE ACTORS IN THEIR RESOLUTION PRIOR TO AND AT THE 1969 INTERNATIONAL LEGAL CONFERENCE ON MARINE POLLUTION DAMAGE (“BRUSSELS CONFERENCE”) [D] . Ottensoser, Milton D. 2018

机译：高层地区的油污：建立国际制度以处理国际公法和私法问题，以及在1969年国际海洋污染损害法律大会（布鲁塞尔）之前，非政府组织在其解决方案中的作用会议”）
6. Special issue for the International Conference on Electron Paramagnetic Resonance Spectroscopy and Imaging of Biological Systems (EPR-2017) [O] . Valery V. Khramtsov, Michael Jonathan Davies -1

机译：电子顺磁共振光谱学和生物系统成像国际会议特刊（EPR-2017）
7. Special issue on International Conference on Microelectronics, Circuits and Systems (Micro 2015), held in Kolkata, India, July, 11–12, 2015 [O] . J. K. Mandal, Dulal Acharjee, B. Michel 2017

机译：2015年7月11日至12日，在加尔各答举行的科尔卡塔举行国际微电子，电路和系统（Micro 2015）国际会议特别问题
8. Monitoring Status and Trends of Long-Lived Marine Vertebrates as a Measurable Indicator of Restoration and Long-Term Health of the Gulf of Mexico Ecosystem. A Special Session of the 2015 Gulf of Mexico Oil Spill and Ecosystem Science Conference. Held in Houston, Texas on February 16, 2015. [R] . 2015

机译：监测长寿海洋脊椎动物的现状和趋势，作为墨西哥湾生态系统恢复和长期健康的可衡量指标。 2015年墨西哥湾漏油和生态系统科学会议特别会议。 2015年2月16日在德克萨斯州休斯顿举行。

Special issue of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015)

著录项

相似文献

相关主题

期刊订阅