1 |
1
応用論理 / 桔梗宏孝著
東京 : 共立出版 , 1996.3
|
2 |
2
情報代数 / 小野寛晰著
東京 : 共立出版 , 1994.2
|
3 |
3
離散構造 / 根上生也著
東京 : 共立出版 , 1993.5
|
4 |
4
計算の理論 / 笠井琢美, 戸田誠之助著
東京 : 共立出版 , 1993.6
|
5 |
5
言語と構文解析 / 徳田雄洋著
東京 : 共立出版 , 1995.10
|
6 |
7
プログラム意味論 / 横内寛文著
東京 : 共立出版 , 1994.6
|
7 |
8
プログラム検証論 / 林晋著
東京 : 共立出版 , 1995.9
|
8 |
9
プログラミング言語の基礎理論 / 大堀淳著
東京 : 共立出版 , 1997.2
|
9 |
10
知識と推論 / 森下真一著
東京 : 共立出版 , 1994.1
|
10 |
11
符号と暗号の数理 / 藤原良, 神保雅一著
東京 : 共立出版 , 1993.10
|
11 |
12
計算幾何学 / 今井浩,今井桂子著
東京 : 共立出版 , 1994.10
|
12 |
13
グラフィックスの数理 / 杉原厚吉著
東京 : 共立出版 , 1995.1
|
13 |
14
最適化の手法 / 茨木俊秀,福島雅夫著
東京 : 共立出版 , 1993.7
|
14 |
15
性能評価の基礎と応用 / 亀田壽夫[ほか]著
東京 : 共立出版 , 1998.5
|