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

Search Results

Help

Item hits: (Results 1-6 of 6)

Items/Page:    Sort:
线性时序逻辑转换Buchi自动机的按需即时算法 [期刊论文]
清华大学学报. 自然科学版, 2014-01-01, 卷号: 54, 期号: 2, 页码: 281-288
单来祥; 覃征; 卢欣晔; 卢正才

 
基于LDA主题模型的安全漏洞分类 [期刊论文]
清华大学学报(自然科学版), 2012-01-01, 卷号: 52, 期号: 10, 页码: 1351-1355
廖晓锋; 王永吉; 范修斌; 吴敬征

 
基于控制流挖掘的Android系统代码漏洞分析 [期刊论文]
清华大学学报(自然科学版), 2012-01-01, 卷号: 52, 期号: 10, 页码: 1335-1339
刘剑; 孙可钦; 汪孙律

 
无线多跳网中具有网络编码意识的机会路由协议 [期刊论文]
清华大学学报(自然科学版), 2010-01-01, 卷号: 50, 期号: 10, 页码: 1713-1717
杨林; 郑刚
  |  
 
加速重叠分块Newton法并行计算潮流问题 [期刊论文]
清华大学学报(自然科学版), 2005-01-01, 卷号: 45, 期号: 3, 页码: 412-414
仝辉; 陈玉荣; 蔡大用
  |  
 
产品配置到产品结构的转化算法 [期刊论文]
清华大学学报(自然科学版), 2000-01-01, 卷号: 40, 期号: 5
阴向阳; 童秉枢; 滕东兴; 李和良; 韩永生
  |  
 

1

 

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