|
|
JAIST Repository >
検索結果
検索結果表示: 2821-2830 / 3900.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| 23-May-2016 | Combined Model Checking and Testing Create Confidence in Correctness of Commercial Automotive Operating System | Aoki, Toshiaki; Satoh, Makoto; Tani, Mitsuhiro; Yatake, Kenro; Kishi, Tomoji |
| 12-Dec-2016 | Sliding Tokens on a Cactus | Hoang Duc Anh; Uehara, Ryuhei |
| Mar-2016 | シングルキャリア広帯域無線通信のためのスペクトラム利用効率に優れたターボ受信技術 | 高野, 泰洋; たかの, やすひろ |
| 1-Nov-2013 | A computational model associating learning process, word attributes, and age of acquisition | Hidaka, Shohei |
| 30-Jun-2016 | On principles between ∑1- and ∑2-induction, and monotone enumerations | Kreuzer, Alexander P.; Yokoyama, Keita |
| 23-Aug-2018 | A Tutorial on Lossy Forwarding Cooperative Relaying | He, Jiguang; Tervo, Valtteri; Zhou, Xiaobo; He, Xin; Qian, Shen; Cheng, Meng; Juntti, Markku; Matsumoto, Tad |
| 26-Oct-2018 | JAIST NOW No.17 | |
| 24-Mar-2012 | Low Complexity Time-Concatenated Turbo Equalization for Block Transmission Without Guard Interval: Part 1—The Concept | Anwar, Khoirul; Matsumoto, Tad |
| Mar-2017 | UAVを用いた放射能汚染地図作製と汚染源位置推定 | Redwan Newaz, Abdullah Al; れっどわん ねーわっず, あぶどぅらー ある |
| Mar-2017 | 宣言的クラウドオーケストレーションのための対話的定理証明フレームワーク | 吉田, 裕之; よしだ, ひろゆき |
前へ
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
次へ
|
