関連資料一覧：（本学所蔵）
検索条件
件名：LCSH:Electronicdigitalcomputers -- Programming
選択行を：
| | 資料名 | キャンパス | 責任表示 | 出版者 | 出版年 | 所在 |
| 1 |  | Computer science : a mathematical introduction : pbk ( Prentice-Hall International series in computer science ) | 南港 | Art Lew | Prentice/Hall | 1985 | 南港 1F一般書架D 418/L |
| 2 |  | Logics of programs : workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 : gw , : us ( Lecture notes in computer science ; 164 ) | 南港 | edited by Edmund Clarke and Dexter Kozen | Springer-Verlag | 1984 | 南港 1F一般書架A 007.6/L |
| 3 |  | Mathematics for the analysis of algorithms ( Progress in computer science ; no. 1 ) | 南港 | Daniel H. Greene, Donald E. Knuth | Birkhäuser | 1982 | 南港 1F一般書架D 418/G |
| 4 |  | Principles of functional programming pbk. | 南港 | Hugh Glaser, Chris Hankin and David Till | Prentice/Hall International | 1984 | 南港 1F一般書架A 007.6/G |
| 5 |  | 計算機プログラムの構造と解釈 | 南港 | ジェラルド・ジェイ・サスマン, ハロルド・エイブルソン, ジュリー・サスマン共著, 和田英一訳 | ピアソン・エデュケーション | 2000 | 南港 1F一般書架A 007.64/K |
選択行を：
|