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

Search Results

Help

Item hits: (Results 51-60 of 62)

Items/Page:    Sort:
extended symbolic transition graphs with assignment [会议论文]
29th Annual International Computer Software and Applications Conference, Edinburgh, SCOTLAND, JUL 26-28,
Deng WJ; Lin HM
  |  
 
handling synchronization problem in petri net-based system design by property-preserving transition-reduction [期刊论文]
COMPUTER JOURNAL, 2005-01-01, 卷号: 48, 期号: 6, 页码: 692-701
Jiao L; Cheung TY; Lu WM
  |  
 
多输出bent函数的优化设计 [期刊论文]
Tien Tzu Hsueh Pao/Acta Electronica Sinica, 2005-01-01, 卷号: 33, 期号: 3, 页码: 521-523
Wu Ju-Ying; Wei Yong-Zhuang; Wang Xuan-Ming
  |  
 
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
  |  
 
Reducing index method for differential-algebraic equations with constraint singularities [期刊论文]
Applied Mathematics and Computation, 2004-01-01, 卷号: 153, 期号: 1, 页码: 205-214
M. M. Hosseini
  |  
 
传值进程模型检测中诊断信息的生成 [期刊论文]
软件学报, 2003-01-01, 卷号: 14, 期号: 1, 页码: 40186
刘剑; 林惠民
  |  
 
complete inference systems for weak bisimulation equivalences in the [pi]-calculus [期刊论文]
Information and Computation, 2003-01-01, 卷号: 180, 期号: 1, 页码: 40207
Lin Huimin

 
XML查询的代数表示及其查询优化 [期刊论文]
计算机科学, 2002-01-01, 期号: 6, 页码: 57-62,51
李效东; 顾毓清
  |  
 
specification analysis and test data generation by solving boolean combinations of numeric constraints [会议论文]
1st Asia-Pacific Conference on Quality Software, HONG KONG, PEOPLES R CHINA, OCT 30-31,
Zhang J
  |  
 
几个门限群签名方案的弱点 [期刊论文]
软件学报, 2000-01-01, 卷号: 11, 期号: 10, 页码: 1326-1332
王贵林; 卿斯汉
  |  
 

previous 1 2 3 4 5 6 7 next

 

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