检索词: Bjorner , 检索到: 5 条结果, 检索时间: 0.039 秒 , 排序选项: 排序方式: 隐藏分类导航

分类导航

T 工业技术 (3)

P 天文学、地球科学 (2)

保存至书单:

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

	1.		软件工程．卷3，领域、需求与软件设计．3，Domains, requirements, and software design：[英文本] 已借1次. 订购中著者: D. 比约纳 Dines Bjorner 出版社: 清华大学出版社出版日期: 2007 文献类型: 图书 , 索书号: TP311.5/35-3 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	2.		软件工程．卷1，抽象与建模．1，Abstraction and modelling：[英文本] 订购中著者: D. 比约纳 Dines Bjorner 出版社: 清华大学出版社出版日期: 2007 文献类型: 图书 , 索书号: TP311.5/35-1 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	3.		软件工程．卷2，系统与语言规约．2，Specification of systems and languages 已借2次. 订购中著者: D. 比约纳 Dines Bjorner 出版社: 清华大学出版社出版日期: 2007 文献类型: 图书 , 索书号: TP311.5/35-2 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	4.		地质学家的记时录：从山脉、大气的悠远演变，思索气候变迁与地球的未来订购中著者: 贝约内鲁出版社: 商周出版出版日期: 2020 文献类型: 图书 , 索书号: P-49/50 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	5.		地球用岩石写日记：追踪46亿年的地球故事：the autobiography of the earth 订购中著者: 贝鸢业如出版社: 猫头鹰出版出版日期: 2015 文献类型: 图书 , 索书号: 在馆信息图书信息概览图书目录试读信息内容简介著者简介

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

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