计算机方面国际期刊

陈独秀的秘密

权威期刊类:

ACM Trans on Programming Languages & Systems

Annals of Software Engineering

IEEE Trans on Software Engineering

Jnl of Functional Programming

ACM Trans on S/W Eng and Methodology

Formal Methods in System Design

著名期刊类:

The Jnl of Logic Programming

IEEE Procs - Software

Jnl of Software Maintenance: Research and Practice

Higher-Order and Symbolic Computation (previously known as LISP and Symbolic Computation)

Software: Practice and Experience

Jnl of Functional and Logic Programming

The Constraints Journal

Journal of Logic and Computation

Journal of Programming Languages

Empirical Software Engineering

Automated Software Engineering

Formal Aspects of Computing

Object-Oriented Systems

Theory and Practice of Object Systems

Journal of Object-Oriented Programming

IEEE Transactions on Reliability

Future Generations Computer Systems: FGCS

Programming and Computer Software

Science of Computer Programming

Jnl of Systems and Software

Intl Jnl on Software Engineering and Knowledge Eng

New Generation Computing

Software Quality Journal

Software Testing, Verification and Reliability

Computer Languages

Requirements Engineering Journal

IEEE Software Engineering Journal

其它期刊:

Journal of the Interest Group in Pure and Applied Logic

Notre Dame Journal of Formal Logic

Journal of Computer and Software Engineering

Journal of Structured Programming

International Journal on Software Tools for Technology Transfer

Chinese Journal of Advanced Software Research

Journal of Computing Systems in Engineering

Journal of Symbolic Logic

Project Management Journal

International Journal of Reliability, Quality, and Safety

Journal for Applied Nonclassical Logic

The Journal of Defense Software Engineering

Computer & Control Engineering Journal

Journal of Logic, Language and Information

Computer Systems Engineering Journal

Journal of Automata, Languages and Combinatorics

The C Users Journal

Information Design Journal

Java Developer's Journal

C++ Journal

Fortran Journal

Journal of Scientific Programming

Logic Journal of the IGPL

Journal of Philosophical Logic

Journal of Quality Technology

International Journal of Technology Management

Software Process Modeling and Technology

Journal of Computers and Translation

Journal of C Language Translation

Journal of Electronic Testing

Software Engineering Notes

二、软件技术

权威期刊类:

ACM Trans on Graphics

ACM Trans on Modeling & Computer Sim

第1页下一页