「プロセス計算」を解説文に含む見出し語の検索結果(31~40/89件中)

ナビゲーションに移動検索に移動 食事する哲学者の問題は、並行性とリソース共有に関する古典的問題並行性(へいこうせい、英: concurrency)とは、計算機科学において、時間的にオーバーラッ...
ナビゲーションに移動検索に移動 食事する哲学者の問題は、並行性とリソース共有に関する古典的問題並行性(へいこうせい、英: concurrency)とは、計算機科学において、時間的にオーバーラッ...
ナビゲーションに移動検索に移動 食事する哲学者の問題は、並行性とリソース共有に関する古典的問題並行性(へいこうせい、英: concurrency)とは、計算機科学において、時間的にオーバーラッ...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/12/25 23:05 UTC 版)「プログラミング」の記事における「プログラミングの過程」の解説まず、そのプログラムの目的...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/12/01 23:05 UTC 版)「福島第一原子力発電所3号機の建設」の記事における「全般的事項」の解説基本的には前作の2...
全購連に導入されたIBM 1440(1965年設置)IBM 1440データ処理システムはIBM社が1960年代前半に世界的に販売した、トランジスターを使った第2世代の中小型商用IBM 140...
形式的検証(けいしきてきけんしょう、英: formal verification)とは、ハードウェアおよびソフトウェアのシステムにおいて形式手法や数学を利用し、何らかの形式仕様記述やプロパティ...
形式的検証(けいしきてきけんしょう、英: formal verification)とは、ハードウェアおよびソフトウェアのシステムにおいて形式手法や数学を利用し、何らかの形式仕様記述やプロパティ...
形式的検証(けいしきてきけんしょう、英: formal verification)とは、ハードウェアおよびソフトウェアのシステムにおいて形式手法や数学を利用し、何らかの形式仕様記述やプロパティ...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/11/23 15:20 UTC 版)「福島第一原子力発電所1号機の建設」の記事における「非常用電源の設計」の解説『朝日新聞』...




カテゴリ一覧

全て

ビジネス

業界用語

コンピュータ

電車

自動車・バイク

工学

建築・不動産

学問

文化

生活

ヘルスケア

趣味

スポーツ

生物

食品

人名

方言

辞書・百科事典

すべての辞書の索引

   

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

©2025 GRAS Group, Inc.RSS