期刊信息
Information and Computation (IANDC)
https://www.sciencedirect.com/journal/information-and-computation影响因子: |
0.800 |
出版商: |
Elsevier |
ISSN: |
0890-5401 |
浏览: |
20605 |
关注: |
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 |