- Formal languages--Congresses (2)
- Machine theory--Congresses (2)
- Programming languages (Electronic computers)--Congresses (2)
- Computer science--Mathematics--Congresses (1)
- Multitasking (Computer science)--Congresses (1)
- Parallel processing (Electronic computers)--Congresses (1)
- Petri nets--Congresses (1)
- 総記--情報学．情報科学 (1)