Return to search

Enhancing System Reliability using Abstraction and Efficient Logical Computation / 抽象化技術と高速な論理演算を利用したシステムの高信頼化

京都大学 / 0048 / 新制・課程博士 / 博士(情報学) / 甲第19335号 / 情博第587号 / 新制||情||102(附属図書館) / 32337 / 京都大学大学院情報学研究科知能情報学専攻 / (主査)教授 山本 章博, 教授 鹿島 久嗣, 教授 五十嵐 淳 / 学位規則第4条第1項該当 / Doctor of Informatics / Kyoto University / DFAM

Identiferoai:union.ndltd.org:kyoto-u.ac.jp/oai:repository.kulib.kyoto-u.ac.jp:2433/202740
Date24 September 2015
CreatorsKutsuna, Takuro
Contributors山本, 章博, 鹿島, 久嗣, 五十嵐, 淳, 沓名, 拓郎, クツナ, タクロウ
Publisher京都大学 (Kyoto University), 京都大学
Source SetsKyoto University
LanguageEnglish
Detected LanguageEnglish
Typedoctoral thesis, Thesis or Dissertation
Formatapplication/pdf
Rights許諾条件により本文は2016-06-24に公開

Page generated in 0.0018 seconds