|
|
JAIST Repository >
検索結果
検索結果表示: 4781-4790 / 5037.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| 6-May-2001 | Unique normal form property of compatible term rewriting systems: a new proof of Chew's theorem | Mano, Ken; Ogawa, Mizuhito |
| 12-Jul-2013 | Nonstandard second-order arithmetic and Riemann's mapping theorem | Horihata, Yoshihiro; Yokoyama, Keita |
| Sep-2011 | Automatic translation from name-based pointcuts to analysis-based pointcuts for robust aspects | 王, 林; おう, りん |
| Mar-2013 | 能美市における空き家対策の意思決定要因分析 | 于, 航; う, こう |
| Mar-2013 | 医療観光の企画プロセスーJTBの事例研究ー | 呂, 業壮; ろ, ぎょうそう |
| 26-Apr-2011 | Natural Inductive Theorems for Higher-Order Rewriting | Aoto, Takahito; Yamada, Toshiyuki; Chiba, Yuki |
| Sep-2011 | 高性能LSIのためのポストシリコン・スキュー調整 の方式と最適化に関する研究 | 李, 健; り, じぇん |
| 29-Jun-2009 | Photoemission electron spectroscopy Ⅰ: History and overview | J. D. Lee; Nagatomi, T. (Translator); Mizutania, G. (Translator); Endo, K. (Translation Supervisor); 永富, 隆清 (日本語訳者); 水谷, 五郎 (日本語訳者); 遠藤, 一央 (監訳者) |
| 2-Sep-2009 | A Dynamic Attribute-Based Group Signature Scheme and its Application in an Anonymous Survey for the Collection of Attribute Statistics | Emura, Keita; Miyaji, Atsuko; Omote, Kazumasa |
| 20-Feb-2009 | Improving effectiveness of mutual information for substantival multiword expression extraction | Zhang, Wen; Yoshida, Taketoshi; Tang, Xijin; Ho, Tu Bao |
前へ
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
次へ
|
