TERAKAWA NAOKI | Department of Obstetrics and Gynecolog, Tottori University School of Medicine
スポンサーリンク
概要
- TERAKAWA NAOKIの詳細を見る
- 同名の論文著者
- Department of Obstetrics and Gynecolog, Tottori University School of Medicineの論文著者
論文 | ランダム
- 拡張有限状態機械で記述された協調計算プログラムとその実行系
- 順序機械型プログラムの階層的設計法と在庫管理プログラムの開発例
- 拡張有限状態機械モデルを用いた分散システムの要求仕様から各ノードの動作仕様の自動導出
- 部分項の評価順が指定できる項書換え系とその性質について(計算機構とアルゴリズム)
- 代数的言語ASLを用いた酒屋在庫管理の要求仕様記述