[1] |
Lu Qi; Zhang Fubo; Qian Jiahua;. Program Slicing:Its Improved Algorithm and Application in Verification[J]. , 1988, 3(1): 29
-39
. |
[2] |
Xu Jie; Li Qingnan; Huang Shize; Xu Jiangfeng;. DFTSNA:A Distributed Fault-Tolerant Shipboard System[J]. , 1990, 5(2): 109
-116
. |
[3] |
Xu Zhiming;. Discrete Interpolation Surface[J]. , 1990, 5(4): 329
-332
. |
[4] |
Shen Xubang; Ma Guangti; Chen Lan;. An Inference Microprocessor Design[J]. , 1991, 6(3): 209
-213
. |
[5] |
I.V.Vel bitsky; A.L.Kovalev; I.V.Kasatkina; Wang Lei;. R-Technology of Programming: Basic Notions and Implementation[J]. , 1992, 7(4): 345
-355
. |
[6] |
Andrew I. Adamatzky;. Identification of Nonstationary Cellular Automata[J]. , 1992, 7(4): 379
-382
. |
[7] |
Hock C. Chan;. Translational Semantics for a Conceptual Level Query Language[J]. , 1995, 10(2): 175
-187
. |
[8] |
NIE Xumin; GUO Qing;. Renaming a Set of Non-Horn Clauses[J]. , 2000, 15(5): 409
-415
. |
[9] |
Heng Li, Jin-Song Liu, Zhao Xu et al.. Test Data Sets and Evaluation of Gene Prediction Programs on the Rice Genome[J]. , 2005, 20(4): 446
-453
. |
[10] |
Run-Yao Duan, Zheng-Feng Ji, Yuan Feng, and Ming-Sheng Ying. Some Issues in Quantum Information Theory[J]. , 2006, 21(5): 776
-789
. |
|