核融合科学研究所図書室を検索します。
CiNii Researchを検索します。
NDLサーチのサイトはこちら
CiNii Booksを検索します。
目次情報検索を検索します。
SCOPUSを検索します。検索パネルが閉じている場合は+ボタンを押してください。
Web of Scienceを検索します。検索パネルが閉じている場合は+ボタンを押してください。
岡崎図書館を検索します。検索パネルが閉じている場合は+ボタンを押してください。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: MA41)
該当件数:30件
論理と意味 / 長尾真, 淵一博 [著]
東京 : 岩波書店 , 1983.1. - (岩波講座情報科学 ; 7)
図書
離散数学 / 高橋磐郎, 藤重悟 [著]
東京 : 岩波書店 , 1981.11. - (岩波講座情報科学 ; 17)
論理と計算 / 萩谷昌己著
東京 : 岩波書店 , 1993.6. - (岩波講座応用数学 / 甘利俊一 [ほか] 編集 ; . 基礎 ; 11)
確率的方法とシミュレーション / 伏見正則著
東京 : 岩波書店 , 1994.3. - (岩波講座応用数学 / 甘利俊一 [ほか] 編集 ; . 方法 ; 10)
計算代数と計算幾何 / 佐々木建昭 [ほか] 著
東京 : 岩波書店 , 1993.9. - (岩波講座応用数学 / 甘利俊一 [ほか] 編集 ; . 方法 ; 9)
ファジイ理論とその応用 / 水本雅晴著
東京 : サイエンス社 , 1988.2. - (Information & computing ; 19)
集合と位相 / 加藤十吉著
東京 : 朝倉書店 , 1982.4. - (新数学講座 / 田村一郎, 木村俊房編 ; 3)
アルゴリズムと複雑さ
東京 : 丸善 , 1994.2. - (コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳 ; 1)
画像処理アルゴリズム / 斎藤恒雄著
東京 : 近代科学社 , 1993.3. - (アルゴリズム・シリーズ ; 2)
集合と位相 / 内田伏一著
東京 : 裳華房 , 1986.11. - (数学シリーズ / 佐武一郎, 村上信吾, 高橋礼司編)