会议信息
FMCO 2011: International Symposium on Formal Methods for Components and Objects
http://fmco.liacs.nl/fmco11.html截稿日期: |
|
通知日期: |
2011-09-07 |
会议日期: |
2011-10-03 |
会议地点: |
Turin, Italy |
届数: |
10 |
浏览: 11565 关注: 0 参加: 0
相关会议
| 简称 | 全称 | 截稿日期 | 会议日期 |
|---|---|---|---|
| IECT | International Conference on Information Engineering and Communications Technology | 2016-05-31 | 2016-06-25 |
| ISCTEE | International Seminar on Information Science, Computer Technology and Electrical Engineering | 2017-08-11 | 2017-08-18 |
| TAMC | Annual Conference on Theory and Applications of Models of Computation | 2014-11-27 | 2015-05-18 |
| SNPD | International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing | 2023-09-04 | 2023-12-06 |
| FM | International Symposium on Formal Methods | 2024-04-05 | 2024-09-09 |
| NSS/MIC | Nuclear Science Symposium and Medical Imaging Conference | 2015-05-05 | 2015-10-31 |
| BODYNET | International Conference on Body Area Networks | 2015-06-01 | 2015-09-28 |
| ICEIEC | IEEE International Conference on Electronics Information and Emergency Communication | 2024-04-15 | 2024-05-24 |
| TOOLS Europe | International Conference on Objects, Models, Components and Patterns | 2012-01-06 | 2012-05-29 |
| CF' | Cloud Forward Conference | 2015-07-13 | 2015-10-06 |
相关期刊
| CCF | 全称 | 影响因子 | 出版商 | ISSN |
|---|---|---|---|---|
| b | Formal Aspects of Computing | 1.226 | Springer | 0934-5043 |
| b | Formal Methods in System Design | 0.442 | Springer | 0925-9856 |
| International Journal on Artificial Intelligence Tools | 0.849 | World Scientific | 0218-2130 | |
| c | Behaviour & Information Technology | 1.388 | Taylor & Francis | 0144-929X |
| c | Information Management & Computer Security | Emerald | 0968-5227 | |
| IEEE Transactions on Molecular, Biological, and Multi-Scale Communications | IEEE | 2372-2061 | ||
| a | Information and Computation | 0.704 | Elsevier | 0890-5401 |
| Ethics and Information Technology | 0.497 | Springer | 1388-1957 | |
| International Journal for Numerical Methods in Fluids | 1.631 | Wiley-Blackwell | 0271-2091 | |
| Journal of Formalized Reasoning | Alma Mater Studiorum | 1972-5787 |
| 全称 | 影响因子 | 出版商 |
|---|---|---|
| Formal Aspects of Computing | 1.226 | Springer |
| Formal Methods in System Design | 0.442 | Springer |
| International Journal on Artificial Intelligence Tools | 0.849 | World Scientific |
| Behaviour & Information Technology | 1.388 | Taylor & Francis |
| Information Management & Computer Security | Emerald | |
| IEEE Transactions on Molecular, Biological, and Multi-Scale Communications | IEEE | |
| Information and Computation | 0.704 | Elsevier |
| Ethics and Information Technology | 0.497 | Springer |
| International Journal for Numerical Methods in Fluids | 1.631 | Wiley-Blackwell |
| Journal of Formalized Reasoning | Alma Mater Studiorum |
推荐