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


保存至书单:
1.
著者: 李建华
出版社: 机械工业出版社   出版日期: 2010
文献类型: 图书 , 索书号: TP393.08/422
2.
形式语言与自动机理论 已借1次.
出版社: 清华大学出版社   出版日期: 2013
文献类型: 图书 , 索书号: TP301.2/6/3
3.
编译原理及编译程序构造 已借2次.
出版社: 东南大学出版社   出版日期: 2013
文献类型: 图书 , 索书号: TP314/116/2
4.
著者: 张春祥
出版社: 中国电力出版社   出版日期: 2011
文献类型: 图书 , 索书号: TP311.5/508
5.
通信软件设计基础
著者: 宋茂强
出版社: 北京邮电学院出版社   出版日期: 2008
文献类型: 图书 , 索书号: TN91/79/2
6.
软件体系结构设计 已借1次.
著者: 李千目
出版社: 清华大学出版社   出版日期: 2008
文献类型: 图书 , 索书号: TP311.5/287
7.
软件工程基础 已借2次.
出版社: 高等教育出版社   出版日期: 2008
文献类型: 图书 , 索书号: TP311.5/276
8.
著者: 金立鑫
出版社: 北京大学出版社   出版日期: 2020
文献类型: 图书 , 索书号: H14/362
9.
离散数学 已借1次.
出版社: 清华大学出版社   出版日期: 2019
文献类型: 图书 , 索书号: O158/234
10.
数理逻辑十二讲
出版社: 机械工业出版社   出版日期: 2018
文献类型: 图书 , 索书号: O141/99