- Programming languages (Electronic computers)--Congresses (135)
- Electronic digital computers--Programming--Congresses (26)
- Formal languages--Congresses (19)
- Machine theory--Congresses (19)
- Parallel processing (Electronic computers)--Congresses (12)
- Compilers (Computer programs)--Congresses (10)
- Computer architecture--Congresses (9)
- Computer programming--Congresses (9)
- Computer software--Development--Congresses (9)
- Formal methods (Computer science)--Congresses (9)
- Java (Computer program language)--Congresses (9)
- Logic programming--Congresses (7)
- Operating systems (Computers)--Congresses (5)
- Modular programming--Congresses (3)
- Programming (Electronic computers)--Congresses (3)
- Sequential machine theory--Congresses (3)
- APL (Computer program language)--Congresses (2)
- Artificial intelligence--Congresses (2)
- Compilers (Computers programs)--Congresses (2)
- Database management--Congresses (2)
- Embedded computer systems--Programming--Congresses (2)
- Expert systems (Computer science)--Congresses (2)
- Program languages (Electronic computers)--Congresses (2)
- Robotics--Congresses (2)
- Software engineering--Congresses (2)
- Algebra--Data processing--Congresses (1)
- Algorithms--Congresses (1)
- Automatic control--Congresses (1)
- Combinatory logic--Congresses (1)
- Computational complexity--Congresses (1)
- Computer graphics--Congresses (1)
- Computer networks--Congresses (1)
- Computer networks--Security measures--Congresses (1)
- Computer science--Mathematics--Congresses (1)
- Computer security--Congresses (1)
- Computer simulation--Congresses (1)
- Computers--Congresses (1)
- Data base management--Congresses (1)
- Databese management--Congresses (1)
- Declarative programming--Congresses (1)
- Digital electronics--Data processing--Congresses (1)
- Electronic data processing--Congresses (1)
- Electronic data processing--Distributed processing--Congresses (1)
- Electronic digital computers--Design and construction--Data processing--Congresses (1)
- Intelligent agents (Computer software) (1)
- Linguistics--Congresses (1)
- Logic, Symbolic and mathematical--Congresses (1)
- Modular programming (1)
- Object-oriented programming (Computer science)--Congressses (1)
- Parallel processing (Electronic computing)--Congresses (1)
- Problem solving--Data processing--Congresses (1)
- Robots--Programming (1)
- Structured programming--Congresses (1)
- System design--Congresses (1)