Jump to main content

yr 〜
yr

Search results 169

動的共有結合化学システムを利用したA2+B4型縮合反応による新規環状化合物の合成と超微細加工用分子レジスト材料への応用

動的共有結合化学システムを利用したA2+B4型縮合反応による新規環状化合物の合成と超微細加工用分子レジスト材料への応用
Paper博士論文
関浩之 [著][関浩之][2012]<UT51-2012-H308>
National Diet Library

無限状態モデル検査を用いた高信頼性ソフトウェアの自動検証に関する研究

無限状態モデル検査を用いた高信頼性ソフトウェアの自動検証に関する研究
Paper図書
関浩之, 奈良先端科学技術大学院大学 [著][関浩之]2006-2007<Y151-H18500023>
National Diet Library

アクティブソフトウェアの設計検証手法に関する研究

アクティブソフトウェアの設計検証手法に関する研究
Paper図書
関浩之, 奈良先端科学技術大学院大学 [著][関浩之]2004-2005<Y151-H16500019>
National Diet Library

ユーザタスクの形式的記述に基づくインタラクテイブシステム設計法

ユーザタスクの形式的記述に基づくインタラクテイブシステム設計法
Paper図書
関, 浩之, 奈良先端科学技術大学院大学2000-2001<Y151-H12680350>
National Diet Library

動的アクセス制御を行うソフトウェアのセキュリティ検証に関する研究

動的アクセス制御を行うソフトウェアのセキュリティ検証に関する研究
Paper図書
関浩之, 奈良先端科学技術大学院大学 [著][関浩之]2002-2003<Y151-H14580376>
National Diet Library

機械学習と最適化に基づくRNAタンパク質相互作用予測 : 平成23-24年度研究成果報告書

機械学習と最適化に基づくRNAタンパク質相互作用予測 : 平成23-24年度研究成果報告書
Digital文書・図像類
関, 浩之奈良先端科学技術大学院大学2013
Available onlineOther Libraries in Japan

機械学習と最適化に基づくRNAタンパク質相互作用予測 : 平成24年度実績報告書

機械学習と最適化に基づくRNAタンパク質相互作用予測 : 平成24年度実績報告書
Digital文書・図像類
関, 浩之奈良先端科学技術大学院大学2013
Available onlineOther Libraries in Japan

機械学習と最適化に基づくRNAタンパク質相互作用予測 : 平成23年度実績報告書

機械学習と最適化に基づくRNAタンパク質相互作用予測 : 平成23年度実績報告書
Digital文書・図像類
関, 浩之奈良先端科学技術大学院大学2012
Available onlineOther Libraries in Japan

形式言語理論に基づく静的解析法とその安全性検査への応用 : 平成23年度実績報告書

形式言語理論に基づく静的解析法とその安全性検査への応用 : 平成23年度実績報告書
Digital文書・図像類
関, 浩之奈良先端科学技術大学院大学2012
Available onlineOther Libraries in Japan

言語組込みアクセス制御の高信頼化に関する研究 : 平成20年度-22年度研究成果報告書

言語組込みアクセス制御の高信頼化に関する研究 : 平成20年度-22年度研究成果報告書
Digital文書・図像類
関, 浩之奈良先端科学技術大学院大学2011
Available onlineOther Libraries in Japan

言語組込みアクセス制御の高信頼化に関する研究 : 平成22年度実績報告書

言語組込みアクセス制御の高信頼化に関する研究 : 平成22年度実績報告書
Digital文書・図像類
関, 浩之奈良先端科学技術大学院大学2011
Available onlineOther Libraries in Japan

鍵の生成方法, 装置及びプログラム

鍵の生成方法, 装置及びプログラム
Paper文書・図像類
野田, 潤, 関, 浩之, 中村, 嘉隆2010-12-28
Other Libraries in Japan

無限状態モデル検査を用いた高信頼性ソフトウェアの自動検証に関する研究

無限状態モデル検査を用いた高信頼性ソフトウェアの自動検証に関する研究
Paper図書
研究代表者 関浩之[奈良先端科学技術大学院大学]2008.5
Other Libraries in Japan

言語組込みアクセス制御の高信頼化に関する研究

言語組込みアクセス制御の高信頼化に関する研究
Digital文書・図像類
関, 浩之奈良先端科学技術大学院大学2009
Available onlineOther Libraries in Japan

暗号鍵生成システム, 暗号鍵生成方法および暗号鍵生成用プログラム

暗号鍵生成システム, 暗号鍵生成方法および暗号鍵生成用プログラム
Paper文書・図像類
仁野, 裕一, 野田, 潤, 関, 浩之, 中村, 嘉隆, 南, 貴博2009-02-13特願2009-31154
Other Libraries in Japan

無限状態モデル検査を用いた高信頼性ソフトウェアの自動検証に関する研究 : 平成18年度-19年度研究成果報告書

無限状態モデル検査を用いた高信頼性ソフトウェアの自動検証に関する研究 : 平成18年度-19年度研究成果報告書
Digital文書・図像類
関, 浩之奈良先端科学技術大学院大学2008
Available onlineOther Libraries in Japan

無限状態モデル検査を用いた高信頼性ソフトウェアの自動検証に関する研究 : 平成19年度実績報告書

無限状態モデル検査を用いた高信頼性ソフトウェアの自動検証に関する研究 : 平成19年度実績報告書
Digital文書・図像類
関, 浩之奈良先端科学技術大学院大学2008
Available onlineOther Libraries in Japan

アクティブソフトウェアの設計検証手法に関する研究

アクティブソフトウェアの設計検証手法に関する研究
PaperDigital図書
研究代表者 関浩之[奈良先端科学技術大学院大学]2006.5
Available onlineOther Libraries in Japan

無限状態モデル検査を用いた高信頼性ソフトウェアの自動検証に関する研究 : 平成18年度実績報告書

無限状態モデル検査を用いた高信頼性ソフトウェアの自動検証に関する研究 : 平成18年度実績報告書
Digital文書・図像類
関, 浩之奈良先端科学技術大学院大学2007
Available onlineOther Libraries in Japan

アクティブソフトウェアの設計検証手法に関する研究 : 平成17年度実績報告書

アクティブソフトウェアの設計検証手法に関する研究 : 平成17年度実績報告書
Digital文書・図像類
関, 浩之奈良先端科学技術大学院大学2006
Available onlineOther Libraries in Japan
RSS