|
JAIST Repository >
検索結果
検索結果表示: 4951-4960 / 6856.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| Mar-2014 | 落下型パズルゲームの定石形配置法とぷよぷよへの適用 | 富沢, 大介; とみざわ, だいすけ |
| 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 |
前へ
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
次へ
|
