|
JAIST Repository >
検索結果
検索結果表示: 5041-5050 / 6973.
該当アイテム:
| 発行日 | タイトル |
著者 |
| Jun-2013 | 多項式制約のためのSMTとその応用 | To, Van Khanh |
| Sep-2013 | ICT活用型ダイエットサービスにおける、価値共創に関する研究 | 須田, 泰司; すだ, やすじ |
| Mar-2013 | An Analysis of Voting Algorithm in Games [課題研究報告書] | Sato, Yuichiro |
| Sep-2013 | メーカーの販売会社支援サービス開発過程における価値創造 | 大塩, 和寛; おおしお, かずひろ |
| Jul-2006 | Multiple Attribute Decision Making Under Uncertainty: The Evidential Reasoning Approach Revisited | Huynh, Van-Nam; Nakamori, Yoshiteru; Ho, Tu-Bao; Murai, Tetsuya |
| 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に伴う製品開発組織の知識統合―精密機器メーカーにおける事例研究― | 堀江, 宣裕; ほりえ, のぶひろ |
前へ
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
次へ
|