- Abstract data types (Computer science)--Congresses (3)
- Software engineering--Congresses (3)
- Algebra, Abstract (1)
- Algebra--Addresses, essays, lectures (1)
- Categories (Mathematics)--Addresses, essays, lectures (1)
- Computational complexity--Congresses (1)
- Computer software--Congresses (1)
- Data structures (Computer science)--Congresses (1)
- Equations--Numerical solutions (1)
- Formal languages--Congresses (1)
- Programming (Electronic computers)--Congresses (1)
- Programming languages (Electronic computers) (1)
- Programming languages (Electronic computers)--Semantics--Addresses, essays, lectures (1)
- Sequential machine theory (1)
- Sequential machine theory--Congresses (1)
- System analysis--Congresses (1)
- Trees (Graph theory) (1)
- Trees (Graph theory)--Data processing--Congresses (1)