ACM Computing Surveys《美国计算机协会计算概观》（月刊）. The primary purpose of the ACM Computing Surveys is to present new specialties and help practitioners and researchers stay abreast of all areas in the rapidly evolving field of computing. Computing Surveys focuses on integrating and adding understanding to the existing literature by publishing surveys and tutorials.
ACM Transactions on Computer Systems《美国计算机协会计算机系统会报》（季刊）. ACM Transactions on Computer Systems (TOCS) presents research and development results on the design, implementation, analysis, evaluation, and use of computer systems and systems software. The term "computer systems" is interpreted broadly and includes operating systems, systems architecture and hardware, distributed systems, optimizing compilers, and the interaction between systems and computer networks. Articles appearing in TOCS will tend either to present new techniques and concepts, or to report on experiences and experiments with actual systems. Insights useful to system designers, builders, and users will be emphasized.
THEORETICAL COMPUTER SCIENCE《理论计算机科学》（一年48期）. Theoretical Computer Science is mathematical and abstract in spirit, but it derives its motivation from practical and everyday computation. Its aim is to understand the nature of computation and, as a consequence of this understanding, provide more efficient methodologies. All papers introducing or studying mathematical, logic and formal concepts and methods are welcome, provided that their motivation is clearly drawn from the field of computing.
THEORY OF COMPUTING《计算理论》（Continuous publication）. "Theory of Computing" (ToC) is an online journal dedicated to the widest dissemination, free of charge, of research papers in theoretical computer science.
IEEE Transactions on Information Forensics and Security《IEEE信息取证与安全》（月刊）. The IEEE Transactions on Information Forensics and Security covers the sciences, technologies, and applications relating to information forensics, information security, biometrics, surveillance and systems applications that incorporate these features.
DISTRIBUTED COMPUTING《分布式计算》（双月刊）. The international journal Distributed Computing provides a forum for original and significant contributions to the theory, design, specification and implementation of distributed systems.
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE《国际计算机科学基础杂志》（一年8期）. The International Journal of Foundations of Computer Science is an eight-issue journal that publishes articles which contribute new theoretical results in all areas of the foundations of computer science.
INTERNATIONAL JOURNAL OF GENERAL SYSTEMS《国际通用系统杂志》（一年8期）. International Journal of General Systems is a periodical devoted primarily to the publication of original research contributions to system science, basic as well as applied. However, relevant survey articles, invited book reviews, bibliographies, and letters to the editor are also published.
INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING《国际并行程序设计杂志》（双月刊）. International Journal of Parallel Programming, one of the oldest journals in the field, published continuously for over 25 years, is a forum for the publication of peer-reviewed, high-quality original papers in computer science, focusing specifically on parallel computing systems. Such systems are characterized by the coexistence over time of multiple coordinated activities. The journal publishes both original research and survey papers. Fields of interest include: embedded systems to high performance supercomputing, high-level languages, optimizations, parallel and distributed systems, programming support systems, pragmatic considerations, architectural characteristics, software engineering aspects, advances in parallel algorithms, performance studies, and application studies that significantly advance the state of the art.
FORMAL METHODS IN SYSTEM DESIGN《系统设计的形式化方法》（一年3期）. Formal Methods in System Design reports on the latest formal methods for designing, implementing, and validating the correctness of hardware (VLSI) and software systems. Readers will find high quality, original papers describing all aspects of research and development. Contributions to the journal serve its goal of developing an important and highly useful collection of commonly applicable formal methods that will strongly influence future design environments and design methods.