中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 31-40 of 106)

Items/Page:    Sort:
ehrenfeucht-fraisse games in finite set theory [期刊论文]
INFORMATION PROCESSING LETTERS, 2008-01-01, 卷号: 108, 期号: 1, 页码: 3-9
Zhou Xiang
  |  
 
continuity of capping in c-bt [期刊论文]
ANNALS OF PURE AND APPLIED LOGIC, 2008-01-01, 卷号: 155, 期号: 1, 页码: 1-15
Brodhead Paul; Li Angsheng; Li Weilin
  |  
 
decidability of weak bisimilarity for a subset of bpa [期刊论文]
Electronic Notes in Theoretical Computer Science, 2008-01-01, 卷号: 212, 期号: C, 页码: 241-255
Chen Haiyan
  |  
 
tree process calculus [期刊论文]
Electronic Notes in Theoretical Computer Science, 2008-01-01, 卷号: 212, 页码: 269-284
Mingren Chai; Nan Qu; Jiang Ying
  |  
 
nbs: a new representation for point surfaces based on genetic clustering algorithm: cad and graphics [期刊论文]
Computers & Graphics, 2008-01-01, 卷号: 32, 期号: 6, 页码: 639-646
Yanci Zhang; Hanqiu Sun; Wu Enhua
  |  
 
security of the redefined liaw's broadcasting cryptosystem [期刊论文]
Elsevier Ltd, 2008-01-01, 卷号: 56, 期号: 7, 页码: 1665-1667
Zhu Wen-Tao; Wu Chuankun
  |  
 
a pen and speech-based storytelling system for chinese children [期刊论文]
Computers in Human Behavior, 2008-01-01, 卷号: 24, 期号: 6, 页码: 2507-2519
Danli Wang; Jie Li; Jie Zhang; Dai Guozhong
  |  
 
continuity of capping in CbT [期刊论文]
Annals of Pure and Applied Logic, 2008-01-01, 卷号: 155, 期号: 1, 页码: 40193
Paul Brodhead; Li Angsheng; Weilin Li
  |  
 
a shortest path algorithm for moving objects in spatial network databases [期刊论文]
Progress in Natural Science, 2008-01-01, 卷号: 18, 期号: 7, 页码: 893-899
Yin Xiaolan; Ding Zhiming; Li Jing
  |  
 
generation of triangular mesh with specified size by circle packing [期刊论文]
ADVANCES IN ENGINEERING SOFTWARE, 2007-01-01, 卷号: 38, 期号: 2, 页码: 133-142
Wang W. X.; Ming C. Y.; Lo S. H.
  |  
 

previous 1 2 3 4 5 6 7 8 9 10 11 next

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace