hondana.org
本を探す

 

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

(40/325)冊
Fms
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
著者: Leslie Lamport
出版社: Addison-Wesley Professional
評価:
カテゴリ:
コメント:
関連本棚: h.kakugawa
Fms
更級日記 (岩波文庫)
更級日記 (岩波文庫)
著者: 西下 経一
出版社: 岩波書店
評価:
カテゴリ:
コメント:
関連本棚: h.kakugawa
Fms
今昔物語集―天竺・震旦部 (岩波文庫)
今昔物語集―天竺・震旦部 (岩波文庫)
著者:
出版社: 岩波書店
評価:
カテゴリ:
コメント:
関連本棚: h.kakugawa 佐藤優
Fms
Probability and Computing: Randomized Algorithms and Probabilistic Analysis
Probability and Computing: Randomized Algorithms and Probabilistic Analysis
著者: Michael Mitzenmacher, Eli Upfal
出版社: Cambridge University Press
評価:
カテゴリ:
コメント: 研究室の輪講で使用。丁寧に書かれてあり、分かりやすい。表紙は、ちょうどアリスが夢から目覚めるところですね。
関連本棚: h.kakugawa
Fms
木と語る (Shotor Library)
木と語る (Shotor Library)
著者: 佐野 藤右衛門
出版社: 小学館
評価:
カテゴリ:
コメント:
関連本棚: h.kakugawa
Fms
京町家 (SUIKO BOOKS)
京町家 (SUIKO BOOKS)
著者: 新谷 昭夫, 神崎 順一
出版社: 光村推古書院
評価:
カテゴリ:
コメント:
関連本棚: h.kakugawa
Fms
寿司ネタ図鑑 (Shotor library)
寿司ネタ図鑑 (Shotor library)
著者: 『サライ』編集部, 本多 由紀子
出版社: 小学館
評価:
カテゴリ:
コメント:
関連本棚: h.kakugawa
Fms
庭のデザイン〈5〉橋・石組 (グラフィックブックス・デラックス)
庭のデザイン〈5〉橋・石組 (グラフィックブックス・デラックス)
著者: 中根 史郎, 日〓 貞夫
出版社: 学習研究社
評価:
カテゴリ:
コメント:
関連本棚: h.kakugawa ORIENTAL-RUNRUN
Fms
瓢亭の点心入門―瓢亭の料理に学ぶ、おもてなしの基礎とコツ
瓢亭の点心入門―瓢亭の料理に学ぶ、おもてなしの基礎とコツ
著者: 高橋 英一, 矢野 正善
出版社: 淡交社
評価:
カテゴリ:
コメント: 基礎と心構えを、やさしく解説。紹介されている料理の数は多くはないが、調理法の説明は親切なのでお気に入り。瓢亭卵は写真に載せておきながら、作り方は秘密なのね。（なんとか自力で解明しましたけど。）
関連本棚: h.kakugawa
Fms
高級惣菜料理入門―知的料理講座 (第2集) (サライムック)
高級惣菜料理入門―知的料理講座 (第2集) (サライムック)
著者:
出版社: 小学館
評価:
カテゴリ:
コメント:
関連本棚: h.kakugawa
Fms
Design And Validation Of Computer Protocols (Prentice Hall Software Series)
Design And Validation Of Computer Protocols (Prentice Hall Software Series)
著者: Gerard J. Holzmann
出版社: Prentice Hall
評価:
カテゴリ:
コメント:
関連本棚: h.kakugawa
Fms
金色夜叉(上) (岩波文庫)
金色夜叉(上) (岩波文庫)
著者: 尾崎 紅葉
出版社: 岩波書店
評価:
カテゴリ:
コメント:
関連本棚: h.kakugawa がこび0/積読本
Fms
ページ記述言語 PostScriptチュートリアル&クックブック (ASCII電子出版シリーズ)
ページ記述言語 PostScriptチュートリアル&クックブック (ASCII電子出版シリーズ)
著者: アドビ・システムズ
出版社: アスキー
評価:
カテゴリ:
コメント:
関連本棚: h.kakugawa rui ksh nao@netlab.jp ababincho kunishi
Fms
庭のデザイン〈1〉灯籠 (GAKKEN GRAPHIC BOOKS DELUXE)
庭のデザイン〈1〉灯籠 (GAKKEN GRAPHIC BOOKS DELUXE)
著者: 中根 史朗, 日〓 貞夫
出版社: 学習研究社
評価:
カテゴリ:
コメント:
関連本棚: h.kakugawa ORIENTAL-RUNRUN
Fms
庭のデザイン〈4〉垣・塀 (GAKKEN GRAPHIC BOOKS DELUXE)
庭のデザイン〈4〉垣・塀 (GAKKEN GRAPHIC BOOKS DELUXE)
著者: 中根 史郎, 日〓 貞夫
出版社: 学習研究社
評価:
カテゴリ:
コメント:
関連本棚: h.kakugawa ORIENTAL-RUNRUN
Fms
Logic in Computer Science: Modelling and Reasoning about Systems
Logic in Computer Science: Modelling and Reasoning about Systems
著者: Michael Huth, Mark Ryan
出版社: Cambridge University Press
評価:
カテゴリ:
コメント: 命題論理、述語論理、時様論理、様相論理の基礎を丁寧に解説。モデル検査のアルゴリズムやＢＤＤも説明されている。形式手法の基礎を学ぶのに良い。丁寧に書かれているので、独習可能。
関連本棚: h.kakugawa
Fms
大和物語(下)全訳注 (講談社学術文庫)
大和物語(下)全訳注 (講談社学術文庫)
著者: 雨海 博洋, 岡山 美樹
出版社: 講談社
評価:
カテゴリ:
コメント:
関連本棚: h.kakugawa
Fms
オペレーティングシステム―設計と理論およびMINIXによる実装
オペレーティングシステム―設計と理論およびMINIXによる実装
著者: A.S. タネンバウム, A.S. ウットハル
出版社: ピアソン・エデュケーション
評価:
カテゴリ:
コメント:
関連本棚: Breathe h.kakugawa ryoIT おせの本棚 multilayer kmdtty mitu ccscat namu mie Psychs kmt-t joesaisan it-main WR かずっち dorayakitaro オペレーティングシステム
Fms
庭のデザイン〈2〉飛石・敷石 (GAKKEN GRAPHIC BOOKS DELUXE)
庭のデザイン〈2〉飛石・敷石 (GAKKEN GRAPHIC BOOKS DELUXE)
著者: 中根 史郎, 日〓 貞夫
出版社: 学習研究社
評価:
カテゴリ:
コメント:
関連本棚: h.kakugawa ORIENTAL-RUNRUN
Fms
国際化プログラミング―I18Nハンドブック
国際化プログラミング―I18Nハンドブック
著者: 清兼 義弘, 末広 陽一
出版社: 共立出版
評価:
カテゴリ:
コメント:
関連本棚: h.kakugawa ryoIT kazama seiichi
Fms