每页显示
排序选项
排序方式
-
模型检测:(美) Edmund M. Clarke, Jr, Orna Grumberg, Doron A. Peled, 吴尽昭, 何安平, 高新岩
作者：(美) Edmund M. Clarke, Jr, Orna Grumberg, Doron A. Peled, 吴尽昭, 何安平, 高新岩
出版社：电子工业出版社
出版时间：2018
ISBN：978-7-121-35274-4
索书号：TP274/486
分类号：TP274
页数：11, 225页
价格：69.00
复本数：
在馆数：
累借天数：
累借次数：
本书共分18章, 涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver、限界模型检测、自动机上的模型检测、抽象解释、程序分析、实时系统验证, 同时介绍NuSMV和UPPAAL两个流行的模型检测器。
-
公司财政史:乔纳森·巴伦·巴斯金, 保罗·J·小米兰蒂, Jonathan Barron Baskin, Paul J. Miranti, Jr, 薛伯英
作者：乔纳森·巴伦·巴斯金, 保罗·J·小米兰蒂, Jonathan Barron Baskin, Paul J. Miranti, Jr, 薛伯英
出版社：中国经济出版社
出版时间：2002
ISBN：7-5017-4880-2
索书号：F279.1/81
分类号：F811.9
页数：439页
价格：35.00
复本数：
在馆数：
累借天数：
累借次数：
-
金融监管:哈威尔·E·杰克逊, 小爱德化·L·西蒙斯, Howell E. Jackson, Edward L. Symons, Jr, 吴志攀
作者：哈威尔·E·杰克逊, 小爱德化·L·西蒙斯, Howell E. Jackson, Edward L. Symons, Jr, 吴志攀
出版社：中国政法大学出版社
出版时间：2003
ISBN：7-5620-2505-3
索书号：F837.121/2
分类号：F837.121
页数：[12], 1151页
价格：88.00
复本数：
在馆数：
累借天数：
累借次数：
本书包括银行法、保险法、证券法、共同基金和退休金4个方面的监管制度。
-
人寿与健康保险:(美) 肯尼思·布莱克, 哈罗德·斯基博, Kenneth Black, Jr, Harold D. Skipper, Jr, 孙祁祥, 郑伟
作者：(美) 肯尼思·布莱克, 哈罗德·斯基博, Kenneth Black, Jr, Harold D. Skipper, Jr, 孙祁祥, 郑伟
出版社：经济科学出版社
出版时间：2003
ISBN：7-5058-3633-1
索书号：F840.62/1
分类号：F840.62
页数：986页
价格：85.00
复本数：
在馆数：
累借天数：
累借次数：
-
近红外光谱解析实用指南:杰尔·沃克曼, 洛伊斯·文依, Jerry Workman, Jr, Lois Weyer, 褚小立, 许育鹏, 田高友
作者：杰尔·沃克曼, 洛伊斯·文依, Jerry Workman, Jr, Lois Weyer, 褚小立, 许育鹏, 田高友
出版社：化学工业出版社
出版时间：2009
ISBN：978-7-122-06383-0
索书号：O657.33/1
分类号：O657.33
页数：274页
价格：60.00
复本数：
在馆数：
累借天数：
累借次数：
本书通过大量的谱图和数据详细介绍了近红外光谱吸收谱带与分子结构之间的关系, 给出了主要官能团、有机化合物和聚合物的特征吸收谱带及其归属。此外, 书中还扼要介绍了近红外光谱产生的机理以及近红外光谱的应用发展史。
缩小检索范围
- 文献类型
- 出版社
- 作者
- (美) Edmund M. Clarke, Jr, Orna Grumberg, Doron A. Peled, 吴尽昭, 何安平, 高新岩(1)
- (美) Frank J. Rumbauskas Jr, 赵俐, 杨建军(1)
- (美) 小比尔·梅西, Bill Mesce, Jr, 粟志敏(1)
- (美) 小约瑟夫·F·辛基, Joseph F. Sinkey, Jr, 黄金老主(1)
- (美) 约瑟夫·奈, Jpseph S.Nye, Jr, 吴晓辉, 钱程(1)
- (美) 肯尼思·布莱克, 哈罗德·斯基博, Kenneth Black, Jr, Harold D. Skipper, Jr, 孙祁祥, 郑伟(1)
- (美)William g.Page,Jr, 王磊，蒋蕊，王焱(1)
- Gerald D.Everett， Raymond Mcleod, Jr, 郭耀(1)
- W·基普·维斯库斯, 小约瑟夫·E·哈林顿, 约翰·M·弗农, W. Kip Viscusi, Joseph E. Harrington, Jr, John M. Vernon, 陈甬军, 覃福晓(1)
- 乔纳森·巴伦·巴斯金, 保罗·J·小米兰蒂, Jonathan Barron Baskin, Paul J. Miranti, Jr, 薛伯英(1)
- 哈威尔·E·杰克逊, 小爱德化·L·西蒙斯, Howell E. Jackson, Edward L. Symons, Jr, 吴志攀(1)
- 杰尔·沃克曼, 洛伊斯·文依, Jerry Workman, Jr, Lois Weyer, 褚小立, 许育鹏, 田高友(1)
只显示前10条......
- (美) Edmund M. Clarke, Jr, Orna Grumberg, Doron A. Peled, 吴尽昭, 何安平, 高新岩(1)
- (美) Frank J. Rumbauskas Jr, 赵俐, 杨建军(1)
- (美) 小比尔·梅西, Bill Mesce, Jr, 粟志敏(1)
- (美) 小约瑟夫·F·辛基, Joseph F. Sinkey, Jr, 黄金老主(1)
- (美) 约瑟夫·奈, Jpseph S.Nye, Jr, 吴晓辉, 钱程(1)
- (美) 肯尼思·布莱克, 哈罗德·斯基博, Kenneth Black, Jr, Harold D. Skipper, Jr, 孙祁祥, 郑伟(1)
- (美)William g.Page,Jr, 王磊，蒋蕊，王焱(1)
- Gerald D.Everett， Raymond Mcleod, Jr, 郭耀(1)
- W·基普·维斯库斯, 小约瑟夫·E·哈林顿, 约翰·M·弗农, W. Kip Viscusi, Joseph E. Harrington, Jr, John M. Vernon, 陈甬军, 覃福晓(1)
- 乔纳森·巴伦·巴斯金, 保罗·J·小米兰蒂, Jonathan Barron Baskin, Paul J. Miranti, Jr, 薛伯英(1)
查看更多信息......
- 出版年