風呂と夫とローマと私
スポンサーリンク
概要
論文 | ランダム
- LOTOSによる分散システムの全体記述と各ノードの動作記述 : 等価性と変換アルゴリズムについて(理論計算機科学とその周辺)
- 代数的手法を用いた回路設計支援システムにおける状態図簡約機能とその評価
- 整数線形計画問題の解非存在性判定を利用した通信プロトコルの自動検証について(計算アルゴリズムと計算量の基礎理論)
- 通信系の動作記述から各局のプロトコルマシンを生成するための一方法
- 優先度付きトークンリング方式LANの「進行性」の検証について(計算アルゴリズムの基礎理論)