|
|
JAIST Repository >
検索結果
検索結果表示: 5141-5150 / 7099.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| Mar-2009 | 演繹的検証法と探索的検証法の組み合わせについての研究 | 川崎, 恵久; かわさき, よしひさ |
| 19-Jan-2010 | Conditional Weighted Pushdown Systems and Applications | Li, Xin; Ogawa, Mizuhito |
| Mar-2009 | 3Dモデルを用いたモザイク画生成手法の提案 | 野田, 貴彦; のだ, たかひこ |
| Sep-2009 | Theorem Proving and Institutions | Gaina, Daniel |
| Sep-2010 | M&Aに伴う製品開発組織の知識統合―精密機器メーカーにおける事例研究― | 堀江, 宣裕; ほりえ, のぶひろ |
| 27-Mar-2012 | オントロジー工学に基づくサービスの本質的性質の考察 | 住田, 光平; 來村, 徳信; 笹嶋, 宗彦; 高藤, 淳; 溝口, 理一郎; Sumita, Kouhei; Kitamura, Yoshinobu; Sasajima, Munehiko; Takafuji, Sunao; Mizoguchi Riichiro |
| 17-May-2016 | Termination and Boundedness for Well-Structured Pushdown Systems | Lei, Suhua; Cai, Xiaojuan; Ogawa, Mizuhito |
| Mar-2015 | Ziegler-Natta触媒の構造と重合性能の相関解明に向けての新規アプローチ法の確立 | 舟子, 俊幹; ふなこ, としき |
| Mar-2015 | 介護当事者の意思決定プロセス―意思確認が困難な高齢者への経管栄養を事例として― | 水岡, 隆子; みずおか, たかこ |
| Mar-2016 | 事業の持続可能性を高める高付加価値対人サービス深化モデルの研究 | 杉山, 大輔; すぎやま, だいすけ |
前へ
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
次へ
|
