関連資料一覧:(本学所蔵)
検索条件
件名: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 |
選択行を:
|