|
|
JAIST Repository >
検索結果
検索結果表示: 11-20 / 3900.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| 23-Mar-1999 | On proving AC-termination by argument filtering method | Kusakari, Keiichirou; Toyama, Yoshihito |
| 12-Oct-2008 | 技術戦略の転換プロセス : 松下電器PDPのケース | 柴田, 友厚; 児玉, 文雄 |
| Sep-2014 | A survey of formal verification of Paxos and a case study with an algebraic specification language [課題研究報告書] | Apasuthirat, Thanisorn |
| 28-Nov-2006 | A Domain Analysis of Artistic Works and A Digital License Language | Xiang, Jianwen; Bjorner, D.; Chen, X.; Arimoto, Y.; Ogata, K.; Vestergaard, R.; Futatsugi, K. |
| 27-Oct-2018 | 日本企業におけるオープン・イノベーション : 11年間の継続調査より : （1）方法論的検討 | 濱岡, 豊 |
| 27-Oct-2018 | エビデンスに基づく北海道大学の経営戦略と経営マネジメント人材URA | 江端, 新吾; 田中, 晋吾; 長谷川, 康弘 |
| 5-Oct-2007 | LP-based method of blind restoration to improve intelligibility of bone-conducted speech | Thang, Tat Vu; Unoki, Masashi; Akagi, Masato |
| Jun-2008 | An LP-based blind model for restoring bone-conducted speech | Vu, Thang tat; Unoki, Masashi; Akagi, Masato |
| 1-Mar-2009 | An MTF-based Blind Restoration Method for Improving Intelligibility of Bone-conducted Speech | Kinugasa, Kota; Unoki, Masashi; Akagi, Masato |
| 28-Oct-2017 | 英国の大学評価REFに見られるライフサイエンス分野のアウトプットとインパクト創出プロセス | 小林, 直人; 島岡, 未来子; Yu, Lily |
前へ
1
2
3
4
5
6
7
8
9
10
11
次へ
|
