会議情報
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 閲覧: 13756 追跡: 0 出席: 0
論文募集
合格率
| 時間 | 提出 | 受け入れ | 受け入れ(%) |
|---|---|---|---|
| 2004 | 20 | 11 | 55% |
関連会議
関連仕訳帳
| CCF | 完全な名前 | インパクト ・ ファクター | 出版社 | ISSN |
|---|---|---|---|---|
| IET Computers and Digital Techniques | 0.484 | IET | 1751-8601 | |
| International Journal of Parallel Programming | 0.900 | Springer | 0885-7458 | |
| International Journal of Information Sciences and Techniques | AIRCC | 2319-409X | ||
| Journal of Logical and Algebraic Methods in Programming | 0.700 | Elsevier | 2352-2208 | |
| Information Technology and Management | 2.300 | Springer | 1385-951X | |
| b | ACM Transactions on Reconfigurable Technology and Systems | 3.100 | ACM | 1936-7406 |
| b | Formal Aspects of Computing | 1.400 | ACM | 0934-5043 |
| Information Technology & People | 4.900 | Emerald | 0959-3845 | |
| c | International Journal on Software Tools for Technology Transfer | 1.100 | Springer | 1433-2779 |
| Human Technology | University of Jyvaskyla | 1795-6889 |
| 完全な名前 | インパクト ・ ファクター | 出版社 |
|---|---|---|
| IET Computers and Digital Techniques | 0.484 | IET |
| International Journal of Parallel Programming | 0.900 | Springer |
| International Journal of Information Sciences and Techniques | AIRCC | |
| Journal of Logical and Algebraic Methods in Programming | 0.700 | Elsevier |
| Information Technology and Management | 2.300 | Springer |
| ACM Transactions on Reconfigurable Technology and Systems | 3.100 | ACM |
| Formal Aspects of Computing | 1.400 | ACM |
| Information Technology & People | 4.900 | Emerald |
| International Journal on Software Tools for Technology Transfer | 1.100 | Springer |
| Human Technology | University of Jyvaskyla |