|
|
JAIST Repository >
検索結果
検索結果表示: 5201-5210 / 6973.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| 13-Jul-2010 | Decreasing Diagrams and Relative Termination | Hirokawa, Nao; Middeldorp, Aart |
| 30-Mar-2009 | ComeCam-II：「誰が何を見ているか」を伝えるライブカメラシステム | 樋口, 潤; 高橋, 伸; 田中, 二郎; Higuchi, Jun; Takahashi, Shin; Tanaka, Jiro |
| 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 | プログラム | |
前へ
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
次へ
|
