|
|
JAIST Repository >
検索結果
検索結果表示: 5691-5700 / 7099.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| 21-Sep-2005 | Model Checking Web Specifications : Verification of design specifications for Web applications | CHOI, Eun-Hye; WATANABE, Hiroshi |
| 22-Sep-2009 | Toward Agda-2 Agda at CVS | Takeyama, Makoto |
| Aug-2014 | Informative Census Transform for Very Low-Resolution Image Representation | Jeong, Sungmoon; Lee, Hosun; Chong, Nak Young |
| 2013 | 進化言語学における認知バイアスの有効性 | 東条, 敏; Tojo, Satoshi |
| 9-Oct-2010 | 太陽電池産業のアーキテクチャ-と競争力 : 半導体、液晶との比較研究 | 中田, 行彦 |
| 9-Oct-2010 | 組織の知識吸収能力の遷移を記述した知識相異性表現法の提案 : 有機TFT 研究組織の事例分析 | 大西, 俊暢; 杉原, 太郎; 井川, 康夫 |
| 9-Oct-2010 | エビデンスベースの科学技術政策の実現に向けたイノベーションデータベースの構築 | 元橋, 一之; 鈴木, 潤 |
| 9-Oct-2010 | ITUとIETF : 技術標準に対する思想の違いが技術軌道に与える影響について | 石松, 宏和; 杉原, 太郎; 井川, 康夫 |
| 9-Oct-2010 | 幹細胞技術の標準化 : 技術分類と検討フレームワークの提案 | 仙石, 慎太郎; 隅蔵, 康一; 沖, 俊彦 |
| Sep-2013 | A taxonomy of congestion control techniques for TCP in wired and wireless networks | Kho, Lee Chin; Defago, Xavier; Lim, Azman Osman; Tan, Yasuo |
前へ
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
次へ
|
