1.

図書
図書
1. ザ・C. 第3版
戸川隼人著
出版情報: 東京 : サイエンス社, 2007.10
シリーズ名: NSライブラリ ; 17
所蔵情報: 図書館
2.

図書
図書
2. プログラム検証論
林晋著
出版情報: 東京 : 共立出版, 1995.9
シリーズ名: 情報数学講座 ; 8
所蔵情報: 図書館, 研究室
3.

図書
図書
3. C言語
河西朝雄著
出版情報: 東京 : ナツメ社, 1990.5
シリーズ名: 入門ソフトウェアシリーズ ; 1
所蔵情報: 図書館
4.

図書
図書
4. 入門C言語. 改訂新版, 第2版
三田典玄著
出版情報: 東京 : アスキー, 1990.12
シリーズ名: アスキー・ラーニングシステム ; 1 入門コース
所蔵情報: 図書館
5.

図書
図書
5. PASCAL. 第3版
K.イェンゼン, N.ヴィルト著 ; A.B.ミケル, J.F.マイナー改訂 ; 原田賢一訳
出版情報: 東京 : 培風館, 1988.1
シリーズ名: 情報処理シリーズ ; 2
所蔵情報: 図書館, 研究室
6.

図書
図書
6. 並列論理型言語GHCとその応用
古川康一, 溝口文雄共編
出版情報: 東京 : 共立出版, 1987.9
シリーズ名: 知識情報処理シリーズ / 古川康一, 溝口文雄共編 ; 淵一博監修 ; 6
所蔵情報: 図書館
7.

図書
図書
7. Cビギナーズテキスト : MS-C Ver.4.0対応
松尾有祐著
出版情報: 東京 : 翔泳社, 1987.12
シリーズ名: PC-Press
所蔵情報: 図書館
8.

図書
図書
8. ESOP 86 : European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, proceedings (: gw ; : us)
edited by B. Robinet and R. Wilhelm
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986
シリーズ名: Lecture notes in computer science ; 213
所蔵情報: 図書館
9.

図書
図書
9. コンパイラ
疋田輝雄著
出版情報: 東京 : 昭晃堂, 1985.3
シリーズ名: ソフトウェア講座 / 井上謙蔵, 中田育男, 志村正道編集委員 ; 6
所蔵情報: 図書館
10.

図書
図書
10. Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings (: gw ; : us)
edited by Peter J.L. Wallis
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984
シリーズ名: Lecture notes in computer science ; 180
所蔵情報: 図書館