close
1.

図書
図書
1. A discipline of programming
Edsger W. Dijkstra
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1976  xvii, 217 p. ; 24 cm
シリーズ名: Prentice-Hall series in automatic computation
所蔵情報: loading…
2.

図書
図書
2. On the shape of mathematical arguments (: gw ; : us)
A.J.M. van Gasteren ; foreword by Edsger W. Dijkstra
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1990  viii, 180 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 445
所蔵情報: loading…
3.

図書
図書
3. Structured programming
O.-J. Dahl, E.W. Dijkstra, C.A.R. Hoare
出版情報: London ; New York : Academic Press, 1972  viii, 220 p. ; 24 cm
シリーズ名: A.P.I.C. studies in data processing ; no. 8
所蔵情報: loading…
4.

図書
図書
4. Predicate calculus and program semantics (: us ; : gw)
Edsger W. Dijkstra, Carel S. Scholten
出版情報: New York ; Tokyo : Springer-Verlag, c1990  x, 220 p. ; 25 cm
シリーズ名: Texts and monographs in computer science
所蔵情報: loading…
5.

図書
図書
5. Selected writings on computing : a personal perspective (: us ; : gw ; : pbk.)
Edsger W. Dijkstra
出版情報: New York : Springer-Verlag, c1982  xvii, 362 p. ; 24 cm
シリーズ名: Texts and monographs in computer science
所蔵情報: loading…
6.

図書
図書
6. A primer of ALGOL 60 programming
by E. W. Dijkstra
出版情報: London : the Automatic Programming Information Centre, by Academic Press, 1962  xi, 114 p. ; 24 cm
シリーズ名: A.P.I.C. studies in data processing ; no. 2
所蔵情報: loading…
7.

図書
図書
7. プログラミング原論 : いかにしてプログラムをつくるか
E. W. ダイクストラ著 ; 浦昭二 [ほか] 共訳
出版情報: 東京 : サイエンス社, 1983.3  xi, 252p ; 22cm
シリーズ名: サイエンスライブラリ情報電算機 ; 42
所蔵情報: loading…
8.

図書
図書
8. 構造化プログラミング
E.W.ダイクストラ, C.A.R.ホーア, O.-J.ダール共著 ; 野下浩平, 川合慧, 武市正人共訳
出版情報: 東京 : サイエンス社, 1975.5  v, 249p ; 22cm
シリーズ名: サイエンスライブラリ情報電算機 ; 32
所蔵情報: loading…
9.

図書
図書
9. プログラミングの方法 : 論理学を用いた正しいプログラムの作り方
E. W. ダイクストラ, W. H. J. フェイエン著 ; 玉井浩訳
出版情報: 東京 : サイエンス社, 1991.11  iv, 202p ; 21cm
シリーズ名: Information & computing ; 59
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼