Advanced Search

column
Design and Implementation of BFLSIM and the DEBUG Environment
Jia Liangyu, Liu Mingye
1990, 2(2): 1-6.
Abstract PDF
An Aigorithm for Proving the Equivalence Between Booleans by Vectorial Method
Yao Linsheng, Yang Zhengrong
1990, 2(2): 7-13.
Abstract PDF
CDCSG-A New Geometrie Modelling Method
Zhang Shensheng
1990, 2(2): 14-23.
Abstract PDF
A New Optimal Approximate Algorithm for Line Generating Circle
Liu Yongkui
1990, 2(2): 24-27.
Abstract PDF
Texture Representation in the Object Imitating Zhan Yongzhao, Chen Tianzi and Wang Laisheng
Zhan Yongzhao, Chen Tianzi, Wang Laisheng
1990, 2(2): 28-34,23.
Abstract PDF
The Internal Structures and Standardization of the Window System
Dong Shihai, Xiong Zhiguo
1990, 2(2): 35-40.
Abstract PDF
FEDO, An EDBMS Oriented to General Purpose Finite Element Software
Huang Shengyang, Cheng Gengdong
1990, 2(2): 41-49.
Abstract PDF
Data Dependability in Fault-Tolerant Computing Systems
Min Yinghua
1990, 2(2): 50-58.
Abstract PDF
A Test Generation System Based on FAN Algorithm and Experimental Research
Li Zhongcheng, Min Yinghua
1990, 2(2): 59-68.
Abstract PDF
Design and Implementation of PCADS on Microcomputer
Tang Weiqing
1990, 2(2): 69-75.
Abstract PDF
Brief Introduction to EDIF
Shen Ling, Liu Mingye
1990, 2(2): 76-78.
Abstract PDF
    Email Alert RSS