UPPAALによる性能モデル検証―リアルタイムシステムのモデル化とその検証 (トップエスイー実践講座)近代科学社2012/099長谷川 哲夫磯部 祥尚田原 康之大須賀 昭彦読んだ読みたいamazonで見る
プロになるためのJavaScript入門 ~node.js、Backbone.js、HTML5、jQuery-Mobile (Software Design plus)技術評論社2012/129河村 嘉之川尻 剛読んだ読みたいamazonで見る
Graduate Admissions Essays, Fourth Edition: Write Your Way into the Graduate School of Your ChoiceTen Speed Press2012/078Donald Asher読んだ読みたいamazonで見る
人間に勝つコンピュータ将棋の作り方技術評論社2012/098瀧澤 武信松原 仁古作 登橋本 剛小谷 善行鶴岡 慶雅山下 宏金子 知適保木 邦仁伊藤 毅志竹内 章篠田 正人瀧澤 武信コンピュータ将棋協会読んだ読みたいamazonで見る
MAC OS X COCOAプログラミングピアソン桐原2012/126アーロン ヒレガスアダム プレブルAaron HillegassAdam PrebleSDL Plc読んだ読みたいamazonで見る
Matrix Computations (Johns Hopkins Studies in the Mathematical Sciences)Johns Hopkins Univ Pr2012/125Gene H. GolubCharles F. Van Loan#R#線形代数読んだ読みたいamazonで見る
