- Parallel processing (Electronic computers)--Congresses (3)
- Automatic theorem proving--Congresses (1)
- Bakker, J. W. de (Jacobus Willem), 1939- (1)
- Computer programs--Verification (1)
- Computer simulation (1)
- Data structures (Computer science) (1)
- Electronic data processing--Distributed processing (1)
- Electronic data processing--Distributed processing--Congresses (1)
- Object-oriented programming (Computer science)--Congressses (1)
- Parallel processing (Electronic computers) (1)
- Programming languages (Electronic computers)--Congresses (1)
- Programming languages (Electronic computers)--Semantics--Congresses (1)
- Roever, W.-P. de (1)
- Rozenberg, Grzegorz (1)
- データ処理．情報処理 (1)