检索条件：验证 ( 主题词 )

检索结果共有5条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书芯片形式化验证原理、方法与实战
责任者王亮,谭永亮

出版信息机械工业出版社 ,2025

ISBN 978-7-111-78268-1

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
王亮,谭永亮.芯片形式化验证原理、方法与实战.机械工业出版社,2025.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://ksxt.wzbc.edu.cn:80/opac/book/6007176
复制引文到剪贴板

芯片形式化验证原理、方法与实战

王亮,谭永亮.机械工业出版社,2025.
2 图书数字集成电路设计验证：量化评估、激励生成、形式化验证
责任者李晓维,吕涛,李华伟,李光辉

出版信息科学出版社 ,2010

ISBN 978-7-03-027609-4

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
李晓维,吕涛,李华伟,李光辉.数字集成电路设计验证：量化评估、激励生成、形式化验证.科学出版社,2010.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://ksxt.wzbc.edu.cn:80/opac/book/52504
复制引文到剪贴板

数字集成电路设计验证：量化评估、激励生成、形式化验证

李晓维,吕涛,李华伟,李光辉.科学出版社,2010.
3 图书产品可靠性能检验
责任者张万岭

出版信息中国计量出版社 ,2005

ISBN 7-5026-2134-2

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
张万岭.产品可靠性能检验.中国计量出版社,2005.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://ksxt.wzbc.edu.cn:80/opac/book/196014
复制引文到剪贴板

产品可靠性能检验

张万岭.中国计量出版社,2005.
4 图书经济科学实验方法
责任者李建建,黄茂兴,李军军

出版信息经济科学出版社 ,2013

ISBN 978-7-5141-3636-4

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
李建建,黄茂兴,李军军.经济科学实验方法.经济科学出版社,2013.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://ksxt.wzbc.edu.cn:80/opac/book/185856
复制引文到剪贴板

经济科学实验方法

李建建,黄茂兴,李军军.经济科学出版社,2013.
5 图书经济科学实验方法
责任者李建建,黄茂兴,李军军

出版信息经济科学出版社 ,2013

ISBN 978-7-5141-3636-4

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
李建建,黄茂兴,李军军.经济科学实验方法.经济科学出版社,2013.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://ksxt.wzbc.edu.cn:80/opac/book/179633
复制引文到剪贴板

经济科学实验方法

李建建,黄茂兴,李军军.经济科学出版社,2013.

预借成功!

预约成功!