会议信息
WS-FM 2012: International Workshop on Web Services and Formal Methods
http://www.informatik.uni-rostock.de/ws-fm2012/截稿日期: |
|
通知日期: |
2012-07-21 |
会议日期: |
2012-09-06 |
会议地点: |
Tallinn, Estonia |
届数: |
9 |
浏览: 10848 关注: 0 参加: 0
相关会议
| 简称 | 全称 | 截稿日期 | 会议日期 |
|---|---|---|---|
| CF' | Cloud Forward Conference | 2015-07-13 | 2015-10-06 |
| FM | International Symposium on Formal Methods | 2024-04-05 | 2024-09-09 |
| SSV | International Workshop on Systems Software Verification | 2012-11-28 | |
| NCIT | International Conference on Networks, Communication and Information Technology | 2022-10-20 | 2022-11-05 |
| VANET | International Workshop on VehiculAr Inter-NETworking, Systems, and Applications | 2012-06-25 | |
| ATC | International Conference on Advanced and Trusted Computing | 2022-09-20 | 2022-12-16 |
| RMLSP | International Conference on Robotics, Machine Learning and Signal Processing | 2024-04-30 | 2024-06-21 |
| WSS | International Symposium on Web Services | 2014-10-15 | 2014-12-27 |
| CPAIOR | International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research | 2018-11-18 | 2019-06-04 |
| FSTTCS | IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science | 2023-07-12 | 2023-12-18 |
相关期刊
| CCF | 全称 | 影响因子 | 出版商 | ISSN |
|---|---|---|---|---|
| International Journal for Numerical Methods in Fluids | 1.631 | Wiley-Blackwell | 0271-2091 | |
| a | IEEE Transactions on Services Computing | 5.823 | IEEE | 1939-1374 |
| International Journal on Cybernetics & Informatics | AIRCC | 2320-8430 | ||
| b | Formal Methods in System Design | 0.442 | Springer | 0925-9856 |
| Computational Science and Engineering Software | Rational Publication | 0000-0000 | ||
| International Journal of Wireless Information Networks | Springer | 1068-9605 | ||
| Archives of Computational Methods in Engineering | 7.302 | Springer | 1134-3060 | |
| Electrical Engineering: An International Journal | AIRCC | 2349-3739 | ||
| International Journal of E-Services and Mobile Applications | IGI Global | 1941-627X | ||
| c | IEEE Transactions on Network and Service Management | 3.878 | IEEE | 1932-4537 |
| 全称 | 影响因子 | 出版商 |
|---|---|---|
| International Journal for Numerical Methods in Fluids | 1.631 | Wiley-Blackwell |
| IEEE Transactions on Services Computing | 5.823 | IEEE |
| International Journal on Cybernetics & Informatics | AIRCC | |
| Formal Methods in System Design | 0.442 | Springer |
| Computational Science and Engineering Software | Rational Publication | |
| International Journal of Wireless Information Networks | Springer | |
| Archives of Computational Methods in Engineering | 7.302 | Springer |
| Electrical Engineering: An International Journal | AIRCC | |
| International Journal of E-Services and Mobile Applications | IGI Global | |
| IEEE Transactions on Network and Service Management | 3.878 | IEEE |
推荐