hondana.org
本を探す

 

Scrapbox
書籍追加 | 本棚情報変更 | 名前変更/本棚削除 | ヘルプ | ランダム

Fms
Concepts, Techniques, and Models of Computer Programming
Concepts, Techniques, and Models of Computer Programming
著者: Peter van Van Roy, Seif Haridi
出版社: The MIT Press
評価:
カテゴリ: 計算機科学
コメント: 随所で有名な本． 日本語でこの本に言及している記事は今のところ見かけませんがぜひ読んで見たい． なので買っちゃいます！(2004/11/21) 実装にはMorzart-Ozという言語を使っているとか．
関連本棚: sydney yagiey dainichiro 岸リトル 増井 asato spi
Fms
論理回路 (New Text電子情報系シリーズ)
論理回路 (New Text電子情報系シリーズ)
著者: 高木 直史
出版社: 昭晃堂
評価:
カテゴリ: 計算機科学
コメント:
関連本棚: sydney kuwa
Fms
The Pi-Calculus: A Theory of Mobile Processes
The Pi-Calculus: A Theory of Mobile Processes
著者: Davide Sangiorgi, David Walker
出版社: Cambridge University Press
評価:
カテゴリ: 計算機科学
コメント:
関連本棚: sydney prime_no_132nd kuwa agusaLab
Fms
コンピュータの構成と設計―ハードウエアとソフトウエアのインタフェース〈上〉
コンピュータの構成と設計―ハードウエアとソフトウエアのインタフェース〈上〉
著者: ジョン・L. ヘネシー, デイビッド・A. パターソン
出版社: 日経BP社
評価:
カテゴリ: 計算機科学
コメント:
関連本棚: Breathe oxyの本棚 multilayer sydney 坂本　春夫 theta mona.lisa.overdrive のだ mik_Ya mie money ☆1 imash eitoku KZh コンピュータの名著・古典 100冊 yupo5656 earth2001y mouche suchi goo tasario
Fms
オートマトン言語理論 計算論〈1〉 (Information & Computing)
オートマトン言語理論 計算論〈1〉 (Information & Computing)
著者: J. ホップクロフト, J. ウルマン, R. モトワニ
出版社: サイエンス社
評価:
カテゴリ: 計算機科学
コメント:
関連本棚: sydney svslab 岸リトル Ｏh!ラボ orken 芸術本 agusaLab 読み虫 blackbird nobsun-old kunishi ogijun kuwa
Fms
離散系の数学 (コンピュータサイエンス大学講座)
離散系の数学 (コンピュータサイエンス大学講座)
著者: 野崎 昭弘
出版社: 近代科学社
評価:
カテゴリ: 計算機科学
コメント:
関連本棚: sydney wirepuller kuwa agusaLab
Fms
計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座)
計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座)
著者: 高橋 正子
出版社: 近代科学社
評価:
カテゴリ: 計算機科学
コメント:
関連本棚: 正統派Lisper sydney svslab blackbird tanaka kmt-t Calculi minkewhale kuwa agusaLab doax hryk
Fms
型理論 (レクチャーノート ソフトウェア学)
型理論 (レクチャーノート ソフトウェア学)
著者: 龍田 真
出版社: 近代科学社
評価:
カテゴリ: 計算機科学
コメント:
関連本棚: sydney kmt-t agusaLab
Fms