トップページ
|
北陸先端科学技術大学院大学
|
附属図書館
一覧
コミュニティ
& コレクション
タイトル
著者
日付
学位論文
リサーチレポート・テクニカルメモランダム
登録利用者:
登録者ページ
利用者(E-people)
ヘルプ
当システムについて
JAIST Repository
>
検索結果
検索:
全体
D-IS. 博士（情報科学）
D-KS. 博士（知識科学）
D-MS. 博士（マテリアルサイエンス）・博士（材料科学）
D-TS1. 博士（融合科学）
D-TS2. 博士（理学）
D-TS3. 博士（工学）
M-IS. 修士（情報科学）
M-KS. 修士（知識科学）
M-MS. 修士（マテリアルサイエンス）・修士（材料科学）
M-TS. 修士（融合科学）
Research Report - School of Information Science ： ISSN 0918-7553
Research Report - School of Knowledge Science： ISSN 1347-1570
Research Report - School of Transdisciplinary Sciences： ISSN 2435-9408
Technical memorandum - School of Information Science： ISSN 0918-7561
Technical memorandum： ISSN 0918-7561
a. 知識科学研究科・知識科学系
a00. 広報誌
a10. 学術雑誌論文等
a11. 会議発表論文
a30. リサーチレポート
a50. 科学研究費助成事業研究成果報告書
a60. COE報告書
a70. JAIST PRESS 発行誌
a80. その他の教育研究活動関連資料
b. 情報科学研究科・情報科学系
b10. 学術雑誌論文等
b11. 会議発表論文・発表資料等
b12. Tutorial Handout
b30. リサーチレポート
b40. テクニカルメモランダム
b50. 科学研究費助成事業研究成果報告書
b60. COE報告書
b70. JAIST PRESS 発行誌
b80. その他の教育研究活動関連資料
c. マテリアルサイエンス研究科・マテリアルサイエンス系
c10. 学術雑誌論文等
c11. 会議発表論文
c50. 科学研究費助成事業研究成果報告書
c60. COE報告書
c70. JAIST PRESS 発行誌
c80. その他の教育研究活動関連資料
d. 融合科学系
d10. 学術雑誌論文等
d11. 会議発表論文
d30. リサーチレポート
e. 附属図書館
e10. 学術雑誌論文等
f. 情報社会基盤研究センター
f10. 学術雑誌論文等
f11. 会議発表論文
f50. 科学研究費助成事業研究成果報告書
g. ナノマテリアルテクノロジーセンター
g10. 学術雑誌論文等
g11. 会議発表論文・発表資料等
g50. 科学研究費助成事業研究成果報告書
h. 保健管理センター
h10. 学術雑誌論文等
h50. 科学研究費助成事業研究成果報告書
i. 北陸先端科学技術大学院大学(JAIST)
i10. 学術雑誌論文等
i20. 学位論文
i40. テクニカルメモランダム
i50. 科学研究費助成事業研究成果報告書
i70. JAIST PRESS 発行誌
j. 特別コレクション
z1-10. 学術雑誌論文等
z1-11. 会議発表論文
z1-50. 科学研究費助成事業研究成果報告書
z1-80. CGEIアニュアルレポート
z10-10. 学術雑誌論文等
z10-11. 会議発表論文
z11-10. 学術雑誌論文等
z11-11. 会議発表論文・ワークショップ発表資料
z11-70. JAIST PRESS 発行誌等
z12-10. 学術雑誌論文等
z12-70. JAIST PRESS 発行誌
z12-80. 地域・イノベーション研究センター発行誌
z13-10. 学術雑誌論文等
z14-10. 学術雑誌論文等
z14-11. 会議発表論文
z14-50. 科学研究費助成事業研究成果報告書
z2-00. 広報誌
z2-10. 学術雑誌論文等
z2-60. COE成果報告
z2-70. JAIST PRESS 発行誌等
z3-10. 学術雑誌論文等
z3-50. 科学研究費助成事業研究成果報告書
z4-10. 学術雑誌論文等
z5-10. 学術雑誌論文等
z5-50. 科学研究費助成事業研究成果報告書
z6-50. 科学研究費助成事業研究成果報告書
z7-10. 学術雑誌論文等
z7-11. 会議発表論文
z7-50. 科学研究費助成事業研究成果報告書
z8-10. 学術雑誌論文等
z8-11. 会議発表論文・発表資料等
z8-50. 科学研究費助成事業研究成果報告書
z9-10. 学術雑誌論文等
z9-50. 科学研究費助成事業研究成果報告書
グリーンデバイス研究センター 2011～2016
サービスサイエンス研究センター 2012～2019
シミュレーション科学研究センター 2012～2016
ソフトウェア検証研究センター 2010～2016
ライフスタイルデザイン研究センター 2011～2016
会議等発表資料
先端融合領域研究院 2007～2016
先端領域基礎教育院 2011～2016
先端領域社会人教育院 2010-2016
地域イノベーション教育研究センター 2012～2016
大学図書館研究集会記録
大学広報誌・記念誌
大学院教育イニシアティブセンター 2010～2015
安心電子社会教育研究センター 2004～2016
技術サービス部 業務報告集
知識創造支援システムシンポジウム
研修会等資料
研究・イノベーション学会（旧：研究・技術計画学会）年次学術大会講演要旨集
科学技術開発戦略センター 2003～2008
遠隔教育研究センター 2001～2012
高信頼組込みシステム教育研究センター 2007-2016
全て
教員登録文献
検索結果表示: 1-1 / 1.
該当アイテム:
発行日
タイトル
著者
Jun-2014
プロセス代数に基づく非決定的なシナリオ合成によるシーケンス図の検証
海津, 智宏
;
かいづ, ともひろ
1
お問い合わせ先 :
北陸先端科学技術大学院大学 研究推進課図書館情報係
