|
|
JAIST Repository >
検索結果
検索結果表示: 5451-5460 / 7099.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| 7-Sep-2007 | 法令対象ドメインの形式仕様と検証 | 二木, 厚吉; 緒方, 和博; 有本, 泰仁 |
| 10-Apr-2009 | 証明支援系とモデル検査器を効果的に利用できる環境と方法論 | 緒方, 和博; OGATA, KAZUHIRO |
| 10-Jun-2009 | 微小サーマルプローブを用いた走査型二次元局所ゼーベック係数評価装置の開発 | 中本, 剛; NAKAMOTO, GO |
| Aug-2008 | Minimizing Minimum Delay Compensations for Timing Variation-Aware Datapath Synthesis | Inoue, Keisuke; Kaneko, Mineo; Iwagaki, Tsuyoshi |
| Sep-2005 | On constructing completions | Crosilla, Laura; Ishihara, Hajime; Schuster, Peter |
| 29-May-2008 | Sharp contrasts in low-energy quasiparticle dynamics of graphite between Brillouin zone K and H points | Lee, J. D.; Han, S. W.; Inoue, J. |
| 20-Mar-2009 | Substrate-mediated interactions of Pt atoms adsorbed on single-wall carbon nanotubes: Density functional calculations | Chi Dam, Hieu; Thanh Cuong, Nguyen; Sugiyama, Ayumu; Ozaki, Taisuke; Fujiwara, Akihiko; Mitani, Tadaoki; Okada, Susumu |
| 2005 | Tyrolean Termination Tool | Hirokawa, Nao; Middeldorp, Aart |
| 24-Oct-2009 | 情報技術と製造技術の共進的内生化過程の日中比較分析 | 藤, 祐司 |
| 24-Oct-2009 | 企業が事業活用する基礎研究の分野に関する実証分析 | 齋藤, 裕美; 隅蔵, 康一 |
前へ
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
次へ
|
