|
|
JAIST Repository >
検索結果
検索結果表示: 5251-5260 / 6856.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| 4-Jun-2009 | アドホックなスケールフリーネットワークの構築法 | 林, 幸雄; HAYASHI, YUKIO |
| 15-Nov-2012 | Lateral Resolution of an Infrared Visible Optical Sum Frequency Generation Confocal Microscope | Tuan, Nguyen Anh; Miyauchi, Yoshihiro; Mizutani, Goro |
| 2008 | Modeling Urgency in Component-Based Real-Time Systems | Nguyen, Van Tang; Hung, Dang Van; Ogawa, Mizuhito |
| 10-Jun-2010 | 目標志向意思決定分析のフレームワーク構築とその応用 | 中森, 義輝; NAKAMORI, YOSHITERU |
| Jan-2010 | Notes on “reducing algorithm complexity for computing an aggregate uncertainty measure” | Huynh, Van-Nam; Nakamori, Yoshiteru |
| Mar-2009 | On the derivation of a minimum test set in high quality transition testing | Iwagaki, Tsuyoshi; Kaneko, Mineo |
| 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 |
前へ
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
次へ
|
