|
|
JAIST Repository >
検索結果
検索結果表示: 4031-4040 / 5037.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| Mar-2023 | マイクロコントローラ用コーディング規則のプログラム検証 | Nguyen, Thi Thuy; ぐえん,てぃ とぅい |
| 25-Aug-2015 | ℓ1 LS and ℓ2 MMSE-based Hybrid Channel Estimation for Intermittent Wireless Connections | Takano, Yasuhiro; Juntti, Markku; Matsumoto, Tad |
| Jun-2014 | Well-Structured Pushdown System: Case of Dense Timed Pushdown Automata | Cai, Xiaojuan; Ogawa, Mizuhito |
| Dec-2023 | 指向性生成ネットワーク：あらかじめ用意されたデータセットを用いない構造化オブジェクトの生成方法に関する研究 | 伊藤, 康明; いとう, やすあき |
| Sep-2015 | 高齢者の活性化を促進する価値共創モデルの提案 ―アマチュアオーケストラ活動の分析を通して― | 藤井, 美樹; ふじい, みき |
| Mar-2015 | An Investigation of the Chandy-Lamport Distributed Snapshot Algorithm and its Model Checking [課題研究報告書] | Zhang, Wenjie |
| 27-Jul-2010 | 北陸先端科学技術大学院大学 共有計算サーバ使用成果報告2009 | 太田, 理; 尾崎, 泰助; 佐藤, 幸紀ほか; 太田 理; 尾崎 泰助; 佐藤 幸紀 |
| 6-Oct-2006 | Wireless LAN emulation | Beuran, Razvan; Nguyen, Lan Tien; Latt, Khin Thida; Nakata, Junya; Shinoda, Yoichi |
| 25-Jan-2013 | Modeling and Analyzing the Impact of Software Fault Tolerance Techniques on the Reliability of Component-based Systems | Pham, Thanh-Trung; Defago, Xavier |
| 11-Sep-2012 | A Formal Framework for Access Rights Analysis | Li, Xin; Hua, Vy Le Thanh |
前へ
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
次へ
|
