已经限定的分面

馆藏地点:

1. B馆自科书库(三楼) x

著者:

1. 李刚 x

图书馆

1. 长沙理工大学图书馆 (13)
2. 显示更多..

馆藏地点

1. [B馆自科书库(三楼)] (13)
2. 云塘馆自科三库(二楼东) (9)
3. 云塘馆密集书库1（联系自科二库借书） (3)
4. 云塘馆自科四库(二楼西) (2)
5. A馆自科书库（二楼） (1)
6. 云塘馆密集书库2（联系自科二库借书） (1)
7. 显示更多..

主题

1. java语言 (4)
2. 程序设计 (2)
3. 网页制作工具 (2)
4. 传感器 (1)
5. 数据结构 (1)
6. 移动终端 (1)
7. 移动通信 (1)
8. 程序语言 (1)
9. 算法分析 (1)
10. 自动检测系统 (1)
11. 超文本标记语言 (1)
12. 软件工具 (1)
13. 显示更多..

著者

1. [李刚] (13)
2. 李刚编著 (10)
3. (美) edmund m. clarke jr.，(美) orna grumberg，(美) doron a. peled著 (1)
4. 克拉克 (1)
5. 李刚 编著 (1)
6. 李刚，宋雨译 (1)
7. 李刚，林凌主编 (1)
8. 显示更多..

出版日期

1. 2021 (1)
2. 2019 (1)
3. 2018 (1)
4. 2017 (2)
5. 2016 (3)
6. 2015 (2)
7. 2013 (1)
8. 2012 (1)
9. 2006 (1)
10. 显示更多..

文献类型

1. 图书 (13)
2. 显示更多..

语言种类

1. 汉语 (13)
2. 显示更多..

在馆

1. 在馆 (13)
2. 显示更多..