1. HOME
  2. 電気・情報関連(専門)
  3. 検索結果(専門)

[電気・情報関連] - 計算基盤 (ソフトウェア) - [2000年 - 2000年]

 1 件中 1 - 1 件目を表示
分野のカテゴリ 卓越研究名
2000  計算基盤

ソフトウェア, 情報学基礎理論

ソフトウェア科学に対する先駆的かつ根幹的な貢献

(ソフトウェア科学, コンピュータ, プログラミング言語, ホーア論理, 公理論的アプローチ, クイック・ソート, モニター, 相互通信逐時システム(CSP), 信頼性向上, 整列アルゴリズム)

Page Top