(0/669)冊
-
回路図で学べるFPGA入門 回路図は読める人のためのHDLガイド
(すすたわり / 秀和システム)
-
集合知プログラミング
(Toby Segaran / オライリージャパン)
-
Logic in Computer Science: Modelling and Reasoning about Systems
(Michael Huth, Mark Ryan / Cambridge University Press)
-
Concurrency: State Models and Java Programs 2e
(Jeff Magee, Jeff Kramer / Wiley)
-
The Space and Motion of Communicating Agents
(Robin Milner / Cambridge University Press)
-
集合知イン・アクション
(Satnam Alag / ソフトバンククリエイティブ)
-
Eclipse 3.4 プラグイン開発 徹底攻略 Eclipse 3.4 Ganymede対応
(竹添 直樹, 志田 隆弘, 奥畑 裕樹, 里見 知宏, 野沢 智也 / 毎日コミュニケーションズ)
-
Writing for Computer Science
(Justin Zobel / Springer)
-
純粋関数型データ構造
(Chris Okasaki / KADOKAWA)
-
コンパイラ―原理・技法・ツール (Information & Computing)
(A.V. エイホ, R. セシィ, J.D. ウルマン, M.S. ラム / サイエンス社)
-
ソフトウェア工学の人間的側面
(James E.Tomayko, Orit Hazzan / 共立出版)
-
実践的ソフトウェア工学―実践現場から学ぶソフトウェア開発の勘所 (トップエスイー入門講座)
(浅井 治 / 近代科学社)
-
JavaScript: The Good Parts ―「良いパーツ」によるベストプラクティス
(Douglas Crockford / オライリージャパン)
-
JavaScriptクイックリファレンス
(David Flanagan / オライリージャパン)
-
/kuwa/4000298569
( / )
-
The Art of Multiprocessor Programming 並行プログラミングの原理から実践まで
(Maurice Herlihy, Nir Shavit / アスキー・メディアワークス)
-
Solid Code
(Donis Marshall, John Bruno / 日経BPソフトプレス)
-
ディジタル回路設計とコンピュータアーキテクチャ (IT Architects’Archive CLASSIC MODER)
(David Money Harris, Sarah L. Harris / 翔泳社)
-
セーフウェア 安全・安心なシステムとソフトウェアを目指して (IT Architects’Archive)
(ナンシー・G・レブソン / 翔泳社)
-
最新コンパイラ構成技法
(Andrew W. Appel / 翔泳社)
-
プログラミングHaskell
(Graham Hutton / オーム社)
-
ビューティフルアーキテクチャ (THEORY/IN/PRACTICE)
( / オライリージャパン)
-
要求工学概論―要求工学の基本概念から応用まで (トップエスイー基礎講座)
(妻木 俊彦, 白銀 純子, 本位田 真一 / 近代科学社)
-
Real World Haskell―実戦で学ぶ関数型言語プログラミング
(Bryan O'Sullivan, John Goerzen, Don Stewart / オライリージャパン)
-
計算論入門―計算の基本原理理解のために
(渡辺 治, 米崎 直樹 / 日本評論社)
-
計算論理入門―情報の数理
(田中 尚夫 / 裳華房)
-
/kuwa/4873118166
( / )
-
並行コンピューティング技法 ―実践マルチコア/マルチスレッドプログラミング
(Clay Breshears / オライリージャパン)
-
Software Design 総集編 【2000~2009】(DVD付)
( / 技術評論社)
-
Aqua 1 (BLADE COMICS)
(天野 こずえ / マッグガ-デン)
-
Aqua 2 (BLADE COMICS)
(天野 こずえ / マッグガ-デン)
-
ARIA (1) (BLADE COMICS)
(天野 こずえ / マッグガーデン)
-
ARIA 2 (BLADE COMICS)
(天野 こずえ / マッグガ-デン)
-
ARIA 3 (BLADE COMICS)
(天野 こずえ / マッグガ-デン)
-
ARIA 5 (BLADE COMICS)
(天野 こずえ / マッグガーデン)
-
ARIA 7 (BLADE COMICS)
(天野 こずえ / マッグガーデン)
-
ARIA 8 (BLADE COMICS)
(天野 こずえ / マッグガーデン)
-
ARIA 9 (BLADE COMICS)
(天野 こずえ / マッグガーデン)
-
ARIA(11) (BLADE COMICS)
(天野こずえ / マッグガーデン)
-
ARIA(12) (BLADE COMICS)
(天野こずえ / マッグガーデン)
-
/kuwa/4798153273
( / )
-
/kuwa/946239203X
( / )
-
/kuwa/4873117763
( / )
-
プログラマのための文字コード技術入門 (WEB+DB PRESS plus) (WEB+DB PRESS plusシリーズ)
(矢野 啓介 / 技術評論社)
-
SPINモデル検査入門
(Mordechai Ben-Ari / オーム社)
-
Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science)
(Hanne Riis Nielson, Flemming Nielson / Springer London)
-
デコンパイリングJava ―逆解析技術とコードの難読化 (Art Of Reversing)
(Godfrey Nolan / オライリージャパン)
-
クラウド セキュリティ&プライバシー ―リスクとコンプライアンスに対する企業の視点 (THEORY/IN/PRACTICE)
(Tim Mather, Subra Kumaraswamy, Shahed Latif / オライリージャパン)
-
数理的技法による情報セキュリティ (シリーズ応用数理)
( / 共立出版)
-
復刊 証明論入門
(竹内 外史 / 共立出版)
-
ビューティフルセキュリティ (THEORY/IN/PRACTICE)
( / オライリージャパン)
-
記号と再帰: 記号論の形式・プログラムの必然
(田中 久美子 / 東京大学出版会)
-
テスト駆動開発
(Kent Beck / オーム社)
-
Erlangプログラミング
(Francesco Cesarini, Simon Thompson / オライリージャパン)
-
入門Redmine 第2版 Linux/Windows対応
(前田 剛 / 秀和システム)
-
プログラミングF#
(Chris Smith / オライリージャパン)
-
言語設計者たちが考えること (THEORY/IN/PRACTICE)
( / オライリージャパン)
-
メタプログラミングRuby
(Paolo Perrotta / アスキー・メディアワークス)
-
レガシーコード改善ガイド (Object Oriented SELECTION)
(マイケル・C・フェザーズ / 翔泳社)
-
Rubyベストプラクティス -プロフェッショナルによるコードとテクニック
(Gregory Brown / オライリージャパン)
-
プログラミングScala
(Dean Wampler, Alex Payne / オライリージャパン)
-
Java: The Good Parts
(Jim Waldo / オライリージャパン)
-
ビューティフルデータ (THEORY/IN/PRACTICE)
( / オライリージャパン)
-
ハイパフォーマンスJavaScript
(Nicholas C. Zakas / オライリージャパン)
-
Hadoop徹底入門
(太田 一樹, 下垣 徹, 山下 真一, 猿田 浩輔, 藤井 達朗 / 翔泳社)
-
プログラミング Google App Engine
(Dan Sanderson / オライリージャパン)
-
数学の女王 ―歴史から見た数論入門―
(Jay R.Goldman / 共立出版)
-
WEB+DB PRESS 総集編〔Vol.1~72〕 (WEB+DB PRESS plus)
(伊藤 直也, 外村 和仁, 長野 雅広, 松信 嘉範, 渡辺 修司 / 技術評論社)
-
VDM++による形式仕様記述 (トップエスイーシリーズ 実践講座)
(石川 冬樹 / 近代科学社)
-
体系的に学ぶ 安全なWebアプリケーションの作り方 脆弱性が生まれる原理と対策の実践
(徳丸 浩 / ソフトバンククリエイティブ)
-
Hadoop MapReduce デザインパターン ―MapReduceによる大規模テキストデータ処理
(Jimmy Lin, Chris Dyer / オライリージャパン)
-
WEB+DB PRESS 総集編 [Vol.1~60]
(森田 創, cho45, ミック, 増井 俊之, 山本 陽平, 角谷 信太郎, 中島 拓, 縣 俊貴, 大塚 知洋, 伊藤 直也, 小飼 弾 / 技術評論社)
-
Introduction to Bisimulation and Coinduction
(Davide Sangiorgi / Cambridge University Press)
-
Advanced Topics in Bisimulation and Coinduction (Cambridge Tracts in Theoretical Computer Science)
( / Cambridge University Press)
-
Foundations of XML Processing: The Tree-Automata Approach
(Haruo Hosoya / Cambridge University Press)
-
Transitions and Trees: An Introduction to Structural Operational Semantics
(Hans Huettel / Cambridge University Press)
-
The Art of Multiprocessor Programming
(Maurice Herlihy, Nir Shavit / Morgan Kaufmann)
-
A Distributed Pi-Calculus
(Matthew Hennessy / Cambridge University Press)
-
Basic Category Theory for Computer Scientists (Foundations of Computing)
(Benjamin C. Pierce / The MIT Press)
-
これからの強化学習
(牧野 貴樹, 澁谷 長史, 白川 真一, 浅田 稔, 麻生 英樹, 荒井 幸代, 飯間 等, 伊藤 真, 大倉 和博, 黒江 康明, 杉本 徳和, 坪井 祐太, 銅谷 賢治, 前田 新一, 松井 藤五郎, 南 泰浩, 宮崎 和光, 目黒 豊美, 森村 哲郎, 森本 淳, 保田 俊行, 吉本 潤一郎 / 森北出版)
-
定本 トランジスタ回路の設計―増幅回路技術を実験を通してやさしく解析
(鈴木 雅臣 / CQ出版)
-
Jenkins実践入門 ~ビルド・テスト・デプロイを自動化する技術 (WEB+DB PRESS plus)
(佐藤 聖規, 和田 貴久, 河村 雅人, 米沢 弘樹, 山岸 啓 / 技術評論社)
-
デザイニング・インターフェース 第2版 ―パターンによる実践的インタラクションデザイン
(Jenifer Tidwell / オライリージャパン)
-
言語実装パターン ―コンパイラ技術によるテキスト処理から言語実装まで
(Terence Parr / オライリージャパン)
-
初めてのAndroid 第3版
(Ed Burnette / オライリージャパン)
-
Writing Secure Code第2版〈上〉プログラマのためのセキュリティ対策テクニック (マイクロソフト公式解説書)
(マイケル ハワード, デイビッド ルブラン / 日経BPソフトプレス)
-
Writing Secure Code第2版〈下〉プログラマのためのセキュリティ対策テクニック
(マイケル ハワード, デイビッド ルブラン / 日経BPソフトプレス)
-
オブジェクト指向入門 第2版 方法論・実践 (IT Architects’Archive CLASSIC MODER)
(バートランド・メイヤー / 翔泳社)
-
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
(Yves Bertot, Pierre Castéran / Springer)
-
Systems and Software Verification: Model-Checking Techniques and Tools
(B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen / Springer)
-
コンピュータの構成と設計 第4版(上) ハードウエアとソフトウエアのインタフェース (Computer Organization and Design: The Hardware/Software Interface, Fourth Edition)
(デイビッド・A・パターソン, ジョン・L・ヘネシー / 日経BP社)
-
プログラミング言語Java (The Java Series)
(ケン・アーノルド, ジェームズ ゴスリン, デビッド ホームズ, 柴田 芳樹 / ピアソンエデュケーション)
-
Hadoop 第2版
(Tom White / オライリージャパン)
-
数学基礎論
(新井 敏康 / 岩波書店)
-
Google API Expertが解説する Google App Engine for Java実践ガイド
(小川 信一 / インプレスジャパン)
-
ECMA-262 Edition 5.1を読む
( / 秀和システム)
-
間違いだらけの設計レビュー
(森崎 修司 / 日経BP社)
-
テスタブルJavaScript
(Mark Ethan Trostler / オライリージャパン)
-
入門 HTML5
(Mark Pilgrim / オライリージャパン)
-
Hadoop Hacks ―プロフェッショナルが使う実践テクニック
(中野 猛, 山下 真一, 猿田 浩輔, 上新 卓也, 小林 隆 / オライリージャパン)
-
すごいHaskellたのしく学ぼう!
(Miran Lipovača / オーム社)
-
リーダブルコード ―より良いコードを書くためのシンプルで実践的なテクニック (Theory in practice)
(Dustin Boswell, Trevor Foucher / オライリージャパン)
-
/kuwa/4320124057
( / )
-
Concise Guide to Software Engineering: From Fundamentals to Application Methods (Undergraduate Topics in Computer Science)
(Gerard O'Regan / Springer)
-
A Practical Approach to Compiler Construction (Undergraduate Topics in Computer Science)
(Des Watson / Springer)
-
継続的デリバリー 信頼できるソフトウェアリリースのためのビルド・テスト・デプロイメントの自動化
(David Farley, Jez Humble / アスキー・メディアワークス)
-
ステートフルJavaScript ―MVCアーキテクチャに基づくWebアプリケーションの状態管理
(Alex MacCaw / オライリージャパン)
-
プログラミングの基礎 (Computer Science Library)
(浅井 健一 / サイエンス社)
-
C言語による計算の理論 (Computer Science Library)
(鹿島 亮 / サイエンス社)
-
JavaScript 第6版
(David Flanagan / オライリージャパン)
-
JavaScriptリファレンス 第6版
(David Flanagan / オライリージャパン)
-
確率過程の基礎
( / 丸善出版)
-
達人プログラマー―システム開発の職人から名匠への道
(アンドリュー ハント, デビッド トーマス / ピアソンエデュケーション)
-
情報推薦システム入門 -理論と実践-
(Dietmar Jannach, Markus Zanker, Alexander Felfernig, Gerhard Friedrich / 共立出版)
-
入門git
(Travis Swicegood / オーム社)
-
形式手法入門―ロジックによるソフトウェア設計―
(中島 震 / オーム社)
-
実践 F# 関数型プログラミング入門
(荒井 省三: いげ太 / 技術評論社)
-
実践テスト駆動開発 テストに導かれてオブジェクト指向ソフトウェアを育てる
(Steve Freeman、Nat Pryce / 翔泳社)
-
モデル検査 初級編―基礎から実践まで4日で学べる (CVS教程)
(産業技術総合研究所システム検証研究センター / ナノオプトメディア)
-
計算理論の基礎 [原著第2版] 1.オートマトンと言語
(Michael Sipser / 共立出版)
-
計算理論の基礎 [原著第2版] 2.計算可能性の理論
(Michael Sipser / 共立出版)
-
計算理論の基礎 [原著第2版] 3.複雑さの理論
(Michael Sipser / 共立出版)
-
Reactive Systems: Modelling, Specification and Verification
(Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba / Cambridge University Press)
-
継続的インテグレーション入門 開発プロセスを自動化する47の作法
(ポール・M・デュバル, スティーブ・M・マティアス, アンドリュー・グローバー / 日経BP社)
-
サービスデザインパターン SOAP/WSDLとRESTful Webサービスの基本的な設計ソリューション
(Robert Daigneau / アスキー・メディアワークス)
-
JUnit実践入門 ~体系的に学ぶユニットテストの技法 (WEB+DB PRESS plus)
(渡辺 修司 / 技術評論社)
-
オブジェクト指向JavaScript
(Stoyan Stefanov / アスキー・メディアワークス)
-
現代数理論理学序説
(古森 雄一, 小野 寛晰 / 日本評論社)
-
数理論理学
(戸次 大介 / 東京大学出版会)
-
Amazon Web Services クラウドデザインパターン 設計ガイド
(玉川 憲, 片山 暁雄, 鈴木 宏康 / 日経BP社)
-
デバッグの理論と実践 ―なぜプログラムはうまく動かないのか
(Andreas Zeller / オライリージャパン)
-
UPPAALによる性能モデル検証 (トップエスイー実践講座)
(長谷川 哲夫, 磯部 祥尚, 田原 康之 / 近代科学社)
-
並行システムの検証と実装: 形式手法CSPに基づく高信頼並行システム開発入門 (トップエスイーシリーズ 実践講座)
(磯部 祥尚 / 近代科学社)
-
入門 ソーシャルデータ ―データマイニング、分析、可視化のテクニック
(Matthew A. Russell / オライリージャパン)
-
Rプログラミング本格入門: 達人データサイエンティストへの道
(Kun Ren / 共立出版)
-
SQLアンチパターン
(Bill Karwin / オライリージャパン)
-
コンピュータプログラミングの概念・技法・モデル(IT Architect' Archiveクラシックモダン・コンピューティング6) (IT Architects’Archive CLASSIC MODER)
(セイフ・ハリディ, ピーター・ヴァン・ロイ, Peter Van-Roy, Seif Haridi / 翔泳社)
-
CERT Cセキュアコーディングスタンダード
(Robert C. Seacord / アスキー・メディアワークス)
-
組込み開発者におくるMISRA‐C:2004―C言語利用の高信頼化ガイド
( / 日本規格協会)
-
Making Software ―エビデンスが変えるソフトウェア開発
( / オライリージャパン)
-
ビューティフルビジュアライゼーション (THEORY/IN/PRACTICE)
(Julie Steele, Noah Iliinsky / オライリージャパン)
-
Javaセキュアコーディングスタンダード CERT/ Oracle版
(Fred Long, Dhruv Mohindra, Robert C. Seacord, Dean F. Sutherland, David Svoboda / アスキー・メディアワークス)
-
/kuwa/477418361X
( / )
-
JavaScriptデザインパターン
(Addy Osmani / オライリージャパン)
-
/kuwa/4864011451
( / )
-
Effective JavaScript JavaScriptを使うときに知っておきたい68の冴えたやり方
(David Herman / 翔泳社)
-
型システム入門 −プログラミング言語と型の理論−
(Benjamin C. Pierce / オーム社)
-
入門 モダンJavaScript
(Larry Ullman / オライリージャパン)
-
テスト駆動開発による組み込みプログラミング ―C言語とオブジェクト指向で学ぶアジャイルな設計
(James W. Grenning / オライリージャパン)
-
テストから見えてくるグーグルのソフトウェア開発
(ジェームズ・ウィテカー, ジェーソン・アーボン, ジェフ・キャローロ / 日経BP社)
-
The RSpec Book (Professional Ruby Series)
(David Chelimsky, Dave Astels, Zach Dennis / 翔泳社)
-
きつねさんでもわかるLLVM ~コンパイラを自作するためのガイドブック~
(柏木 餅子, 風薬 / インプレスジャパン)
-
JavaScript Ninjaの極意 ライブラリ開発のための知識とコーディング (Programmers’ SELECTION)
(ジョン・レシグ, John Resig, ベア・ビボー, Bear Bibeault / 翔泳社)
-
アルゴリズム設計マニュアル 上
( / 丸善出版)
-
アルゴリズム設計マニュアル 下
( / 丸善出版)
-
FPGA入門―回路図とHDLによるディジタル回路設計
(すすたわり / 秀和システム)
-
実践 スマートフォンアプリケーション開発 ―iOS、Android、Windows Phoneの比較
(株式会社ブリリアントサービス, 八木 俊広, 原 昇平, かわかみ ひろき / オライリージャパン)
-
Hadoop 第3版
(Tom White / オライリージャパン)
-
Hadoop徹底入門 第2版 オープンソース分散処理環境の構築
(太田 一樹, 岩崎 正剛, 猿田 浩輔, 下垣 徹, 藤井 達朗, 山下 真一 / 翔泳社)
-
モダン オペレーティング システム 原書 第2版
(Andrew S.Tanenbaum / ピアソン・エデュケーション・ジャパン)
-
[改訂第6版] LaTeX2ε美文書作成入門
(奥村 晴彦, 黒木 裕介 / 技術評論社)
-
The Art of Multiprocessor Programming, Revised Reprint
(Maurice Herlihy, Nir Shavit / Morgan Kaufmann)
-
An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)
(Graham Priest / Cambridge University Press)
-
Advanced Topics in Types and Programming Languages
( / The MIT Press)
-
バッドデータハンドブック ―データにまつわる問題への19の処方箋
(Q. Ethan McCallum / オライリージャパン)
-
実践 デバッグ技法 ―GDB、DDD、Eclipseによるデバッギング
(Norman Matloff, Peter Salzman / オライリージャパン)
-
JavaScriptで学ぶ関数型プログラミング
(Michael Fogus / オライリージャパン)
-
サードパーティJavaScript
(Ben Vinegar, Anton Kovalyov / KADOKAWA/アスキー・メディアワークス)
-
Apache Maven 3クックブック Javaソフトウェア開発のための特選レシピ集
(Srirangan / アスキー・メディアワークス)
-
Gitによるバージョン管理
(岩松 信洋, 上川 純一, まえだこうへい, 小川 伸一郎 / オーム社)
-
代数学とは何か
(I.R.シャファレヴィッチ / 丸善出版)
-
リレーショナルデータベース入門―データモデル・SQL・管理システム (Information&Computing)
(増永 良文 / サイエンス社)
-
データベースシステム (情報系教科書シリーズ)
(北川 博之 / 昭晃堂)
-
Introduction to Compiler Design (Undergraduate Topics in Computer Science)
(Torben Ægidius Mogensen / Springer)
-
Models of Computation: An Introduction to Computability Theory (Undergraduate Topics in Computer Science)
(Maribel Fernández / Springer London)
-
Object-Oriented Analysis and Design (Undergraduate Topics in Computer Science)
(Sarnath Ramnath, Brahma Dathan / Springer)
-
The Formal Semantics of Programming Languages
(Glynn Winskel / The MIT Press)
-
量子情報科学入門
(石坂 智, 小川 朋宏, 河内 亮周, 木村 元, 林 正人 / 共立出版)
-
インタラクティブ・データビジュアライゼーション ―D3.jsによるデータの可視化
(Scott Murray / オライリージャパン)
-
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
(Adam Chlipala / The MIT Press)
-
Programming Concurrency on the JVM: Mastering Synchronization, STM, and Actors
(Venkat Subramaniam / Pragmatic Bookshelf)
-
[改訂新版] MicrosoftWindowsServer2012 R2 Hyper-V 仮想化技術活用ガイド (Software Design plus)
(遠山 藤乃 / 技術評論社)
-
GitHub実践入門 ~Pull Requestによる開発の変革 (WEB+DB PRESS plus)
(大塚 弘記 / 技術評論社)
-
チューリング (コンピュータ理論の起源)
( / 近代科学社)
-
AngularJSアプリケーション開発ガイド
(Brad Green, Shyam Seshadri / オライリージャパン)
-
/kuwa/4048915118
( / )
-
チーム開発実践入門 ~共同作業を円滑に行うツール・メソッド (WEB+DB PRESS plus)
(池田 尚史, 藤倉 和明, 井上 史彰 / 技術評論社)
-
Haskellによる並列・並行プログラミング
(Simon Marlow / オライリージャパン)
-
エンジニアのためのフィードバック制御入門
(Philipp K. Janert / オライリージャパン)
-
Java Coding Guidelines: 75 Recommendations for Reliable and Secure Programs (SEI Series in Software Engineering)
(Fred Long, Dhruv Mohindra, Robert C. Seacord, Dean F. Sutherland, David Svoboda / Addison-Wesley Professional)
-
新装版 リファクタリング―既存のコードを安全に改善する― (OBJECT TECHNOLOGY SERIES)
(Martin Fowler / オーム社)
-
LLVM/Clang実践活用ハンドブック
(出村成和 / ソシム)
-
AngularJSリファレンス
(池添 明宏, 金井 健一, 吉田 徹生 / インプレス)
-
基礎からはじめる UML2.4
(式会社テクノロジックアート / ソーテック社)
-
Javaプログラマーなら習得しておきたい Java SE 8 実践プログラミング
(Cay S. Horstmann / インプレス)
-
パターン認識と機械学習 上
(C.M. ビショップ / 丸善出版)
-
パターン認識と機械学習 下 (ベイズ理論による統計的予測)
(C.M. ビショップ / 丸善出版)
-
RESTful Webサービス
(Leonard Richardson, Sam Ruby / オライリー・ジャパン)
-
入門 ソーシャルデータ 第2版 ―ソーシャルウェブのデータマイニング
(Matthew A. Russell / オライリージャパン)
-
Backbone.jsアプリケーション開発ガイド
(Addy Osmani / オライリージャパン)