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

.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
形式的検証(けいしきてきけんしょう、英: formal verification)とは、ハードウェアおよびソフトウェアのシステムにおいて形式手法や数学を利用し、何らかの形式仕様記述やプロパティ...
形式的検証(けいしきてきけんしょう、英: formal verification)とは、ハードウェアおよびソフトウェアのシステムにおいて形式手法や数学を利用し、何らかの形式仕様記述やプロパティ...
形式的検証(けいしきてきけんしょう、英: formal verification)とは、ハードウェアおよびソフトウェアのシステムにおいて形式手法や数学を利用し、何らかの形式仕様記述やプロパティ...
アンドリュー・タネンバウムとリーナス・トーバルズの議論 (アンドリュー・タネンバウムとリーナス・トーバルズのぎろん) は、アンドリュー・タネンバウムとリーナス・トーバルズの間で交わされた、Linuxカ...
アンドリュー・タネンバウムとリーナス・トーバルズの議論 (アンドリュー・タネンバウムとリーナス・トーバルズのぎろん) は、アンドリュー・タネンバウムとリーナス・トーバルズの間で交わされた、Linuxカ...
アンドリュー・タネンバウムとリーナス・トーバルズの議論 (アンドリュー・タネンバウムとリーナス・トーバルズのぎろん) は、アンドリュー・タネンバウムとリーナス・トーバルズの間で交わされた、Linuxカ...
アンドリュー・タネンバウムとリーナス・トーバルズの議論 (アンドリュー・タネンバウムとリーナス・トーバルズのぎろん) は、アンドリュー・タネンバウムとリーナス・トーバルズの間で交わされた、Linuxカ...
GenodeGenodeベースのデスクトップシステムであるSculpt開発者Genode Labs開発状況安定版リリースソースモデルオープンソース初版2008年 (17年前) (20...
MINIXMINIX 3.3.0開発者アンドリュー・タネンバウムOSの系統Unix系開発状況開発終了ソースモデルオープンソース最新安定版3.3.0[1] / 2014年9月16日...




カテゴリ一覧

全て

+ ビジネス

+ 業界用語

+ コンピュータ

+ 電車

+ 自動車・バイク

+ 船

+ 工学

+ 建築・不動産

+ 学問

+ 文化

+ 生活

+ ヘルスケア

+ 趣味

+ スポーツ

+ 生物

+ 食品

+ 人名

+ 方言

+ 辞書・百科事典

すべての辞書の索引

   

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

©2026 GRAS Group, Inc.RSS