Las Vegas, Self-Verifying Nondeterministic and Deterministic One-Way Multi-Counter Automata with Bounded Time.
スポンサーリンク
概要
- 論文の詳細を見る
- 徳山工業高等専門学校の論文
- 2003-12-01
徳山工業高等専門学校 | 論文
- 直接圧縮成形の成形条件がUHMWPE材料の酸化劣化に及ぼす影響(徳山工業高等専門学校校外発表論文,学術講演,著書,分担執筆など)(平成14年・9・6〜平成15年・9・5)
- Webベースの共有データ管理システム : 学生レポート管理電子化の一手法
- 携帯メールを用いた非常連絡網の構築
- IPアドレスに基づいた端末監視システムの開発とその運用(徳山工業高等専門学校校外発表論文,学術講演,著書,分担執筆など)(平成14年・9・6〜平成15年・9・5)
- 管理容易な学内ネットワークの在り方とその構築(徳山工業高等専門学校校外発表論文,学術講演,著書,分担執筆など)(平成14年・9・6〜平成15年・9・5)