検索結果一覧

検索条件

著者
田原康之

ハイライト

1 ～ 7 件（全7 件）

1
[ 和図書 ] マルチエージェントによる自律ソフトウェア設計・開発（マルチエージェントシリーズ B-2 ）

大須賀昭彦／共著 -- コロナ社 -- 2017.7 -- 　　　　
- 中央
- 　　
2
[ 和図書 ] UPPAALによる性能モデル検証リアルタイムシステムのモデル化とその検証（トップエスイー実践講座 5 ）

大須賀昭彦／監修 -- 近代科学社 -- 2012.9 -- 　　　　
- 中央
- 　　
3
[ 和図書 ] SPINによる設計モデル検証モデル検査の実践ソフトウェア検証（トップエスイー実践講座 3 ）

萩谷昌己／監修 -- 近代科学社 -- 2008.9 -- 　　　　
- 中央
- 　　
4
[ 和図書 ] ソフトウェア科学基礎最先端のソフトウェア開発に求められる数理的基礎（トップエスイー基礎講座 1 ）

田中譲／監修 -- 近代科学社 -- 2008.9 -- 　　　　
- 中央
- 　　
5
[ 和図書 ] ソフトウェア工学の基礎 7 （レクチャーノート/ソフトウェア学 25 日本ソフトウェア科学会FOSE2000 ）

-- 近代科学社 -- 2001.1 -- 　　　　
- 中央
- 　　
6
[ 和図書 ] ソフトウェア工学の基礎 1 （レクチャーノート/ソフトウェア学 14 日本ソフトウェア科学会FOSE '94 ）

-- 近代科学社 -- 1996.1 -- 　　　　
- 中央
- 　　
7
[ 和図書 ] ソフトウェア工学の基礎 2 （レクチャーノート/ソフトウェア学 15 日本ソフトウェア科学会FOSE '95 ）

-- 近代科学社 -- 1996.1 -- 　　　　
- 中央
-

1 ～ 7 件（全7 件）