1.

図書

図書
萩谷昌己 [著]
出版情報: 東京 : 岩波書店, 1994.1
シリーズ名: 岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 11
所蔵情報: loading…
2.

図書

図書
edited by C.A. Di Prisco
出版情報: Berlin ; New York : Springer-Verlag, c1985
シリーズ名: Lecture notes in mathematics ; 1130
所蔵情報: loading…
3.

図書

図書
入江盛一著
出版情報: 東京 : 培風館, 1973.1
所蔵情報: loading…