The architect's guide to computer-aided design / Formal methods in computer-aided design : Data Description for computer-aided design / Expert systems in computer-aided design : Principles of computer-aided design / Optimization in computer-aided design : The essential guide to computer hardware / The practical guide to structured systems design / The architect's guide to preventing water infiltration / Fundamentals of computer-aided design