単行本(実用) コンピュータ コンピュータ・アーキテクチャ 設計・実現・評価の定量的アプローチ データベース