Blank Cover Image
QRコード(所蔵情報)

A=B : 等式証明とコンピュータ

フォーマット:
図書
責任表示:
マーコ・ペトコブセク, ハーバート・S・ウィルフ, ドロン・ザイルバーガー著 ; 小林羑治, 伊藤尚史訳
言語:
日本語
出版情報:
東京 : トッパン, 1997.9
形態:
xv, 211p ; 25cm
著者名:
シリーズ名:
A K ピータース・トッパン数理科学シリーズ ; 7 <BN09956725>
書誌ID:
BA33001002
ISBN:
9784810189728 [4810189724]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 コンピュータサイエンス

Rice, John K., Rice, John Rischard, 細井, 勉(1937-), 佐藤, 雅彦(1947-), 関本, 年彦(1937-)

サイエンス社
7 電子ブック チューリングの計算理論入門 : チューリング・マシンからコンピュータへ

高岡, 詠子

講談社
2 図書 コンピュータ代数ハンドブック

Zur Gathen, Joachim von, Gerhard, Jürgen, 山本, 慎(1953-)

朝倉書店
8 図書 コンピュータ・ジオメトリ : 計算幾何学 : アルゴリズムと応用

De Berg, Mark, Cheong, Otfried, Kreveld, Marc van, Overmars, Mark H., 1958-, 浅野, 哲夫(1949-)

近代科学社
3 図書 コンピュータ・アルゴリズム事典

奥村, 晴彦(1951-)

技術評論社
9 図書 数学とコンピュータ

森本, 光生(1942-), 長岡, 亮介

放送大学教育振興会
4 図書 これから学ぶコンピュータ科学入門

鑰山, 徹

工学図書
10 図書 数学とコンピュータ

一松, 信(1926-)

共立出版
5 図書 チューリングの計算理論入門 : チューリング・マシンからコンピュータへ

高岡, 詠子

講談社
11 図書 漢字文化とコンピュータ

伊藤, 英俊

中央公論社
6 図書 考えるコンピュータのアルゴリズム : Java&C++で学ぶ遺伝的/進化的/免疫アルゴリズム

Palacios Pawlovsky, Alberto, アズウィ

ソフトバンククリエイティブ
12 図書 コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ

照井, 一成(1971-)

青土社