已经限定的分面

图书馆:

1. 辽宁省图书馆 x

馆藏地点:

分面检索

图书馆

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

馆藏地点

1. 新馆外文 (6)
2. 保存 (5)
3. 新馆自科 (1)
4. 显示更多..

主题

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. 显示更多..

在馆

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