- Electronic data processing--Distributed processing--Congresses (7)
- Computer network protocols--Congresses (5)
- Formal languages--Congresses (5)
- Formal methods (Computer science)--Congresses (4)
- Electronic digital computers--Programming--Congresses (3)
- Electronic data processing--Distributed processing--Protocols--Congresses (2)
- 器械計算.計算器 (2)
- Formal language--Congresses (1)