检索词: Helmut K. , 检索到: 3 条结果, 检索时间: 0.035 秒 , 排序选项: 排序方式: 隐藏分类导航 | 隐藏趋势图

分类导航

您是不是想检索:

保存至书单:

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

1.	封面仅供参考	Formal methods of program verification and specification 订购中 (含光盘) 著者: Berg Helmut K. 出版社: Prentice-Hall,Inc., 出版日期: 1982 文献类型: 图书 , 索书号: 73.87221/BHK 在馆信息图书信息概览图书目录试读信息内容简介著者简介
2.	封面仅供参考	尼采作为古代文史学者已借2次. 订购中 (含光盘) 著者: 海特詹森出版社: 华东师范大学出版社出版日期: 2019 文献类型: 图书 , 索书号: B516.47-53/2 在馆信息图书信息概览图书目录试读信息内容简介著者简介
3.	封面仅供参考	生物矿化：从自然到应用：from nature to application 已借1次. 订购中 (含光盘) 著者: 西格尔西格尔西格尔出版社: 科学出版社出版日期: 2018 文献类型: 图书 , 索书号: Q81/88 在馆信息图书信息概览图书目录试读信息内容简介著者简介

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