名称:
描述:
公开/私有: 公开 私有
标题:
描述:
公开/私有: 公开 私有
检索词: 中国科学院软件研究所 , 检索到: 12 条结果, 检索时间: 0.023 秒 , 排序选项: 排序方式: 隐藏分类导航


保存至书单:
1.
出版社: 中国科学院软件研究所   出版日期: 2005
文献类型: 图书(纸本) , 索书号: TP31/62
2.
出版社: 该刊编辑部   出版日期:
文献类型: 期刊(纸本) , 索书号: TP31/11
3.
出版社: 中国机械工程学会理化检验学会   出版日期: 1980-1981
文献类型: 期刊(纸本) , 索书号: O65/2
4.
著者: 陶仁骥
出版社: 科学出版社   出版日期: 1992
文献类型: 图书(纸本) , 索书号: 73.46172/979
5.
出版社: 高等教育出版社   出版日期: 2020
文献类型: 图书(纸本) , 索书号: TP316.85/560
6.
数理逻辑的思想与方法 已借10次.
著者: 李娜
出版社: 南开大学出版社   出版日期: 2006
文献类型: 图书(纸本) , 索书号: O141/15
7.
著者: 冀俊峰
出版社: 清华大学出版社   出版日期: 2022
文献类型: 图书(纸本) , 索书号: F49-49/29
8.
著者: 应明生
出版社: 机械工业出版社   出版日期: 2019
文献类型: 图书(纸本) , 索书号: TP311.1/364
9.
出版社: 清华大学出版社   出版日期: 2022
文献类型: 图书(纸本) , 索书号: F830.5-39/11
10.
出版社: 清华大学出版社   出版日期: 2023
文献类型: 图书(纸本) , 索书号: TP212.9/4