|
JAIST Repository >
検索結果
検索結果表示: 3501-3510 / 3900.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| 1-Dec-2008 | Proof Score Approach to Verification of Liveness Properties | OGATA, Kazuhiro; FUTATSUGI, Kokichi |
| Mar-2014 | ソーシャルメディアとしてのFacebookを用いた宣伝方法に関する研究 | SHE, XIAO; しゃ, しょう |
| Jul-2008 | Mammalian laryngseal air sacs add variability to the vocal tract impedance: Physical and computational modeling | Riede, Tobias; Tokuda, Isao T.; Munger, Jacob B.; Thomson, Scott L. |
| Mar-2010 | 合唱音声の合成における基本周波数制御に関する基礎研究 | 桑原, 彰宏; くわはら, あきひろ |
| Mar-2010 | Model Synthesis and Parametric Model Checking for Real-Time System Designs | サタウォンウィチット, チャイワット; さたうぉんうぃちっと, ちゃいわっと |
| Mar-2014 | Development of Teleoperated and Semi-Autonomous Aerial Vehicles [課題研究報告書] | Redwan Newaz, Abdullah Al |
| Sep-2013 | 多次元相関を用いたワイヤレス協調通信 | 周, 暁波; ちょう, しゃおぶー |
| 6-Mar-2014 | 活動量向上システムによる活動量向上とモチベーションに関する研究 | 阿部, 翔太朗; 金井, 秀明 |
| 22-Sep-2010 | Logics without the contraction rule and residuated lattices | Ono, Hiroakira |
| 8-Jan-2009 | Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logic | Kihara, Hitoshi; Ono, Hiroakira |
前へ
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
次へ
|
