已经限定的分面

馆藏地点:

出版日期:

1. 2018 x

图书馆

1. 长江大学图书馆 (6)
2. 文理学院图书馆 (1)
3. 显示更多..

馆藏地点

1. 东校区图书借阅室 (6)
2. 西校区图书借阅室 (5)
3. 文理学院城中书库 (1)
4. 武汉校区图书借阅室 (1)
5. 显示更多..

主题

1. 仿真模型 (1)
2. 作战模拟 (1)
3. 供电网 (1)
4. 大规模集成电路 (1)
5. 应用软件 (1)
6. 微型计算机 (1)
7. 操作语义 (1)
8. 数理逻辑 (1)
9. 构件 (1)
10. 研究 (1)
11. 系统设计 (1)
12. 网络安全 (1)
13. 表处理软件 (1)
14. 计算机仿真 (1)
15. 计算机网络 (1)
16. 软件开发 (1)
17. 通信协议 (1)
18. 验证 (1)
19. 高等学校 (1)
20. 显示更多..

著者

1. (瑞士) cas cremers, (卢森堡) sjouke mauw著 (1)
2. (美) 爱德华·阿什福德·李, 桑吉特·阿伦库马尔·塞希阿著 (1)
3. edward ashford lee, sanjit arunkumar seshia (1)
4. 克雷默斯 (1)
5. 吴从晖 (1)
6. 吴汉炜 (1)
7. 吴汉炜译 (1)
8. 吴骏 (1)
9. 塞希阿 (1)
10. 宋方敏 (1)
11. 宋方敏, 吴骏编著 (1)
12. 张凯龙 (1)
13. 张凯龙译 (1)
14. 徐小辉 (1)
15. 徐小辉著 (1)
16. 恒盛杰资讯 (1)
17. 恒盛杰资讯编著 (1)
18. 李 (1)
19. 杨建磊 (1)
20. 杨建磊著 (1)
21. 显示更多..

出版日期

1. [2018] (7)
2. 显示更多..

文献类型

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

语言种类

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