本位田真一の本
20冊
著者名の一致で集めています。同じ名前の別の方が混じることがあります。
- 実践的ソフトウェア工学 = Practical Software Engineering : 実践現場から学ぶソフトウェア開発の勘所2019-03-01
- 人工知能2016-10-01
- 並行システムの検証と実装 = Verification and Implementation of Concurrent Systems : 形式手法CSPに基づく高信頼並行システム開発入門2012-12-01
- UPPAALによる性能モデル検証 = Performance Model Verification by UPPAAL : リアルタイムシステムのモデル化とその検証2012-09-01
- VDM++による形式仕様記述 : 形式仕様入門・活用の第一歩2011-07-01
- SPINによる設計モデル検証 : モデル検査の実践ソフトウェア検証2008-09-01
- ソフトウェア科学基礎 : 最先端のソフトウェア開発に求められる数理的基礎2008-09-01
- Bメソッドによる形式仕様記述 : ソフトウェアシステムのモデル化とその検証2007-12-01
- ソフトウェアパターン : パターン指向の実践ソフトウェア開発2007-12-01
考えるコンテンツ「スマーティブ」2006-03-01- 人工知能2005-07-01
- オブジェクト指向からエージェント指向へ : ソフトウェアのこれからを知る入門書2001-12-01
- オブジェクト指向における再利用のためのデザインパターン1999-11-01
- エージェント技術 : オブジェクト指向トラック1999-07-01
- ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE'94 11996-01-01
- オブジェクト指向における再利用のためのデザインパターン1995-10-01
- オブジェクト指向分析・設計 : 開発現場に見る実践の秘訣1995-06-01
- オブジェクト指向システム分析 続1995-04-01
- ソフトウェア技術者のためのプロジェクト管理の成功への秘訣1993-09-01
- KE養成講座 21989-12-01