|
|
JAIST Repository >
検索結果
検索結果表示: 3341-3350 / 6856.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| 24-Oct-2009 | 連合王国における科学技術・イノベーション政策の最近の展開 : 比較対照を通じた日本への示唆 | 伊地知, 寛博 |
| 2003 | Automating the Dependency Pair Method | Hirokawa, Nao; Middeldorp, Aart |
| 2011 | A linguistic screening evaluation model in new product development | Huynh, Van-Nam; Nakamori, Yoshiteru |
| 30-Jul-2012 | Organic solar cells based on nanoporous P3HT obtained from self-assembled P3HT:PS templates | Vohra, Varun; Campoy-Quiles, Mariano; Garriga, Miquel; Murata, Hideyuki |
| Mar-2005 | 多地点遠隔会議における自然なコミュニケーションの実現に関する研究 | 小峯, 隆宏; こみね, たかひろ |
| 2-Apr-2012 | Large-scale first-principles molecular dynamics for electrochemical systems with O(N) methods | Ohwaki, Tsukuru; Otani, Minoru; Ikeshoji, Tamio; Ozaki, Taisuke |
| Nov-2005 | Finding Efficiency and Inefficiency : Multi-Viewpoint Apporoach | AOKI, Shingo; MINAMI, Kyousei; TSUJI, Hiroshi; Jifa, Gu; Gerhard, Chroust |
| 2014 | Tight Bound on Mobile Byzantine Agreement | Bonnet, Francois; Defago, Xavier; Nguyen, Thanh Dang; Potop-Butucaru, Maria |
| 6-May-1999 | Component-based algebraic specification and verification in cafeOBJ | Diaconescu, Razvan; Futatsugi, Kokichi; Iida, Shusaku |
| 26-Feb-2007 | Self-stabilizing algorithm for circle formation by disoriented oblivious mobile robots | Defago, Xavier; Souissi, Samia |
前へ
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
次へ
|
