Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索結果表示: 1-10 / 29.

前
1
2
3
次

検索結果:

書誌情報	ファイル
イベントの2項関係に基くハードウェア仕様記述(アルゴリズムの数学的基礎理論とその応用) 手嶋, 茂晴; 平石, 祐実; 矢島, 脩三 (1986-05) 数理解析研究所講究録, 591: 53-64
平行処理制御方式の可観測性と可制御性(アルゴリズムの数学的基礎理論とその応用) 上林, 弥彦 (1986-05) 数理解析研究所講究録, 591: 95-104
ONE-STEP RECURRENT TERMS IN $\lambda - \beta$-CALCULUS(Algorithms : Mathematical Foundations and Applications) SEKIMOTO, Shoji; HIROKAWA, Sachio (1986-05) 数理解析研究所講究録, 591: 121-137
定理証明的手法を用いた回路の自動合成 : 帰納方程式から回路への変換(アルゴリズムの数学的基礎理論とその応用) 原尾, 政輝; 岩沼, 宏治 (1986-05) 数理解析研究所講究録, 591: 65-73
ネットワークデータベースにおける巡航操作で解ける質問のクラス(アルゴリズムの数学的基礎理論とその応用) 古川, 哲也; 上林, 彌彦 (1986-05) 数理解析研究所講究録, 591: 74-83
分散システムの一つのスケジューリング問題(アルゴリズムの数学的基礎理論とその応用) 阿江, 忠; 山下, 雅史; 方, 安祥 (1986-05) 数理解析研究所講究録, 591: 105-110
鎖パッキング問題について(アルゴリズムの数学的基礎理論とその応用) 増山, 繁; 茨木, 俊秀; 三根, 久 (1986-05) 数理解析研究所講究録, 591: 1-11
Complexity of Path Covering Problems in Acyclic Alternate Graphs II(Algorithms : Mathematical Foundations and Applications) Uemura, Kenji; Yaku, Takeo (1986-05) 数理解析研究所講究録, 591: 12-24
Classifications and Base Enumerations of the Maximal Sets of Three-Valued Logical Functions(Algorithms : Mathematical Foundations and Applications) Miyakawa, Masahiro; Stojmenovic, Ivan (1986-05) 数理解析研究所講究録, 591: 25-29
データベース問合せ言語の変換アルゴリズムについて(アルゴリズムの数学的基礎理論とその応用) 宮尾, 淳一; 冨永, 一幸; 菊野, 亨 (1986-05) 数理解析研究所講究録, 591: 84-94