文献类型

1. 图书（纸本） (28)
2. 显示更多..

主题

1. computer networks (9)
2. telecommunication systems (6)
3. data transmission systems (5)
4. computer software (4)
5. formal methods (computer science) (4)
6. electronic data processing (3)
7. system design (3)
8. computer architecture (2)
9. mobile computing (2)
10. artificial satellites in navigation (1)
11. artificial satellites in telecommunication (1)
12. automobiles (1)
13. communication systems (1)
14. computer network architectures (1)
15. computer network protocols (1)
16. computer systems (1)
17. electronic mail systems (1)
18. informatics (1)
19. integrated circuits (1)
20. mobile communication systems (1)
21. 显示更多..

著者

1. bernardo, marco (5)
2. ifip tc6/wg6.1 international conference on testing of communicating systems (4)
3. international school on formal methods for the design of computer, communication, and software systems (4)
4. international conference on distributed computing systems (3)
5. thurber, kenneth j (3)
6. institution of electrical engineers (2)
7. international federation for information processing (2)
8. networking conference (2)
9. aagesen, finn arve (1)
10. alessandro, cimatti (1)
11. anutariya, chutiporn (1)
12. boavida, fernando, (1)
13. bogliolo, alessandro (1)
14. boutaba, raouf (1)
15. corradini, flavio (1)
16. dssouli, r (1)
17. duale, ali y (1)
18. fecko, mariusz a., (1)
19. groz, roland (1)
20. hierons, robert m (1)
21. 显示更多..

出版日期

1. 显示更多..

馆藏地点

1. 余区图书保存本库 (15)
2. 西院西文图书保存本库 (5)
3. 南湖外文图书借阅区 (3)
4. 余区外文图书借阅区 (3)
5. 管理学院资料室(（南湖) (1)
6. 机电工程学院资料室(东院) (1)
7. 显示更多..

图书馆

1. 武汉理工大学图书馆 (26)
2. 管理学院 (1)
3. 机电工程学院 (1)
4. 显示更多..

语言种类

1. 显示更多..

在馆

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

分面检索

资源类型

1. 纸质资源 不在馆 (28)
2. 显示更多..