書店で探す
目次
101(675) 2002.3.5
- 配達経路最適化問題について
p.1~8
- プローブカーを利用した交通情報予測方式の検討
p.9~14
- 車両運行管理プラットフォームの検討
p.21~26
101(671) 2002.3.4
- kVerifierとSystemC
p.17~23
101(676) 2002.3.6
101(673) 2002.3.4
- 記号実行法による仕様要素の抽出
p.1~5
- 故障記述文の形式化と鍵語抽出
p.7~13
- 属性つきゴール指向要求分析法
p.15~22
101(674) 2002.3.5
- プログラム構造抽出の自動化
p.1~7
- 仕様追従性に関するプログラム設計方法の分析
p.9~15
- 静的および動的構造化としてのオブジェクト・メディアモデル
p.17~23
101(672) 2002.3.5
- マルチプロセッサ環境におけるマイグレート可能タスクの導入
p.13~20
101(677) 2002.3.7
- 移動通信ワークショップ
p.1~192
書店で探す
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
- 資料種別
- 雑誌
- ISSN
- 0913-5685
- ISSN-L
- 0913-5685
- タイトルよみ
- デンシ ジョウホウ ツウシン ガッカイ ギジュツ ケンキュウ ホウコク : シンガク ギホウ
- 巻次・部編番号
- 101(671)-101(677) 20020300-20020300
- 出版事項
- 出版年月日等
- 2002
- 出版年(W3CDTF)
- 2002