1009-2757
2001 Issue 1
..............page:1-7
Reuse-based software production technology
YANG Fuqing;WANG Qianxiang;MEI Hong;CHEN Zhaoliang
YANG Fuqing;WANG Qianxiang;MEI Hong;CHEN Zhaoliang
..............page:8-19
..............page:20-32
A complete algorithm for automated discovering of a class of inequality_type theorems
YANG Lu;HOU Xiaorong;XIA Bican
YANG Lu;HOU Xiaorong;XIA Bican
..............page:33-49
Geometric constraint solving with geometric transformation
GAO Xiaoshan;HUANG Leidong;JIANG Kun
GAO Xiaoshan;HUANG Leidong;JIANG Kun
..............page:50-59
Quasi-two-dimensional subthreshold current model of deep submicrometer SOI drive-in gate controlled hybrid transistors with lateral non-uniform doping profile
HUANG Ru;BU Weihai;ZHANG Xing;WANG Yangyuan
HUANG Ru;BU Weihai;ZHANG Xing;WANG Yangyuan
..............page:60-67
Medical image segmentation based on cellular neural network
YAO Li;LIU Jiamin;Xie Yonggui;PEI Liuqing
YAO Li;LIU Jiamin;Xie Yonggui;PEI Liuqing
..............page:68-72
Cova: a programming language for cooperative applications
YANG Guangxin;Shi Meilin
YANG Guangxin;Shi Meilin
..............page:73-80