1.

図書
図書
1. 数値計算とその応用
高橋磐郎, 室谷義昭著
出版情報: 東京 : コロナ社, 1979.7
シリーズ名: 現代応用数学講座 ; 5
所蔵情報: loading…
2.

図書
図書
2. プログラムの基礎理論
小野寛晰著
出版情報: 東京 : サイエンス社, 1975.10
シリーズ名: 計算機ライブラリ ; 7
所蔵情報: loading…
3.

図書
図書
3. プログラム理論
伊藤貴康著
出版情報: 東京 : コロナ社, 1975.2
所蔵情報: loading…
4.

図書
図書
4. プログラムの理論
ゾーハ・マンナ著 ; 五十嵐滋訳
出版情報: 東京 : 日本コンピュータ協会, 1975.1
シリーズ名: コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 23
所蔵情報: loading…
5.

図書
図書
5. オートマトン論
Arto Salomaa著 ; 北川敏男, 佐藤優子共訳
出版情報: 東京 : 共立出版, 1974.10
所蔵情報: loading…
6.

図書
図書
6. 記号論理学 : 述語論理
井関清志著
出版情報: 東京 : 槙書店, 1973
シリーズ名: 数学選書
所蔵情報: loading…
7.

図書
図書
7. 組合せ論の基礎
C.ベルジュ著 ; 野崎昭弘訳
出版情報: 東京 : サイエンス社, 1973.4
シリーズ名: サイエンスライブラリ数学 ; 9
所蔵情報: loading…
8.

図書
図書
8. 初等整数論講義. 第2版
高木貞治著
出版情報: 東京 : 共立出版, 1971.10
所蔵情報: loading…
9.

図書
図書
9. 数理言語入門
野口宏著
出版情報: 東京 : ダイヤモンド社, 1970.7
所蔵情報: loading…