関連資料一覧:(本学所蔵)
選択行を:
| 資料名 | 所在 |
1 | 性能評価の基礎と応用 / 亀田壽夫, 紀一誠, 李頡著. -- 共立出版, 1998.5. -- (情報数学講座 ; 15). | 理数学 007.6:Ka |
2 | プログラミング言語の基礎理論 / 大堀淳著. -- 共立出版, 1997.2. -- (情報数学講座 ; 9). | 理数学 007.6:O |
3 | 応用論理 / 桔梗宏孝著. -- 共立出版, 1996.3. -- (情報数学講座 ; 1). | 理数学 410.9:Ki |
4 | プログラム検証論 / 林晋著. -- 共立出版, 1995.9. -- (情報数学講座 ; 8). | 図書館(閲覧室) 007.6:H 図書館(書庫) 007.6:H 理数学 007.6:H |
5 | グラフィックスの数理 / 杉原厚吉著. -- 共立出版, 1995.1. -- (情報数学講座 ; 13). | 図書館(閲覧室) 414:Su 理数学 414:Su |
6 | 言語と構文解析 / 徳田雄洋著. -- 共立出版, 1995.10. -- (情報数学講座 ; 5). | 図書館(書庫) 007.1:To 理数学 007.1:To |
7 | 情報代数 / 小野寛晰著. -- 共立出版, 1994.2. -- (情報数学講座 ; 2). | 理数学 411:O |
8 | 知識と推論 / 森下真一著. -- 共立出版, 1994.1. -- (情報数学講座 ; 10). | 理数学 007.1:M |
9 | プログラム意味論 / 横内寛文著. -- 共立出版, 1994.6. -- (情報数学講座 ; 7). | 理数学 007.6:Y |
10 | 符号と暗号の数理 / 藤原良, 神保雅一著. -- 共立出版, 1993.10. -- (情報数学講座 ; 11). | 理数学 007.1:H |
選択行を:
|