名称:
描述:
公开/私有: 公开 私有
标题:
描述:
公开/私有: 公开 私有
检索词: 古天龙 , 检索到: 3 条结果, 检索时间: 0.036 秒 , 排序选项: 排序方式: 隐藏分类导航


保存至书单:
1.
软件开发的形式化方法 已借1次.
著者: 古天龙
出版社: 高等教育出版社   出版日期: 2005.01
文献类型: 图书 , 索书号: TP311.52/73
2.
离散数学
出版社: 清华大学出版社   出版日期: 2012
文献类型: 图书 , 索书号: O158/139
3.
有序二叉决策图及应用 已借2次.
出版社: 科学出版社   出版日期: 2009
文献类型: 图书 , 索书号: TP311.12/125