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

Search Results

Help

Item hits: (Results 1-5 of 5)

Filters    
Items/Page:    Sort:
a general compiler for password-authenticated group key exchange protocol [期刊论文]
INFORMATION PROCESSING LETTERS, 2010-01-01, 卷号: 110, 期号: 4, 页码: 160-167
Li Hui; Wu Chuan-Kun; Sun Jun
  |  
 
rate monotonic scheduling re-analysed [期刊论文]
INFORMATION PROCESSING LETTERS, 2010-01-01, 卷号: 110, 期号: 6, 页码: 226-231
Xu Qiwen; Zhan Naijun
  |  
 
a direct construction of polynomial-size obdd proof of pigeon hole problem [期刊论文]
INFORMATION PROCESSING LETTERS, 2009-01-01, 卷号: 109, 期号: 10, 页码: 472-477
Chen Wei; Zhang Wenhui

 
a note on regular petri nets [期刊论文]
INFORMATION PROCESSING LETTERS, 2008-01-01, 卷号: 108, 期号: 3, 页码: 110-114
Jiao Li
  |  
 
ehrenfeucht-fraisse games in finite set theory [期刊论文]
INFORMATION PROCESSING LETTERS, 2008-01-01, 卷号: 108, 期号: 1, 页码: 3-9
Zhou Xiang
  |  
 

1

 

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