检索词: 模型检测 , 检索到: 7 条结果, 检索时间: 0.017 秒 , 排序选项: 排序方式: 隐藏分类导航

分类导航

T 工业技术 (5)

O 数理科学与化学 (2)

R 医药、卫生 (1)

保存至书单:

共 1 页首页 <上一页 1 下一页> 尾页>>

	1.		模型检测订购中著者: (美)Edmund M.Clarke Jr.，(美)Orna Grumberg，(美)Doron A.Peled著出版社: 电子工业出版社出版日期: 2016.01 文献类型: 图书 , 索书号: TP274/237 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	2.		模型检测订购中著者: 克拉克格伦贝格佩莱德出版社: 电子工业出版社出版日期: 2018 文献类型: 图书 , 索书号: TP274/237 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	3.		模型检测量子系统：原理与算法：principles and algorithms 订购中著者: 应明生冯元出版社: 机械工业出版社出版日期: 2023 文献类型: 图书 , 索书号: O413/59 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	4.		随机模型检测理论与应用订购中著者: 周从华出版社: 科学出版社出版日期: 2014 文献类型: 图书 , 索书号: O211.6/40 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	5.		基于Petri网的计算树逻辑模型检测订购中著者: 刘关俊何雷锋出版社: 科学出版社出版日期: 2024 文献类型: 图书 , 索书号: TP393.1/83 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	6.		近红外光谱法快速分析药品已借1次. 订购中著者: 胡昌勤冯艳春出版社: 化学工业出版社出版日期: 2010 文献类型: 图书 , 索书号: R917/24 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	7.		网络电磁安全科学与研究路线图订购中著者: 科尔弗出版社: 国防工业出版社出版日期: 2013 文献类型: 图书 , 索书号: TP393.08/200 在馆信息图书信息概览图书目录试读信息内容简介著者简介

共 1 页首页 <上一页 1 下一页> 尾页>>

© 2005－ www.interlib.com.cn, all rights reserved