Search results for "吉岡, 信和" | NDL Search

Search results 118

Group by title

AIプロジェクトマネージャのための機械学習工学 (設計技術シリーズ)

Paper図書

吉岡信和, 鷲崎弘宜, 内平直志, 竹内広宜著科学情報出版2023.1<M121-M589>

National Diet LibraryOther Libraries in Japan

Author Heading吉岡, 信和鷲崎, 弘宜内平, 直志, 1959- 竹内, 広宜

機械学習デザインパターン : データ準備、モデル構築、MLOpsの実践上の問題と解決

Paper図書

Valliappa Lakshmanan, Sara Robinson, Michael Munn 著, 鷲崎弘宜, 竹内広宜, 名取直毅, 吉岡信和訳オライリー・ジャパン2021.10<M121-M427>

National Diet LibraryOther Libraries in Japan

Author HeadingLakshmanan, Valliappa Robinson, Sara Munn, Michael 鷲崎, 弘宜竹内, 広宜名取, 直毅吉岡, 信和

アカデミッククラウド調査報告書 2012 (インプレスR&Dインターネットメディア総合研究所「新産業調査レポートシリーズ」)

Paper図書

吉岡信和, 棟朝雅晴, 本橋賢二, 西村一彦, 谷沢智史, 横山重俊著インプレスR&Dインターネットメディア総合研究所2012.8<YU7-L248>

National Diet LibraryOther Libraries in Japan

Author Heading吉岡, 信和棟朝, 雅晴本橋, 賢二

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

PaperDigital図書

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

National Diet LibraryOther Libraries in Japan

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

考えるコンテンツ「スマーティブ」 (丸善ライブラリー)

PaperDigital図書

本位田真一, 吉岡信和, 由利伸子著丸善2006.3<M154-H391>

National Diet LibraryOther Libraries in Japan

Author Heading本位田, 真一, 1953- 吉岡, 信和由利, 伸子

抽象解釈に基づくソフトウェアの段階的構成法とその評価

PaperDigital博士論文障害者向け資料あり

吉岡信和 [著]<UT51-98-W441>

Available onlineNational Diet Library

Author Heading吉岡, 信和

XACプロジェクト : オープン無線センサーネットワークミドルウェア研究開発プロジェクト (GRACE technical reports ; 2009-2)

Paper図書

鄭顕志, 末永俊一郎, 中村善行, 清雄一, 吉岡信和, 深澤良彰, 本位田真一 [著]Center for Global Research in Advanced Software Science and Engineering National Institute of Informatics2009.5<Y251-J855>

National Diet Library

アカデミッククラウド調査報告書

Paper図書

吉岡信和 [ほか] 著インプレスR&Dインターネットメディア総合研究所2012.8

Other Libraries in Japan

Author Heading吉岡, 信和棟朝, 雅晴本橋, 賢二西村, 一彦谷沢, 智史横...

抽象解釈に基づくソフトウェアの段階的構成法とその評価

Paper図書

吉岡信和[著]吉岡信和, 1998.31998

Other Libraries in Japan

Author Heading吉岡, 信和

ディペンダブルシステムワークショップ : 論文集第7回 (日本ソフトウェア科学会研究会資料シリーズ ; no.61)

Paper図書

[日本ソフトウェア科学会ディペンダブルシステム研究会][2009]<M159-J626>

National Diet Library

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2004 11 (レクチャーノート/ソフトウェア学 ; 30)

Paper図書

野呂昌満, 山本晋一郎編近代科学社2004.11<M159-H961>

National Diet LibraryOther Libraries in Japan

Contents...換えパターンの検証方法の提案吉岡信和／著構造的代数仕様のための等価述語の提案と実装中村正樹...

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2006 13 (レクチャーノート/ソフトウェア学 ; 32)

Paper図書

沢田篤史, 丸山勝久編近代科学社2006.11<M159-H1697>

National Diet LibraryOther Libraries in Japan

Contents...サービスのための開発法の提案吉岡信和／著中川博之／著荻野慶／ほか著安藤恭平／ほか著 ...

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2007 14 (レクチャーノート/ソフトウェア学 ; 33)

Paper図書

岸知二, 野田夏子編近代科学社2007.11<M159-H2006>

National Diet LibraryOther Libraries in Japan

Contents... 可奈子／著白銀純子／著吉岡信和／著小池憲史／ほか著海野浩／著立石孝彰／著花川...

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

Paper雑誌雑誌タイトル

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

National Diet LibraryOther Libraries in Japan

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

Paper雑誌雑誌タイトル

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

National Diet LibraryOther Libraries in Japan

医学図書館

Paper雑誌雑誌タイトル

日本医学図書館協会1954-<Z21-150>

National Diet LibraryOther Libraries in Japan

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

Paper雑誌雑誌タイトル

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

National Diet LibraryOther Libraries in Japan

人工知能 : 人工知能学会誌 : journal of the Japanese Society for Artificial Intelligence

Paper雑誌雑誌タイトル

人工知能学会2014-<Z14-1242>

National Diet LibraryOther Libraries in Japan

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

Paper雑誌雑誌タイトル

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

National Diet LibraryOther Libraries in Japan

システム・制御・情報 : システム制御情報学会誌

Paper雑誌雑誌タイトル

システム制御情報学会1989-<Z14-195>

National Diet LibraryOther Libraries in Japan

RSS