Search results for "田原, 康之" | NDL Search

Search results 74

Group by title

マルチエージェントによる自律ソフトウェア設計・開発 (マルチエージェントシリーズ ; B-2)

Paper図書

大須賀昭彦, 田原康之, 中川博之, 川村隆浩共著コロナ社2017.7<M154-L366>

National Diet LibraryOther Libraries in Japan

Author Heading大須賀, 昭彦, 1958- 田原, 康之中川, 博之, 情報学

UPPAALによる性能モデル検証 : リアルタイムシステムのモデル化とその検証 (トップエスイー実践講座 ; 5)

PaperDigital図書

大須賀昭彦監修, 長谷川哲夫, 田原康之, 磯部祥尚著近代科学社2012.9<M159-J1720>

National Diet LibraryOther Libraries in Japan

Author introduction大須賀昭彦：電気通信大学　教授長谷川哲夫：東芝田原康之：電気通信大学　准教授磯部祥尚：産業技術研究所　主任研究...
Author Heading大須賀, 昭彦, 1958- 長谷川, 哲夫田原, 康之本位田, 真一, 1953-

エージェントアプリケーション開発方法論の研究

Paper博士論文

田原康之 [著][田原康之]2004<UT51-2004-K187>

National Diet Library

Author Heading田原, 康之

SPINによる設計モデル検証 : モデル検査の実践ソフトウェア検証 (トップエスイー実践講座 ; 3)

PaperDigital図書

萩谷昌己監修, 吉岡信和, 青木利晃, 田原康之著近代科学社2008.9<M159-J302>

National Diet LibraryOther Libraries in Japan

Author Heading萩谷, 昌己, 1957- 吉岡, 信和青木, 利晃田原, 康之本位田, 真一, 1953-

ソフトウェア科学基礎 : 最先端のソフトウェア開発に求められる数理的基礎 (トップエスイー基礎講座 ; 1)

PaperDigital図書

田中譲監修, 磯部祥尚, 粂野文洋, 櫻庭健年, 田口研治, 田原康之著近代科学社2008.9<M159-J303>

National Diet LibraryOther Libraries in Japan

ソフトウェアエンジニアリング最前線 : 情報処理学会SEシンポジウム 2007

Paper図書

海谷治彦, 山本修一郎編近代科学社2007.9<M159-H1927>

National Diet LibraryOther Libraries in Japan

Contents...彦／著セキュリティ要求分析田原康之／ほか著ゴール思考で防ぐIT開発の失敗山本修一郎／ほか...

ソフトウェア工学の基礎 21 (レクチャーノート/ソフトウェア学 ; 40)

Paper図書

近代科学社2014.12<M159-L585>

National Diet LibraryOther Libraries in Japan

ソフトウェア工学の基礎 19 (レクチャーノート/ソフトウェア学 ; 38)

Paper図書

近代科学社2012.12<M159-L20>

National Diet LibraryOther Libraries in Japan

人工知能基本問題研究会 (人工知能学会研究会資料)

Paper雑誌雑誌タイトル

人工知能学会2004-<Z14-1667>

National Diet Library

電気学会論文誌 C 電子・情報・システム部門誌

Paper雑誌雑誌タイトル

電気学会1972-<Z16-795>

National Diet LibraryOther Libraries in Japan

電子情報通信学会論文誌 D 情報・システム

Paper雑誌雑誌タイトル

電子情報通信学会編電子情報通信学会情報・システムソサイエティ2006-2014<Z16-779>

National Diet LibraryOther Libraries in Japan

コンピュータソフトウェア

Paper雑誌雑誌タイトル

日本ソフトウェア科学会編日本ソフトウェア科学会1984-<Z14-1033>

National Diet LibraryOther Libraries in Japan

電子情報通信学会技術研究報告 : 信学技報

Paper雑誌雑誌タイトル

電子情報通信学会1987-2020<Z16-940>

National Diet LibraryOther Libraries in Japan

情報処理 : 情報処理学会誌 : IPSJ magazine

Paper雑誌雑誌タイトル

情報処理学会1960-<Z14-352>

National Diet LibraryOther Libraries in Japan

情報処理学会研究報告

Paper雑誌雑誌タイトル

情報処理学会[1985]-2009<Z14-1121>

National Diet LibraryOther Libraries in Japan

電子情報通信学会論文誌 D-1 1 情報・システム情報処理

Paper雑誌雑誌タイトル

電子情報通信学会編電子情報通信学会情報・システムソサイエティ1989-2005<Z16-779>

National Diet LibraryOther Libraries in Japan

情報処理学会論文誌 SIG

Paper雑誌雑誌タイトル

情報処理学会1998-2008<Z74-C192>

National Diet Library

日本ソフトウェア科学会大会論文集

Paper雑誌雑誌タイトル

日本ソフトウェア科学会編日本ソフトウェア科学会1984-2019<Z14-1245>

National Diet LibraryOther Libraries in Japan

Progress in informatics

Paper雑誌雑誌タイトル

Research Organization of Information and Systems, National Institute of Informatics2005-[2014]<Z78-A321>

National Diet LibraryOther Libraries in Japan

Bit : コンピュータサイエンス誌

PaperDigital雑誌雑誌タイトル

共立出版1969-2001<Z14-405>

National Diet LibraryOther Libraries in Japan

RSS