Journal of Computational Biology《计算生物学杂志》（月刊）. Journal of Computational Biology is the leading peer-reviewed journal in computational biology and bioinformatics, publishing in-depth statistical, mathematical, and computational analysis of methods, as well as their practical impact. Available only online, this is an essential journal for scientists and students who want to keep abreast of developments in bioinformatics.

Journal of Communications and Networks《通信与网络杂志》（双月刊）. The JOURNAL OF COMMUNICATIONS AND NETWORKS is published six times per year, and is committed to publishing high quality papers that advance the state-of-the-art and practical applications of communications and information networks.

Journal of Combinatorial Optimization《组合优化杂志》（一年10期）. This journal advances and promotes the theory and applications of combinatorial optimization, which is an area of research at the intersection of applied mathematics, computer science, and operations research.

Journal of Cloud Computing-Advances, Systems and Applications《云计算杂志：前沿、系统与应用》（一年1卷）. The Journal of Cloud Computing: Advances, Systems and Applications (JoCCASA) will publish research articles on all aspects of Cloud Computing. Principally, articles will address topics that are core to Cloud Computing, focusing on the Cloud applications, the Cloud systems, and the advances that will lead to the Clouds of the future. Comprehensive review and survey articles that offer up new insights, and lay the foundations for further exploratory and experimental work, are also relevant.

Journal of Circuits, Systems and Computers《电路、系统与计算机杂志》（一年18期）. Journal of Circuits, Systems, and Computers covers a wide scope, ranging from mathematical foundations to practical engineering design in the general areas of circuits, systems, and computers with focus on their circuit aspects.

Journal of Chemometrics《化学计量学杂志》（月刊）. The Journal of Chemometrics is devoted to the rapid publication of original scientific papers, reviews and short communications on fundamental and applied aspects of chemometrics. It also provides a forum for the exchange of information on meetings and other news relevant to the growing community of scientists who are interested in chemometrics and its applications. Short, critical review papers are a particularly important feature of the journal, in view of the multidisciplinary readership at which it is aimed.

Journal of Chemical Information and Modeling《化学信息与建模杂志》（半月刊）. The Journal of Chemical Information and Modeling publishes papers reporting new methodology and/or important applications in the fields of chemical informatics and molecular modeling. Specific topics include the representation and computer-based searching of chemical databases, molecular modeling, computer-aided molecular design of new materials, catalysts, or ligands, development of new computational methods or efficient algorithms for chemical software, and biopharmaceutical chemistry including analyses of biological activity and other issues related to drug discovery.

Journal of Cellular Automata《细胞自动机杂志》（双月刊）. The Journal of Cellular Automata publishes high-quality papers where cellular automata are studied theoretically or used as computational models of mathematical, physical, chemical, biological, social and engineering systems.

Knowledge and Information Systems《知识与信息系统》（月刊）. Knowledge and Information Systems (KAIS) provides an international forum for researchers and professionals to share their knowledge and report new advances on all topics related to knowledge systems and advanced information systems. This monthly peer-reviewed archival journal publishes state-of-the-art research reports on emerging topics in KAIS, reviews of important techniques in related areas, and application papers of interest to a general readership.

Journal of Automated Reasoning《自动推理杂志》（季刊）. The Journal of Automated Reasoning is dedicated to the theory, implementation, and applications of logical reasoning by computer. The topics of interest are connected to computer science, mathematics, and philosophy. They include the development and use of automatic theorem provers, formal proof assistants, and related software tools such as model checkers; the design and study of the underlying logics and the theoretical properties of the proof systems used for discovering and expressing formal proofs; and the use of artificial intelligence techniques to guide the search for a proof.