|
已选(0)清除
条数/页： 排序方式：
|
| 国家投资建设项目网上招投标研究 ——专家管理系统和IT采纳 学位论文
2015, 2015
李菁菁
  收藏 | 浏览/下载：5/0 | 提交时间：2009/03/01
|
| Wu’s Characteristic Set Method for SystemVerilog Assertions Verification 期刊论文
2015, 2015
Xinyan Gao; Ning Zhou; JinzhaoWu; Dakui Li
收藏 | 浏览/下载：3/0 | 提交时间：2017/06/19
|
| Stochastic Process Algebra with Value-Passing and Weak Time Restrictions 期刊论文
2015, 2015
Guang Zheng; Jinzhao Wu; Aiping Lu
收藏 | 浏览/下载：5/0 | 提交时间：2017/06/19
|
| Hybrid coevolutionary glowworm swarm optimization algorithm with simplex search method for system of nonlinear equations 期刊论文
2015, 2015
Liangdong Qu; Dengxu He; Jinzhao Wu
收藏 | 浏览/下载：2/0 | 提交时间：2017/06/19
|
| Approximate Equivalence and Optimization for High-Level Datapath 期刊论文
2015, 2015
Hui DENG; Jinzhao WU; Ning ZHOU
收藏 | 浏览/下载：4/0 | 提交时间：2017/06/19
|
| Automata-Based Analysis of Stage Suspended Boom Systems 期刊论文
2015, 2015
Anping He; JinzhaoWu; Shihan Yang; Yongquan Zhou; JuanWang
收藏 | 浏览/下载：1/0 | 提交时间：2017/06/19
|
| Approximate Completed Trace Equivalence of Three Dimensional t-Model Nonlinear Algebraic Hybrid Systems 期刊论文
2015, 2015
Hao Yang1; Jinzhao Wu; Zhiwei Zhang; Yang Liu
收藏 | 浏览/下载：4/0 | 提交时间：2017/06/19
|
| Approximate Bisimulation and Its Applications for Polynomial Algebraic System Based on Symbolic and Numerical Calculation 期刊论文
2015, 2015
Hui Deng; Jinzhao Wu
收藏 | 浏览/下载：11/0 | 提交时间：2017/06/19
|
| Approximate Bisimulation and Optimization of Software Programs Based on Symbolic-Numeric Computation 期刊论文
2015, 2015
Hui Deng; Jinzhao Wu
收藏 | 浏览/下载：3/0 | 提交时间：2017/06/19
|
| A Latent Implementation Error Detection Method for Software Validation 期刊论文
2015, 2015
Jiantao Zhou; Jing Liu; Jinzhao Wu; Guodong Zhong
收藏 | 浏览/下载：4/0 | 提交时间：2017/06/19
|
