中国科学院软件研究所机构知识库(ISCAS OpenIR): Search Results

Item hits: (Results 1-5 of 5)

Items/Page: Sort:
	基于马尔可夫模型的软件错误定位方法 [期刊论文] 计算机学报, 2013-01-01, 卷号: 36, 期号: 2, 页码: 445-456 张云乾; 郑征; 季晓慧; 张文博; 张震宇
	约束问题求解 [期刊论文] 自动化学报, 2007-01-01, 卷号: 33, 期号: 2, 页码: 125-131 季晓慧; 张健 \|
	一种求解混合约束问题的快速完备算法 [期刊论文] 计算机研究与发展, 2006-01-01, 卷号: 43, 期号: 3, 页码: 551-556 季晓慧; 张健 \|
	求解布尔与非线性数值约束相混合的约束问题 [期刊论文] 软件学报, 2005-01-01, 卷号: 16, 期号: 5, 页码: 659-668 季晓慧; 张健 \|
	约束求解与优化技术的结合 [期刊论文] 计算机学报, 2005-01-01, 卷号: 28, 期号: 11, 页码: 1790-1797 季晓慧; 黄拙; 张健 \|


Email:
Passwd
验证:
	换一张
Have you forgotten your password? Stay signed in Log In