[by] Kenichi Asai, Yukiyoshi KameyamaDept. of Computer Science, Graduate School of Systems and Information Engineering, University of Tsukuba[2008]<M19-B104>
国立国会図書館
[by] Koki Nishizawa, Yukiyoshi Kameyama, Yoshiki KinoshitaResearch Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology2007.4<M159-B67>
国立国会図書館
Kenichi Asai and Yukiyoshi KameyamaDept. of Computer Science, Graduate School of Systems and Information Engineering, University of Tsukbua[2007?]
全国の図書館
Yukiyoshi Kameyama, Peter J. Stuckey (eds.)Springerc2004
全国の図書館
産業技術総合研究所 (組込みシステム技術連携研究体) 編産業技術総合研究所組込みシステム技術連携研究体2012.1<M159-J1528>
国立国会図書館
- 内容細目...in-gyeong Kim, Yukiyoshi Kameyama 著 対話ゲームによるD-caseの妥当性及び正当性の統一的...
産業技術総合研究所システム検証研究センター 編産業技術総合研究所関西センター2008.1<M159-J123>
国立国会図書館
- 内容細目...son O.Andrade, Yukiyoshi Kameyama 著 環境ドライバを用いたモデル検査による検証事例 高井利憲...
日本ソフトウェア科学会 編日本ソフトウェア科学会1984-2019<Z14-1245>
国立国会図書館全国の図書館
情報処理学会1998-2008<Z74-C192>
国立国会図書館
情報処理学会1979-2008<Z14-741>
国立国会図書館全国の図書館
情報処理学会2008-2013<YH247-812>
国立国会図書館全国の図書館