{{ $t("message.ADVERTISEMENT") }}
{{ $t("message.AD_EXPIRE_DATE") }}{{ad01_expire_date}}
{{ $t("message.ADVERTISEMENT") }}
{{ $t("message.AD_EXPIRE_DATE") }}{{ad02_expire_date}}
文献
J-GLOBAL ID:200902290356125916   整理番号:07A0307381

形式的手法最前線-拠点の活動とねらい

Cutting-edge of Formal Methods-Activities and Aims of their Strongholds
著者 (5件):
資料名:
巻: 2006  号:ページ: 158-159  発行年: 2006年10月19日
JST資料番号: Y0978B  ISSN: 1344-0640  資料種別: 会議録 (C)
記事区分: 解説  発行国: 日本 (JPN)  言語: 日本語 (JA)
抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
最近,組込みソフトウェアの分野で形式的手法が注目を集めている...
シソーラス用語:
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ(有料)でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
,...
準シソーラス用語:
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ(有料)でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
,...
   続きはJDreamIII(有料)にて  {{ this.onShowAbsJLink("テキストリンク | 文献 | JA | PC", "JDreamIII(抄録)", "http://jdream3.com/lp/jglobal/index.html?docNo=07A0307381&from=J-GLOBAL&jstjournalNo=Y0978B") }}
分類 (2件):
分類
JSTが定めた文献の分類名称とコードです
計算理論  ,  計算機システム開発 
タイトルに関連する用語 (3件):
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです

前のページに戻る