核融合科学研究所図書室を検索します。
CiNii Researchを検索します。
NDLサーチのサイトはこちら
CiNii Booksを検索します。
目次情報検索を検索します。
SCOPUSを検索します。検索パネルが閉じている場合は+ボタンを押してください。
Web of Scienceを検索します。検索パネルが閉じている場合は+ボタンを押してください。
岡崎図書館を検索します。検索パネルが閉じている場合は+ボタンを押してください。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: MA41)
該当件数:30件
パラドックスの世界 : 星間・逆説の旅 / 田村三郎著
東京 : 講談社 , 1981.7. - (ブルーバックス ; B-467)
図書
計算の基礎理論 / 細井勉著
東京 : 教育出版 , 1975.1. - (シリーズ新しい応用の数学 / 一松信, 伊理正夫, 竹内啓編 ; 9)
アルゴリズムと計算機械 / 渡辺勝正著
東京 : 日本コンピュータ協会 , 1978.5. - (コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 31)
計算の理論入門 / Erwin Engeler著 ; 稲垣康善訳
東京 : 日本コンピュータ協会 , 1976.10. - (コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 25)
ヒルベルト数学の問題 : ヒルベルトの問題 / D.Hilbert著 ; 一松信訳・解説
増補版. - 東京 : 共立出版 , 1972.2. - (現代数学の系譜 / 正田建次郎, 吉田洋一監修 ; 4)
自己増殖オートマトンの理論 / J.フォンノイマン著 ; A.W.バークス編補 ; 高橋秀俊監訳
東京 : 岩波書店 , 1975.7
集合・位相 / 竹之内脩著
東京 : 筑摩書房 , 1970.2. - (数学講座 ; 11)
数学的帰納法 / 廣瀬健著
東京 : 教育出版 , 1975.6. - (シリーズ新しい応用の数学 / 一松信, 伊理正夫, 竹内啓編 ; 11)
直観主義的集合論 / 竹内外史著
東京 : 紀伊国屋書店 , 1980.12. - (紀伊國屋数学叢書 ; 20)
集合と位相空間 / 柴田敏男著
東京 : 共立出版 , 1972.6. - (共立数学講座 ; 8)
数学基礎概説 / 大芝猛著
東京 : 共立出版 , 1987.10. - (共立数学講座 ; 10)
ファジィモデリングとその応用 / 田中英夫著
東京 : 朝倉書店 , 1990.11. - (システム制御情報ライブラリー / システム制御情報学会編 ; 2)
ファジィ--「あいまい」の科学 / 向殿政男, 本多中二著
東京 : 岩波書店 , 1990.11. - (New science age ; 40)
組合せ理論 / ホール [著] ; 岩堀信子訳
京都 : 吉岡書店. - 東京 : 丸善 (発売) , 1971.10. - (数学叢書 ; 15)
複素数 / J.Williams著 ; 後藤憲一訳
東京 : 共立出版 , 1976.11. - (理工系・例題解法 ; 14)
離散最適化法とアルゴリズム / 茨木俊秀著
東京 : 岩波書店 , 1993.4. - (岩波講座応用数学 / 甘利俊一 [ほか] 編集 ; . 方法 ; 8)
形式的モデルと意味論
東京 : 丸善 , 1994.2. - (コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳 ; 2)
コンピュータによる定理の証明 / Chin-Liang Chang,Richard Char-Tung Lee著 ; 長尾真,辻井潤一訳
東京 : 日本コンピュータ協会 , 1983.9. - (コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 27)
集合と位相 / 彌永昌吉, 彌永健一著
東京 : 岩波書店 , 1990.12. - (岩波基礎数学選書 / 小平邦彦監修 ; 岩堀長慶[ほか]編集)
基本的算法 / 野下浩平, 高岡忠雄, 町田元 [著]
東京 : 岩波書店 , 1983.4. - (岩波講座情報科学 ; 10)