会議情報
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 |
閲覧: 9914 追跡: 0 出席: 0
関連会議
| CCF | CORE | QUALIS | 省略名 | 完全な名前 | 提出日 | 通知日 | 会議日 |
|---|---|---|---|---|---|---|---|
| CF' | Cloud Forward Conference | 2015-07-13 | 2015-08-02 | 2015-10-06 | |||
| a | b1 | FM | International Symposium on Formal Methods | 2022-09-04 | 2022-11-15 | 2023-03-06 | |
| SSV | International Workshop on Systems Software Verification | 2012-10-19 | 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-04-16 | 2012-06-25 | ||||
| WSS | International Symposium on Web Services | 2014-10-15 | 2014-10-30 | 2014-12-27 | |||
| c | ATC | International Conference on Advanced and Trusted Computing | 2022-09-20 | 2022-10-15 | 2022-12-16 | ||
| c | b | b1 | FSTTCS | IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science | 2022-07-14 | 2022-09-16 | 2022-12-18 |
| CPAIOR | International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research | 2018-11-18 | 2019-01-31 | 2019-06-04 | |||
| c | a | b1 | SCC | International Conference on Services Computing | 2022-03-01 | 2022-04-15 | 2022-07-10 |
| 省略名 | 完全な名前 | 提出日 | 会議日 |
|---|---|---|---|
| CF' | Cloud Forward Conference | 2015-07-13 | 2015-10-06 |
| FM | International Symposium on Formal Methods | 2022-09-04 | 2023-03-06 |
| 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 | |
| WSS | International Symposium on Web Services | 2014-10-15 | 2014-12-27 |
| ATC | International Conference on Advanced and Trusted Computing | 2022-09-20 | 2022-12-16 |
| FSTTCS | IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science | 2022-07-14 | 2022-12-18 |
| CPAIOR | International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research | 2018-11-18 | 2019-06-04 |
| SCC | International Conference on Services Computing | 2022-03-01 | 2022-07-10 |
関連仕訳帳
| 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 | |
| International Journal of E-Services and Mobile Applications | IGI Global | 1941-627X | ||
| Electrical Engineering: An International Journal | AIRCC | 2349-3739 | ||
| 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 |
| International Journal of E-Services and Mobile Applications | IGI Global | |
| Electrical Engineering: An International Journal | AIRCC | |
| IEEE Transactions on Network and Service Management | 3.878 | IEEE |
おすすめ