已经限定的分面

图书馆:

1. 辽宁省图书馆 x

馆藏地点:

图书馆

1. 喀左分馆
2. 兴城分馆
3. 北镇分馆
4. [辽宁省图书馆]
5. 和平分馆
6. 朝阳分馆
7. 桓仁分馆
8. 开原分馆
9. 抚顺县分馆
10. 鲅鱼圈分馆
11. 大洼分馆
12. 政协分馆
13. 盘锦大洼分馆（暂时不用）
14. 建昌分馆
15. 中心馆
16. 宽甸县分馆
17. 大连瓦房店分馆
18. 本溪分馆
19. 丹东分馆
20. 显示更多..

馆藏地点

1. 显示更多..

主题

1. 自动检测系统 (3)
2. building information modeling (1)
3. computer systems (1)
4. derivative securities (1)
5. electric power distribution (1)
6. flexible ac transmission systems (1)
7. mathematical models (1)
8. mathematics / probability & statistics / regression analysis (1)
9. newton-raphson method (1)
10. quantum computing (1)
11. regression analysis (1)
12. risk management (1)
13. statistics (1)
14. verification (1)
15. 智能体 (1)
16. 检验 (1)
17. 网络模型 (1)
18. 计算机网络 (1)
19. 软件开发 (1)
20. 量子 (1)
21. 显示更多..

著者

1. 佩莱德 (2)
2. 克拉克 (2)
3. 格伦贝格 (2)
4. (美)edmund m. clarke, jr.，(美)orna grumberg，(美)doron a. peled著 (1)
5. (美)edmund m.clarke jr.，(美)orna grumberg，(美)doron a.peled著 (1)
6. (英)克里斯特拉·拜耳 (christel baier)，(英)乔斯特-彼得·卡托恩(joost-pieter katoen)著 (1)
7. beinker, mark w, (1)
8. bhowmick, suman, (1)
9. deutsch, hans-peter, (1)
10. feng, yuan, (1)
11. he, junjie (1)
12. nawari, nawari o., (1)
13. pardoe, iain, (1)
14. ying, mingsheng, (1)
15. 何安平 (1)
16. 何键浩 (1)
17. 冯元 (1)
18. 刘婵娟 (1)
19. 刘婵娟[著] (1)
20. 卡托恩 (1)
21. 显示更多..

出版日期

1. 2016 (1)
2. 2018 (1)
3. 2019 (1)
4. 2021 (1)
5. 2023 (1)
6. 显示更多..

文献类型

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

语言种类

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