会议信息
FTfJP 2012: International Workshop on Formal Techniques for Java-like Programs
http://www.comp.nus.edu.sg/~ftfjp/截稿日期: |
|
通知日期: |
2012-04-29 |
会议日期: |
2012-06-12 |
会议地点: |
Beijing, China |
届数: |
14 |
CORE: c QUALIS: b4 浏览: 10103 关注: 0 参加: 0
录取率
时间 | 提交数 | 录取数 | 录取率(%) |
---|---|---|---|
2004 | 20 | 11 | 55% |
相关会议
简称 | 全称 | 截稿日期 | 会议日期 |
---|---|---|---|
HAIS | International Conference on Hybrid Artificial Intelligence Systems | 2020-05-27 | 2020-09-04 |
AES2E | International Conference on Advance in Environmental Science and Energy Engineering | 2021-07-10 | 2021-08-27 |
ICCC | International Conference on Innovative Computing and Cloud Computing | 2011-07-20 | 2011-08-13 |
LOPSTR | International Symposium on Logic-Based Program Synthesis and Transformation | 2024-05-10 | 2024-09-09 |
ICCA | International Conference on Computer Applications | 2013-09-15 | 2013-12-19 |
CAAI | International Conference on Control, Automation and Artificial Intelligence | 2017-06-15 | 2017-06-25 |
AINTEC | Asian Internet Engineering Conference | 2024-05-08 | 2024-08-09 |
ICCSA | International Conference on Computational Science and Its Applications | 2022-04-12 | 2022-07-04 |
ICCA' | International Conference on Control and Automation | 2016-12-23 | 2017-01-13 |
AME' | International Conference on Advances in Mechanical Engineering | 2023-08-12 | 2023-08-26 |
相关期刊
CCF | 全称 | 影响因子 | 出版商 | ISSN |
---|---|---|---|---|
c | International Journal on Document Analysis and Recognition | 2.085 | Springer | 1433-2833 |
International Journal of Information Sciences and Techniques | AIRCC | 2319-409X | ||
Mechanical Systems and Signal Processing | 6.823 | Elsevier | 0888-3270 | |
b | ACM Transactions on Reconfigurable Technology and Systems | 1.409 | ACM | 1936-7406 |
Information Technology and Management | 1.533 | Springer | 1385-951X | |
b | Formal Aspects of Computing | 1.226 | Springer | 0934-5043 |
Information Technology & People | 1.263 | Emerald | 0959-3845 | |
c | International Journal on Software Tools for Technology Transfer | Springer | 1433-2779 | |
Cybernetics and Physics | IPME RAS | 2223-7038 | ||
Archive for Mathematical Logic | 0.313 | Springer | 0933-5846 |
全称 | 影响因子 | 出版商 |
---|---|---|
International Journal on Document Analysis and Recognition | 2.085 | Springer |
International Journal of Information Sciences and Techniques | AIRCC | |
Mechanical Systems and Signal Processing | 6.823 | Elsevier |
ACM Transactions on Reconfigurable Technology and Systems | 1.409 | ACM |
Information Technology and Management | 1.533 | Springer |
Formal Aspects of Computing | 1.226 | Springer |
Information Technology & People | 1.263 | Emerald |
International Journal on Software Tools for Technology Transfer | Springer | |
Cybernetics and Physics | IPME RAS | |
Archive for Mathematical Logic | 0.313 | Springer |
推荐