仕訳帳情報
Information and Computation (IANDC)
https://www.sciencedirect.com/journal/information-and-computationインパクト ・ ファクター: |
0.800 |
出版社: |
Elsevier |
ISSN: |
0890-5401 |
閲覧: |
20601 |
追跡: |
15 |
論文募集
Information and Computation welcomes original papers in all areas of theoretical computer science and computational applications of information theory. Survey articles of exceptional quality will also be considered. Particularly welcome are papers contributing new results in active theoretical areas such as
Biological computation and computational biology
Computational complexity
Computer theorem-proving
Concurrency and distributed process theory
Cryptographic theory
Data base theory
Decision problems in logic
Design and analysis of algorithms
Discrete optimization and mathematical programming
Inductive inference and learning theory
Logic & constraint programming
Program verification & model checking
Probabilistic & Quantum computation
Semantics of programming languages
Symbolic computation, lambda calculus, and rewriting systems
Types and typechecking
最終更新 Dou Sun 2024-07-17
関連仕訳帳
| CCF | 完全な名前 | インパクト ・ ファクター | 出版社 | ISSN |
|---|---|---|---|---|
| Applied Mathematics and Sciences: An International Journal | AIRCC | 2349-6223 | ||
| c | Theory of Computing Systems | 0.600 | Springer | 1432-4350 |
| ACM Transactions on Multimedia Computing, Communications, and Applications | 5.200 | ACM | 1551-6857 | |
| VLSI Design | Hindawi | 1065-514X | ||
| Structural and Multidisciplinary Optimization | 3.600 | Springer | 1615-147X | |
| EURASIP Journal on Wireless Communications and Networking | 2.300 | Springer | 1687-1499 | |
| Bioprocess and Biosystems Engineering Bioprocess and Biosystems Engineering | 3.500 | Springer | 1615-7591 | |
| Algorithms for Molecular Biology | 1.500 | Springer | 1748-7188 | |
| b | User Modeling and User-Adapted Interaction | 3.000 | Springer | 0924-1868 |
| Discrete Optimization | 0.900 | Elsevier | 1572-5286 |
| 完全な名前 | インパクト ・ ファクター | 出版社 |
|---|---|---|
| Applied Mathematics and Sciences: An International Journal | AIRCC | |
| Theory of Computing Systems | 0.600 | Springer |
| ACM Transactions on Multimedia Computing, Communications, and Applications | 5.200 | ACM |
| VLSI Design | Hindawi | |
| Structural and Multidisciplinary Optimization | 3.600 | Springer |
| EURASIP Journal on Wireless Communications and Networking | 2.300 | Springer |
| Bioprocess and Biosystems Engineering Bioprocess and Biosystems Engineering | 3.500 | Springer |
| Algorithms for Molecular Biology | 1.500 | Springer |
| User Modeling and User-Adapted Interaction | 3.000 | Springer |
| Discrete Optimization | 0.900 | Elsevier |
関連会議
| 省略名 | 完全な名前 | 会議日 |
|---|---|---|
| DDA | International Conference on Decisions and Data Analysis | 2018-10-04 |
| AI & FL | International Conference of Artificial Intelligence and Fuzzy Logic | 2023-08-19 |
| DIPECC | International Conference on Digital Information Processing, E-Business and Cloud Computing | 2015-06-29 |
| LID | International Workshop on Logic in Databases | 2011-03-25 |
| DISC | International Symposium on Distributed Computing | 2025-10-27 |
| SmartTechCon | International Conference On Smart Technologies For Smart Nation | 2017-08-17 |
| AWIC' | Ambient and Web Intelligence Conference | 2012-12-13 |
| DICTAP | International Conference on Digital Information and Communication Technology and its Applications | 2019-04-03 |
| ICMEMSCE | International Conference on Mechanical Engineering, Materials Science and Civil Engineering | 2024-12-12 |
| PRMVAI | IEEE International Conference on Pattern Recognition, Machine Vision and Artificial Intelligence | 2025-06-20 |