Advanced Search

    column
    Design and Implementation of IGSQN
    CHEN Huasheng, WU Kewei
    1988, 25(7): 1-6.
    Abstract
    A Temporal Logic System for Verifying Communication Protocol
    WU Yisheng, ZHU Zesheng
    1988, 25(7): 7-13.
    Abstract
    A Fault-tolerant Algorithm for Mutual Exclusion in Distributed Systems
    LIAO Xianshi, ZHAO Xianming, ZHANG Chihong
    1988, 25(7): 14-19,42.
    Abstract
    An Efficient Algorithm of Dutch National Flag Problem
    ZUO Endong
    1988, 25(7): 20-23.
    Abstract
    Multifunctional Management Software
    FU Tong
    1988, 25(7): 24-31,13.
    Abstract
    Analysis of the Construction of the G-ASM Assembly Software
    FU Guangfeng, ZHOU Xiaofeng
    1988, 25(7): 32-36.
    Abstract
    DCLISP SYSTEM
    SONG Rou
    1988, 25(7): 37-42.
    Abstract
    Relational Model and ADABAS
    ZHONG Ning, DONG Juzhen
    1988, 25(7): 43-50,36.
    Abstract
    A New Method for Developing the Minimal State Table of ISSM′s
    CHEN Su, XU Daorong
    1988, 25(7): 51-55,13.
    Abstract
    Critical Tracing for Fault Simulation of Sequential Circuits
    SHI Yin, WEI Daozheng
    1988, 25(7): 56-60.
    Abstract
    On Processing Technique of Inputting Phrases
    QIAN Peide
    1988, 25(7): 61-65,42.
    Abstract
    Email Alert RSS