「Heiser」を解説文に含む見出し語の検索結果(21~30/66件中)

2005年のACMソフトウェアシステム賞のトロフィACMソフトウェアシステム賞(ACM Software System Award)は、「概念面あるいは商業面、または両面における成功で長きに渡って影響...
形式的検証(けいしきてきけんしょう、英: formal verification)とは、ハードウェアおよびソフトウェアのシステムにおいて形式手法や数学を利用し、何らかの形式仕様記述やプロパティ...
形式的検証(けいしきてきけんしょう、英: formal verification)とは、ハードウェアおよびソフトウェアのシステムにおいて形式手法や数学を利用し、何らかの形式仕様記述やプロパティ...
形式的検証(けいしきてきけんしょう、英: formal verification)とは、ハードウェアおよびソフトウェアのシステムにおいて形式手法や数学を利用し、何らかの形式仕様記述やプロパティ...
ナビゲーションに移動検索に移動この項目では、体積当たりの電子や正孔の個数について説明しています。体積当たりの電荷については「電荷密度」を、エネルギー当たりの可能な状態数については「状態密度」をご覧くだ...
ナビゲーションに移動検索に移動この項目では、体積当たりの電子や正孔の個数について説明しています。体積当たりの電荷については「電荷密度」を、エネルギー当たりの可能な状態数については「状態密度」をご覧くだ...
トウガラシ属分類(APG IV, Cantino et al. (2007)[1])界:植物界 Plantae階級なし:被子植物 Angiospermae階級なし:真正双子葉類 Eud...
ブランフォードギツネ ブランフォードギツネ Vulpes cana保全状況評価[1][2]LEAST CONCERN(IUCN Red List Ver.3.1 (20...
ブランフォードギツネ ブランフォードギツネ Vulpes cana保全状況評価[1][2]LEAST CONCERN(IUCN Red List Ver.3.1 (20...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...




カテゴリ一覧

全て

+ ビジネス

+ 業界用語

+ コンピュータ

+ 電車

+ 自動車・バイク

+ 船

+ 工学

+ 建築・不動産

+ 学問

+ 文化

+ 生活

+ ヘルスケア

+ 趣味

+ スポーツ

+ 生物

+ 食品

+ 人名

+ 方言

+ 辞書・百科事典

すべての辞書の索引

   

英語⇒日本語
日本語⇒英語
   
検索ランキング

©2026 GRAS Group, Inc.RSS