|
|
JAIST Repository >
検索結果
検索結果表示: 5111-5120 / 6856.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| 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 |
| Oct-2013 | Cross-lingual Speech Emotion Recognition System Based on a Three-Layer Model for Human Perception | Elbarougy, Reda; Akagi, Masato |
前へ
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
次へ
|
