Journal

INFORMATION SCIENCES

Logical Methods in Computer Science

JOURNAL OF SYMBOLIC COMPUTATION

DISCRETE & COMPUTATIONAL GEOMETRY

THEORY OF COMPUTING SYSTEMS

INFORMATION PROCESSING LETTERS

JOURNAL OF LOGIC AND COMPUTATION

FORMAL METHODS IN SYSTEM DESIGN

INFORMATION AND COMPUTATION

DESIGN AUTOMATION FOR EMBEDDED SYSTEMS

ALGORITHMICA

COMBINATORICS PROBABILITY & COMPUTING

Theoretical Computer Science

JOURNAL OF AUTOMATED REASONING

CYBERNETICS AND SYSTEMS

NETWORK-COMPUTATION IN NEURAL SYSTEMS

CIN-COMPUTERS INFORMATICS NURSING

DESIGNS CODES AND CRYPTOGRAPHY

IEEE Computer Architecture Letters

Report

Book