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

Search Results

Help

Item hits: (Results 11-20 of 24)

Filters    
Items/Page:    Sort:
eigenvariables, bracketing and the decidability of positive minimal predicate logic [期刊论文]
THEORETICAL COMPUTER SCIENCE, 2006-01-01, 卷号: 360, 期号: 1-3, 页码: 193-208
Dowek Gilles; Jiang Ying
  |  
 
eigenvariables, bracketing and the decidability of positive minimal predicate logic [期刊论文]
THEORETICAL COMPUTER SCIENCE, 2006-01-01, 卷号: 360, 期号: 1-3, 页码: 193-208
Dowek Gilles; Jiang Ying
  |  
 
a general model for long-tailed network traffic approximation [期刊论文]
JOURNAL OF SUPERCOMPUTING, 2006-01-01, 卷号: 38, 期号: 2, 页码: 155-172
Wang Junfeng; Zhou Hongxia; Zhou Mingtian; Li Lei
  |  
 
a network flow approach to the minimum common integer partition problem [期刊论文]
THEORETICAL COMPUTER SCIENCE, 2006-01-01, 卷号: 369, 期号: 1-3, 页码: 456-462
Zhao Wenbo; Zhang Peng; Jiang Tao
  |  
 
a network flow approach to the minimum common integer partition problem [期刊论文]
THEORETICAL COMPUTER SCIENCE, 2006-01-01, 卷号: 369, 期号: 1-3, 页码: 456-462
Zhao Wenbo; Zhang Peng; Jiang Tao
  |  
 
a formal description of secimos operating system [期刊论文]
COMPUTER NETWORK SECURITY, PROCEEDINGS, 2005-01-01, 卷号: 3685, 页码: 286-297
Zhou ZY; Liang B; Jiang L; Shi WC; He YP
  |  
 
multi-labeled graph matching - an algorithm model for schema matching [期刊论文]
ADVANCES IN COMPUTER SCIENCE - ASIAN 2005, PROCEEDINGS, 2005-01-01, 卷号: 3818, 页码: 90-103
Zhang Z; Che HY; Shi PF; Sun Y; Gu J
  |  
 
property-preserving subnet reductions for designing manufacturing systems with shared resources [期刊论文]
THEORETICAL COMPUTER SCIENCE, 2005-01-01, 卷号: 332, 期号: 1-3, 页码: 461-485
Huang HJ; Jiao L; Cheung TY
  |  
 
construction of cryptographically important boolean permutations [期刊论文]
APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING, 2004-01-01, 卷号: 15, 期号: 3-4, 页码: 173-177
Zhang WY; Wu CK; Li SQ
  |  
 
hyo-xtm: a set of hyper-graph operations on xml topic map toward knowledge management [期刊论文]
FUTURE GENERATION COMPUTER SYSTEMS, 2004-01-01, 卷号: 20, 期号: 1, 页码: 81-100
Dong Y; Li MS
  |  
 

previous 1 2 3 next

 

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