hondana.org
本を探す

 

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

(0/669)冊
Fms
計算理論の基礎 [原著第2版] 2.計算可能性の理論
計算理論の基礎 [原著第2版] 2.計算可能性の理論
著者: Michael Sipser
出版社: 共立出版
評価:
カテゴリ:
コメント:
関連本棚: blackbird h.kakugawa 岸リトル kuwa
Fms
計算理論の基礎 [原著第2版] 3.複雑さの理論
計算理論の基礎 [原著第2版] 3.複雑さの理論
著者: Michael Sipser
出版社: 共立出版
評価:
カテゴリ:
コメント:
関連本棚: blackbird 岸リトル kuwa
Fms
Reactive Systems: Modelling, Specification and Verification
Reactive Systems: Modelling, Specification and Verification
著者: Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba
出版社: Cambridge University Press
評価:
カテゴリ:
コメント:
関連本棚: kuwa
Fms
継続的インテグレーション入門 開発プロセスを自動化する47の作法
継続的インテグレーション入門 開発プロセスを自動化する47の作法
著者: ポール・M・デュバル, スティーブ・M・マティアス, アンドリュー・グローバー
出版社: 日経BP社
評価:
カテゴリ:
コメント:
関連本棚: 岸リトル tmiura kuwa
Fms
サービスデザインパターン SOAP/WSDLとRESTful Webサービスの基本的な設計ソリューション
サービスデザインパターン SOAP/WSDLとRESTful Webサービスの基本的な設計ソリューション
著者: Robert Daigneau
出版社: アスキー・メディアワークス
評価:
カテゴリ:
コメント:
関連本棚: suchi kuwa
Fms
JUnit実践入門 ~体系的に学ぶユニットテストの技法 (WEB+DB PRESS plus)
JUnit実践入門 ~体系的に学ぶユニットテストの技法 (WEB+DB PRESS plus)
著者: 渡辺 修司
出版社: 技術評論社
評価:
カテゴリ:
コメント:
関連本棚: melito kuwa
Fms
オブジェクト指向JavaScript
オブジェクト指向JavaScript
著者: Stoyan Stefanov
出版社: アスキー・メディアワークス
評価:
カテゴリ:
コメント:
関連本棚: blackbird kuwa
Fms
現代数理論理学序説
現代数理論理学序説
著者: 古森　雄一, 小野　寛晰
出版社: 日本評論社
評価:
カテゴリ:
コメント:
関連本棚: kuwa 岸リトル
Fms
数理論理学
数理論理学
著者: 戸次 大介
出版社: 東京大学出版会
評価:
カテゴリ:
コメント:
関連本棚: blackbird kuwa
Fms
Amazon Web Services クラウドデザインパターン 設計ガイド
Amazon Web Services クラウドデザインパターン 設計ガイド
著者: 玉川 憲, 片山 暁雄, 鈴木 宏康
出版社: 日経BP社
評価:
カテゴリ:
コメント:
関連本棚: kuwa
Fms
デバッグの理論と実践 ―なぜプログラムはうまく動かないのか
デバッグの理論と実践 ―なぜプログラムはうまく動かないのか
著者: Andreas Zeller
出版社: オライリージャパン
評価:
カテゴリ:
コメント:
関連本棚: blackbird 岸リトル kuwa
Fms
UPPAALによる性能モデル検証 (トップエスイー実践講座)
UPPAALによる性能モデル検証 (トップエスイー実践講座)
著者: 長谷川 哲夫, 磯部 祥尚, 田原 康之
出版社: 近代科学社
評価:
カテゴリ:
コメント:
関連本棚: kuwa
Fms
並行システムの検証と実装: 形式手法CSPに基づく高信頼並行システム開発入門 (トップエスイーシリーズ 実践講座)
並行システムの検証と実装: 形式手法CSPに基づく高信頼並行システム開発入門 (トップエスイーシリーズ 実践講座)
著者: 磯部 祥尚
出版社: 近代科学社
評価:
カテゴリ:
コメント:
関連本棚: kuwa 岸リトル
Fms
入門 ソーシャルデータ ―データマイニング、分析、可視化のテクニック
入門 ソーシャルデータ ―データマイニング、分析、可視化のテクニック
著者: Matthew A. Russell
出版社: オライリージャパン
評価:
カテゴリ:
コメント:
関連本棚: mufuf tasario kuwa
Fms
Rプログラミング本格入門: 達人データサイエンティストへの道
Rプログラミング本格入門: 達人データサイエンティストへの道
著者: Kun Ren
出版社: 共立出版
評価:
カテゴリ:
コメント:
関連本棚: kuwa
Fms
SQLアンチパターン
SQLアンチパターン
著者: Bill Karwin
出版社: オライリージャパン
評価:
カテゴリ:
コメント:
関連本棚: blackbird 増井 kuwa ogijun
Fms
コンピュータプログラミングの概念・技法・モデル(IT Architect' Archiveクラシックモダン・コンピューティング6) (IT Architects’Archive CLASSIC MODER)
コンピュータプログラミングの概念・技法・モデル(IT Architect' Archiveクラシックモダン・コンピューティング6) (IT Architects’Archive CLASSIC MODER)
著者: セイフ・ハリディ, ピーター・ヴァン・ロイ, Peter Van-Roy, Seif Haridi
出版社: 翔泳社
評価:
カテゴリ:
コメント:
関連本棚: 岸リトル toshiharu syobosyobo yagiey freeza bleis-tift kuwa
Fms
CERT Cセキュアコーディングスタンダード
CERT Cセキュアコーディングスタンダード
著者: Robert C. Seacord
出版社: アスキー・メディアワークス
評価:
カテゴリ:
コメント:
関連本棚: kuwa
Fms
組込み開発者におくるMISRA‐C:2004―C言語利用の高信頼化ガイド
組込み開発者におくるMISRA‐C:2004―C言語利用の高信頼化ガイド
著者:
出版社: 日本規格協会
評価:
カテゴリ:
コメント:
関連本棚: kuwa
Fms
Making Software ―エビデンスが変えるソフトウェア開発
Making Software ―エビデンスが変えるソフトウェア開発
著者:
出版社: オライリージャパン
評価:
カテゴリ:
コメント:
関連本棚: 岸リトル kuwa
Fms