检索词: tobias , 检索到: 7 条结果, 检索时间: 0.032 秒 , 排序选项: 排序方式: 隐藏分类导航 | 隐藏趋势图

分类导航

TP 自动化技术、计算机技术 (6)

TB 一般工业技术 (1)

回到上一级分类

您是不是想检索:

Utopias tobit tobit模型 Dystopias Alias Auzias Jacobians. Phobia memorias

保存至书单:

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

	1.		Augmented reality : principles and practice / 订购中 (含光盘) 著者: H?llerer Tobias 出版社: China Machine Press, 出版日期: 2018. 文献类型: 图书 , 索书号: TP391.98/SD 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	2.		Isabelle/HOL: a proof assistant for higher-order logic 订购中 (含光盘) 著者: Tobias Nipkow et al. 出版社: SpringerVerlag 出版日期: 2002 文献类型: 图书 , 索书号: TP302.2/NT 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	3.		Approximate methods in engineering design 订购中 (含光盘) 著者: Furman Tobias Towie 出版社: Acadmic Pr. 出版日期: 1981 文献类型: 图书 , 索书号: 78.122/FTT 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	4.		捉虫日记已借14次. 订购中 (含光盘) 著者: 克莱因出版社: 人民邮电出版社出版日期: 2012 文献类型: 图书 , 索书号: TP309/143 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	5.		增强现实：原理与实践：principles and practice 订购中 (含光盘) 著者: 施马尔斯蒂格赫勒雷尔出版社: 机械工业出版社出版日期: 2020 文献类型: 图书 , 索书号: TP391.98/44 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	6.		向云环境迁移已借4次. 订购中 (含光盘) 著者: 哈沃斯出版社: 北京理工大学出版社出版日期: 2014 文献类型: 图书 , 索书号: TP393/891 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	7.		高阶逻辑辅助证明系统已借1次. 订购中 (含光盘) 著者: 尼普科保尔森文策尔出版社: 北京理工大学出版社出版日期: 2013 文献类型: 图书 , 索书号: TP391.75/124 在馆信息图书信息概览图书目录试读信息内容简介著者简介

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

© 2005－ www.interlib.com.cn, all rights reserved null 关于联系我们帮助