|
|
JAIST Repository >
検索結果
検索結果表示: 5301-5310 / 7099.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| 30-Mar-2009 | リモートポインティングと方向キー操作を組み合わせたアイコン選択手法 | 藤原, 仁貴; 志築, 文太郎; 田中, 二郎; FUJIWARA, Masaki; SHIZUKI, Buntarou; TANAKA, Jiro |
| 1996 | Unique normal form property of Higher-Order Rewriting | Mano, Ken; Ogawa, Mizuhito |
| 2008 | Complexity, Graphs, and the Dependency Pair Method | Hirokawa, Nao; Moser, Georg |
| 2008 | Automated Complexity Analysis Based on the Dependency Pair Method | Hirokawa, Nao; Moser, Georg |
| 24-Oct-2009 | 社会的課題から誘発される新興・融合科学技術の発展過程と推進方策 | 渡邊, 康正; 前田, 知子; 赤池, 伸一; 治部, 眞理; 福田, 佳也乃; 有本, 建男 |
| 14-Jan-2008 | Bifurcations and chaos in register transitions of excised larynx experiments | Tokuda, Isao T.; Horáček, Jaromir; Švec, Jan G.; Herzel, Hanspete |
| 18-Apr-2014 | Model Checking Conformance of Design Model to Its Formal Specification | Vu, Dieu-Huong; Chiba, Yuki; Yatake, Kenro; Aoki, Toshiaki |
| 15-Oct-2004 | プログラム | |
| 30-Mar-2012 | Future Trends in the Biology of Language: Constructive modeling of grammaticalization for the origin and evolution of language | Hashimoto, Takashi; Nakatsuka, Masaya; Konno, Takeshi; Shiro Ojima, Yukio Otsu, John F. Connolly, Guillaume Thierry |
| 21-Mar-2011 | Influence of surface ligands on the electronic structure of Fe-Pt clusters: A density functional theory study | Trinh, Thuy T; Ozaki, Taisuke; Maenosono, Shinya |
前へ
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
次へ
|
