- Computer software--Development--Congresses (2)
- Formal languages--Congresses (2)
- Machine theory--Congresses (2)
- Computational complexity (1)
- Computer algorithms--Congresses (1)
- Computer programming--Congresses (1)
- Electronic digital computers--Programming--Congresses (1)
- Programming (Electronic computers)--Congresses (1)
- Programming languages (Electronic computers)--Congresses (1)
- アルゴリズム (1)
- 計算量理論 (1)