B-038 効率のよいコース探査のための抽象化(B.ソフトウェア)
スポンサーリンク
概要
- 論文の詳細を見る
- FIT(電子情報通信学会・情報処理学会)推進委員会の論文
- 2004-08-20
著者
関連論文
- 知識グラフを利用した暗号プロトコル解析
- 効率の良いモデル空間探査のための抽象化
- セキュリティプロトコルの簡易検証I : 具体意味論
- B-038 効率のよいコース探査のための抽象化(B.ソフトウェア)
- 生涯学習支援のための計算モデル
- ワークフローペトリネットによるキメ細かなe-Learningコースウェア