>>247
邦訳は専門用語の訳語の選び方があやしい。
あと使ってる言語がどマイナーなのがひっかかる。

>>245 この辺は？
「アルゴリズムイントロダクション」(コルメン他，邦訳は3分冊で3巻のみ旧版)
「計算理論の基礎」(Sisper，邦訳は3分冊)
「オートマトン言語理論 計算論」(ホップクロフト他，邦訳は2分冊)
「コンピュータの数学」(グレアム他，邦訳は旧版)
「モダン オペレーティング システム」(タネンバウム)
「コンピュータネットワーク」(タネンバウム)
「コンピュータアーキテクチャ 定量的アプローチ」(ヘネシー & パターソン)

日本人の本にもいいものはある。
「コンパイラの構成と最適化」(中田育男)
「計算論 計算可能性とラムダ計算」(高橋正子)
「情報科学における論理」(小野寛晰)
「論理と計算のしくみ」(萩谷昌己他)