- Computational complexity (1)
- Computer systems--Verification (1)
- Computer-aided design--Congresses (1)
- Digital integrated circuits--Design and construction--Data processing--Congresses (1)
- Expert systems (Computer science)--Verification (1)
- Manufacturing processes--Planning--Data processing (1)
- System design (1)