检索
高级检索
书目浏览
中图分类浏览
我的图书馆
新书通报
中图分类查看
科图分类查看
图书荐购
历史荐购
读者荐购
语言:
中文
登录
语言:
中文
登录
前方一致
模糊检索
精确检索
任意词
题名
正题名
ISBN/ISSN
著者
主题词
分类号
控制号
订购号
出版社
索书号
q=%E4%BC%AF%E6%A0%BCH.K.%E7%AD%89&searchType=standard&isFacet=true&view=standard&rows=10&sortWay=score&sortOrder=desc&searchWay0=marc&logical0=AND
rows=10&searchWay0=marc&logical0=AND
名称:
描述:
公开/私有:
公开
私有
标题:
描述:
公开/私有:
公开
私有
检索词:
伯格H.K.等
, 检索到: 1 条结果, 检索时间: 0.031 秒 , 排序选项:
匹配度
出版日期
主题词
题名
著者
索书号
题名拼音
借阅次数
续借次数
题名权重
正题名权重
卷册号
排序方式:
降序排列
升序排列
隐藏分类导航
|
隐藏趋势图
伯格H.K.等
CADAL电子资源
集群图书馆
分类导航
T 工业技术
(1)
您是不是想检索:
伯格;H.K.等
伯格;H.K.等著
福格特;K.等
福格特;K.等著
贝利;D.K.等
图书馆
长沙理工大学图书馆
(1)
显示更多..
馆藏地点
A馆综合书库(三楼)
(1)
显示更多..
主题
程序-检验-规范
(1)
显示更多..
著者
sgxd译
(1)
伯格;h.k.等
(1)
伯格;h.k.等著
(1)
显示更多..
出版日期
1988
(1)
显示更多..
文献类型
图书
(1)
显示更多..
语言种类
汉语
(1)
显示更多..
在馆
在馆
(1)
显示更多..
保存至书单:
创建新书单
共 1 页
首页
<上一页
1
下一页>
尾页>>
1.
程序验证和规范的形式方法
订购中
著者:
伯格;H.K.等
出版社:
科学出版社
出版日期: 1988.4
文献类型:
图书 , 索书号:
TP311/B102
在馆信息
电子资源
电子资源
图书信息概览
图书目录
试读信息
内容简介
著者简介
共 1 页
首页
<上一页
1
下一页>
尾页>>
