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


保存至书单:
1.
著者: 李建华
出版社: 机械工业出版社   出版日期: 2010
文献类型: 图书 , 索书号: TP393.08/422
2.
形式语言与自动机理论 已借1次.
出版社: 清华大学出版社   出版日期: 2013
文献类型: 图书 , 索书号: TP301.2/6/3
3.
著者: 张春祥
出版社: 中国电力出版社   出版日期: 2011
文献类型: 图书 , 索书号: TP311.5/508
4.
软件工程基础 已借2次.
出版社: 高等教育出版社   出版日期: 2008
文献类型: 图书 , 索书号: TP311.5/276
5.
数理逻辑十二讲
出版社: 机械工业出版社   出版日期: 2018
文献类型: 图书 , 索书号: O141/99
6.
中文信息处理原理及应用 已借2次.
出版社: 清华大学出版社   出版日期: 2015
文献类型: 图书 , 索书号: TP391.12/211/2