|
|
JAIST Repository >
検索結果
検索結果表示: 921-930 / 1951.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| Nov-2007 | KUI for Collective Intelligence Development | Charoenporn, Thatsanee; Sornlertlamvanich, Virach; Robkop, Kergrit; Isahara, Hitoshi |
| 15-Dec-2014 | Sufficient completeness of parameterized specifications in CafeOBJ | Nakamura, Masaki; Gaina, Daniel; Ogata, Kazuhiro; Futatsugi, Kokichi |
| 30-Jan-2005 | Graph Isomorphism Completeness for Chordal Bipartite Graphs and Strongly Chordal Graphs | Uehara, Ryuhei; Toda, Seinosuke; Nagoya, Takayuki |
| 10-Sep-2007 | Organic Field Effect Transistors with Dipole-Polarized Polymer Gate Dielectrics for Control of Threshold Voltage | Sakai, Heisuke; Takahashi, Yoshikazu; Murata, Hideyuki |
| 2006 | JAIST-COE News Vol.3 No.2 | |
| Jul-2009 | Study on a method of suppressing noise based on the MTF concept | Yamasaki, Yutaka; Unoki, Masashi |
| Mar-2009 | 伝統産業の類型化に関する研究 | 鄧, 蜀; とう, しょく |
| 2014 | Study on method of estimating direction of arrival using monaural modulation spectrum | Ando, Masaru; Morikawa, Daisuke; Unoki, Masashi |
| Mar-2015 | An Investigation of the Chandy-Lamport Distributed Snapshot Algorithm and its Model Checking [課題研究報告書] | Zhang, Wenjie |
| 1-Jun-2018 | Efficient Evolutionary Algorithm of Multi-objective Optimization for High-Confidence Cyber-Physical Systems | Lim, Yuto; リム, 勇仁 |
前へ
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
次へ
|
