- Electronic digital computers--Programming--Congresses (41)
- Computational complexity--Congresses (7)
- Electronic data processing--Congresses (7)
- Machine theory--Congresses (6)
- Algorithms--Congresses (5)
- Programming languages (Electronic computers)--Congresses (5)
- Computer software--Congresses (3)
- Data base management--Congresses (3)
- Rewriting systems (Computer science)--Congresses (3)
- Categories (Mathematics)--Congresses (2)
- Computer architecture--Congresses (2)
- Computer science--Mathematics--Congresses (1)
- Electronic data processing--Mathematics--Congresses (1)
- Fifth generation computers--Programming--Congresses (1)
- Mathematics--Data processing--Congresses (1)
- Parallel processing (Electronic computers)--Congresses (1)
- Probabilities--Congresses (1)
- Queuing theory--Congresses (1)