Volume 1,Issue 2,1990 Table of Contents

Other Issues:  
  
Contents

  • OPTIMIZING A DIGITAL SYSTEM BY PROGRAM TRANSFORMATION
  • Hu Zhenjiang and Sun Yongqiang
  • 1990,1(2):1-11 [Abstract(3329)]  [View PDF(3093)540.17 K]
  • A TEMPORAL SEMANTICS FOR OCCAM
  • Geng Jun and Tan Xinming
  • 1990,1(2):12-27 [Abstract(3204)]  [View PDF(3153)859.41 K]
  • 在不同DBMS上的数据库转换
  • Tang Shiwei,Yang Dongqing and Pei Fang
  • 1990,1(2):28-38 [Abstract(3040)]  [View PDF(3444)616.41 K]
  • REQUIREMENT DESCRIPTION AND ANALYSIS TOOL CPSL/CPSA
  • Xu Longshan,Wu Dongsheng and Cheng Chongyan
  • 1990,1(2):39-47 [Abstract(3175)]  [View PDF(12101)486.39 K]
  • AI CAD TOOLS
  • 杨乔林
  • 1990,1(2):48-55 [Abstract(3442)]  [View PDF(3234)1021.39 K]
  • A DISTRIBUTED EXPERTS UNITED SYSTEM UNION ON MICROCOMPUTER NET (PART 1)
  • Zhao Zhizhuo,Zhuang Qingyu,Cao Hua and Lu Ruqian
  • 1990,1(2):56-64 [Abstract(3353)]  [View PDF(3045)481.75 K]