|
|
JAIST Repository >
一覧: 日付
検索結果: 15489-15509 / 18634.
| 発行日 | タイトル |
著者 |
|---|
| Mar-2002 | コンポーネントソフトウェア開発用軽量フォーマルメソッドの研究 | 松本, 充広; まつもと, みちひろ |
| Mar-2002 | 項書き換えシステムのための評価戦略の研究 | 中村, 正樹; なかむら, まさき |
| Mar-2002 | 有限差分法による非圧縮粘性流体シミュレーションの高性能並列計算の研究 | 黒川, 原佳; くろかわ, もとよし |
| Mar-2002 | 直観主義論理のいくつかの部分論理に対するゲンツェン流Sequent計算 | 菊池, 健太郎; きくち, けんたろう |
| Mar-2002 | 現実的な電子署名の設計と解析 | 岡本, 健; おかもと, たけし |
| Mar-2002 | フィッサーの論理,古典論理および一階算術に関する証明論的研究 | 石井, 克正; いしい, かつまさ |
| Mar-2002 | 遺伝的アルゴリズムの並列化と多目的最適化問題への適用 | 堀井, 宏祐; ほりい, ひろすけ |
| Mar-2002 | 塩水楔観測データ解析手法の研究 | 上野, 博芳; うえの, ひろよし |
| Mar-2002 | ロングセラー･ブランド育成の特性に関する考察 | 鈴木, 陽子; すずき, ようこ |
| Mar-2002 | 談話セグメント付与の高精度化に関する研究 | 須藤, 由加; すどう, ゆか |
| Mar-2002 | 細胞におけるシグナル伝達系の情報視覚化 | 臼杵, 正郎; うすき, まさお |
| Mar-2002 | 環境コミュニケーションの促進に関する研究 | 澤田, 敬仁; さわだ, たかひと |
| Mar-2002 | 経営戦略に適合した情報システム構築のための方法論の研究 | 服部, 利幸; はっとり, としゆき |
| Mar-2002 | 電子ニュースの効果的利用のための再構造化に関する研究 | 植田, 繁雄; うえだ, しげお |
| Mar-2002 | ITS交通誘導技術に対する経済的評価 | Qiao, Nan; きょう, なん |
| Mar-2002 | ソフトウェア開発における分業の功罪:組み込み型ソフトウェア開発環境ツール構築プロジェクトの事例を通じて | 松尾, 直樹; まつお, なおき |
| Mar-2002 | 音声対話のための依存構造解析に関する研究 | 松永, 政幸; まつなが, まさゆき |
| Mar-2002 | インドネシアへの日本企業の技術移転における教育制度のあり方に関する研究 | 喜多, 和; きた, まどか |
| Mar-2002 | リアル・オプション理論による特許の評価法 | 木村, 雅則; きむら, まさのり |
| Mar-2002 | ビジネスプロセスシミュレーションツールへのの適用と検証 | 荒谷, 健; あらや, けん |
| Mar-2002 | Virtual JAISTと位置検出システムを用いた実世界・情報世界融合インタフェイスの研究 | 滝田, 淳; たきた, じゅん |
|
