東京農工大学が所蔵する図書や雑誌、電子ブックを検索します。
全国の大学図書館等が所蔵する図書や雑誌を検索します。
国内の学術論文を検索します。
国内の学術機関リポジトリに登録された学術情報を検索します。
国立国会図書館や公共図書館等が提供する資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: MA41)
該当件数:121件
計算幾何学 / 浅野哲夫著
東京 : 朝倉書店 , 1990.9
図書
計算の基礎理論 / 細井勉著
東京 : 教育出版 , 1975.1. - (シリーズ新しい応用の数学 / 一松信, 伊理正夫, 竹内啓編 ; 9)
計算可能性入門 / 小林孝次郎著
東京 : 近代科学社 , 1980.2. - (コンピュータサイエンス大学講座)
数学序説 : 集合と代数 / 松坂和夫著
東京 : 実教出版 , 1978.1
現代数理論理学入門 / J.N.クロスリー [ほか] 著 ; 田中尚夫訳
東京 : 共立出版 , 1977.11. - (共立全書 ; 553)
オートマトン論 / Arto Salomaa著 ; 北川敏男, 佐藤優子共訳
東京 : 共立出版 , 1974.10
記号論理学の原理 / H.ライヘンバッハ著 ; 石本新訳
東京 : 大修館書店 , 1982.7
無限のパラドクス : 数学から見た無限論の系譜 / 足立恒雄著
東京 : 講談社 , 2000.1. - (ブルーバックス ; B-1278)
オートマトン・言語理論 / 本多波雄著
東京 : コロナ社 , 1972.3. - (情報工学講座 ; 6)
数学とは何か : 集合・論理 / 前原昭二著
東京 : 総合科学出版 , 1971.4. - (総合サイエンス・ライブラリー ; 23)
アルゴリズムによる初等関数 / K.E.アイバーソン著 ; 和田弘訳
東京 : 共立出版 , 1969
計算の理論入門 / Erwin Engeler著 ; 稲垣康善訳
東京 : 日本コンピュータ協会 , 1976.10. - (コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 25)
組合せアルゴリズム通論 / 梶谷洋司著
東京 : コロナ社 , 2002.11
真理とは何か / 大熊正著
東京 : 講談社 , 1981.11. - (講談社現代新書 ; 635)
コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳
東京 : 丸善 , 1994.2
だからファジィが面白い / 廣田薫著
東京 : 裳華房 , 1993.5. - (ポピュラーサイエンス)
ゲーデルの世界 : 完全性定理と不完全性定理 / 廣瀬健, 横田一正著
東京 : 海鳴社 , 1985.5
初等記号論理学入門 / 倉田令二朗, 中村修著
東京 : 国土社 , 1974.2. - (数学ぶっくす ; 7)
数学モデルの作り方と理論 : ソフト・ウェア工学入門 / 加藤ライジ著
東京 : 工学図書 , 1971
計算理論の基礎 / 相沢輝昭著
東京 : 総合図書 , 1970.8. - (CSシリーズ / ICS研究会総集 ; 2)