書店で探す
目次
92(7) (通号 451) 2009.7
- LSMを利用したセキュアOSの性能評価機能の実現と評価
p.963~974
- 栄養素等摂取バランスを考慮した料理レシピ検索システム
p.975~983
- 検出可能な遅延故障サイズを考慮した遅延故障診断法
p.984~993
- けた上げ保存加算器で構成された部分積加算部をもつ乗算器のテスト
p.994~1002
92(5) (通号 449) 2009.5
- フォーマルアプローチ論文特集
p.575~607
- 時間オートマトンのモデル検査 (フォーマルアプローチ論文特集)
p.576~586
- 学習指導に役立てる学習者の理解構造のバグ修正アルゴリズム
p.608~617
92(6) (通号 450) 2009.6
- 異文化コラボレーション論文特集
p.707~757
- 共同翻訳のためのプロトコルの開発 (異文化コラボレーション論文特集)
p.739~746
書店で探す
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
- 資料種別
- 雑誌
- ISSN
- 1880-4535
- ISSN-L
- 1880-4535
- タイトル
- タイトルよみ
- デンシ ジョウホウ ツウシン ガッカイ ロンブンシ
- 巻次・部編番号
- D92(5)-92(7)=449-451:2009.5-2009.7
- 部編名
- 情報・システム
- 著者・編者
- 電子情報通信学会 編