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

Search Results

Help

Item hits: (Results 31-40 of 45)

Items/Page:    Sort:
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
  |  
 
contextual labelled semantics for higher-order process calculi [会议论文]
Proceedings of the Workshop on the Foundations of Global Ubiquitous Computing (FGUC 2004), September
Li Yongjian
  |  
 
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
  |  
 
compositional properties of sequential processes [期刊论文]
Electronic Notes in Theoretical Computer Science, 2005-01-01, 卷号: 118, 期号: 4, 页码: 111-128
Zhan Naijun
  |  
 
reducing symmetries to generate easier sat instances [期刊论文]
Electronic Notes in Theoretical Computer Science, 2005-01-01, 卷号: 125, 期号: 3, 页码: 149-164
Zhang Jian; Zhuo Huang
  |  
 
on liveness and boundedness of asymmetric choice nets [期刊论文]
Theoretical Computer Science, 2004-01-01, 卷号: 311, 期号: 40181, 页码: 165-197
Jiao Li; To-Yat Cheung; Weiming Lu
  |  
 
enhancing global sls-resolution with loop cutting and tabling mechanisms [期刊论文]
Theoretical Computer Science, 2004-01-01, 卷号: 328, 期号: 3, 页码: 271-287
Shen Yidong; Jia-Huai You; Li-Yan Yuan
  |  
 
correlation immunity and resiliency of symmetric boolean functions [期刊论文]
Theoretical Computer Science, 2004-01-01, 卷号: 312, 期号: 40212, 页码: 321-335
Wu Chuankun; Ed Dawson
  |  
 
Structural operational semantics for weak bisimulations [期刊论文]
Theoretical Computer Science, 1995-01-01, 卷号: 146, 期号: 1-2, 页码: 25-68
Bard Bloom
  |  
 

previous 1 2 3 4 5 next

 

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