名称:
描述:
公开/私有: 公开 私有
标题:
描述:
公开/私有: 公开 私有
检索词: 操作语义 , 检索到: 9 条结果, 检索时间: 0.281 秒 , 排序选项: 排序方式: 隐藏分类导航


保存至书单:
1.
形式语义学引论
出版社: 科学出版社   出版日期: 2017
文献类型: 图书 , 索书号: TP301.2/7269
2.
著者: 陆汝钤
出版社: 清华大学出版社   出版日期: 2017
文献类型: 图书 , 索书号: TP301.2/7238#1
3.
著者: 陆汝钤
出版社: 清华大学出版社   出版日期: 2017
文献类型: 图书 , 索书号: TP301.2/7238#2
4.
著者: 屈延文
出版社: 科学出版社   出版日期: 2010
文献类型: 图书 , 索书号: TP301.2/7210
5.
著者: 邓玉欣
出版社: 上海交通大学出版社   出版日期: 2015
文献类型: 图书 , 索书号: O211.1/7417
6.
程序设计语言的形式语义 已借2次.
出版社: 机械工业出版社   出版日期: 2004
文献类型: 图书 , 索书号: TP301.2/3144
7.
出版社: 电子工业出版社   出版日期: 2018
文献类型: 图书 , 索书号: TP393.08/4216
8.
动态模糊数据分析理论与方法 已借1次.
出版社: 科学出版社   出版日期: 2013
文献类型: 图书 , 索书号: TP274/4474
9.
著者: 哈珀
出版社: 机械工业出版社   出版日期: 2022
文献类型: 图书 , 索书号: TP312/6011