名称:
描述:
公开/私有: 公开 私有
标题:
描述:
公开/私有: 公开 私有
检索词: 形式化 , 检索到: 178 条结果, 检索时间: 0.031 秒 , 排序选项: 排序方式: 隐藏分类导航


保存至书单:
51.
问题求解理论及应用
出版社: 清华大学出版社   出版日期: 1990.12
文献类型: 图书 , 索书号: TP18/24
52.
GCT逻辑考前辅导教程
著者: 周建武
出版社: 清华大学出版社   出版日期: 2012
文献类型: 图书 , 索书号: B81/245
53.
通信软件设计基础
著者: 宋茂强
出版社: 北京邮电大学出版社   出版日期: 2001
文献类型: 图书 , 索书号: TN91/79
54.
著者: 周建武
出版社: 清华大学出版社   出版日期: 2015
文献类型: 图书 , 索书号: B81/261
55.
著者: 周建武
出版社: 中国人民大学出版社   出版日期: 2013
文献类型: 图书 , 索书号: B81-42/14
56.
图式逻辑
著者: 刘新文
出版社: 中国社会科学出版社   出版日期: 2012
文献类型: 图书 , 索书号: B81/243
57.
模态对应理论
出版社: 科学出版社   出版日期: 2010
文献类型: 图书 , 索书号: B815.1-53/2
58.
形式语言与自动机 已借1次.
出版社: 清华大学出版社   出版日期: 2015
文献类型: 图书 , 索书号: TP301/46
59.
海浪 已借7次.
著者: 吴尔夫
出版社: 上海译文出版社   出版日期: 2012
文献类型: 图书 , 索书号: I561.45/848
60.
著者: 周建武
出版社: 清华大学出版社   出版日期: 2013
文献类型: 图书 , 索书号: B81/234