Journals in DBLP

J. Comput. Sci. Technol.
2000, volume: 15, number: 5

1. Tao Jiang, Ming Li, Paul M. B. Vitányi
   Average-Case Analysis of Algorithms Using Kolmogorov Complexity. [Citation Graph (0, 0)][DBLP]
   J. Comput. Sci. Technol., 2000, v:15, n:5, pp:402-408 [Journal]
   
2. Xumin Nie, Qing Guo
   Renaming a Set of Non-Horn Clauses. [Citation Graph (0, 0)][DBLP]
   J. Comput. Sci. Technol., 2000, v:15, n:5, pp:409-415 [Journal]
   
3. Sui-Xiang Gao, Guo-Hui Lin
   Decision Tree Complexity of Graph Properties with Dimension at Most 5. [Citation Graph (0, 0)][DBLP]
   J. Comput. Sci. Technol., 2000, v:15, n:5, pp:416-422 [Journal]
   
4. Jianhua Zhao, Dang Van Hung
   Checking Timed Automata for Linear Duration Properties. [Citation Graph (0, 0)][DBLP]
   J. Comput. Sci. Technol., 2000, v:15, n:5, pp:423-429 [Journal]
   
5. Dongmo Zhang, Zhaohui Zhu, Shifu Chen
   Default Reasoning and Belief Revision: A Syntax-Independent Approach. [Citation Graph (0, 0)][DBLP]
   J. Comput. Sci. Technol., 2000, v:15, n:5, pp:430-438 [Journal]
   
6. Tian Liu
   Some Structural Properties of SAT. [Citation Graph (0, 0)][DBLP]
   J. Comput. Sci. Technol., 2000, v:15, n:5, pp:439-444 [Journal]
   
7. Hong Jinwei, Guoliang Chen, Zhaoqing Zhang
   Supporting Flexible Data Distribution in Software DSMs. [Citation Graph (0, 0)][DBLP]
   J. Comput. Sci. Technol., 2000, v:15, n:5, pp:445-452 [Journal]
   
8. Xianghui Xie, Chengde Han
   Limited Multiple-Writer: An Approach to Dealing with False Sharing in Software DSMs. [Citation Graph (0, 0)][DBLP]
   J. Comput. Sci. Technol., 2000, v:15, n:5, pp:453-460 [Journal]
   
9. Zheng Fang, Wu Jian, Zhanjiang Song
   Improving the Syllable-Synchronous Network Search Algorithm for Word Decoding in Continuous Chinese Speech Recognition. [Citation Graph (0, 0)][DBLP]
   J. Comput. Sci. Technol., 2000, v:15, n:5, pp:461-471 [Journal]
   
10. Xiaowei Li, Paul Y. S. Cheung
    Exploiting Deterministic TPG for Path Delay Testing. [Citation Graph (0, 0)][DBLP]
    J. Comput. Sci. Technol., 2000, v:15, n:5, pp:472-479 [Journal]
    
11. Xicheng Liu, Timothy J. Li
    Implementation of a Prototype VoIP System. [Citation Graph (0, 0)][DBLP]
    J. Comput. Sci. Technol., 2000, v:15, n:5, pp:480-484 [Journal]
    
12. Xu Lin, Wen Gao
    Study on Translating Chinese into Chinese Sign Language. [Citation Graph (0, 0)][DBLP]
    J. Comput. Sci. Technol., 2000, v:15, n:5, pp:485-490 [Journal]
    
13. Feng Jing, Ma Xiaojun, Gu Boxuan, Guanqun Gu
    An Aided Tool for Enterprise Network Design. [Citation Graph (0, 0)][DBLP]
    J. Comput. Sci. Technol., 2000, v:15, n:5, pp:491-0 [Journal]