Skip navigation
ホーム
ブラウズ
研究科等一覧
ブラウズ:
タイトル
著者
発行日
キーワード
分類
資料種別
アクセスランキング
アクセス統計
京都大学
図書館機構
統計
アクセスランキング
アクセス統計
リンク
京都大学
図書館機構
Language
日本語
English
マイ・リポジトリ
購読情報編集
利用者情報編集
Kyoto University Research Information Repository
検索
検索対象:
リポジトリ全体
400 数理解析研究所 = 400_Research Institute for Mathematical Sciences
1.講究録 = RIMS Kokyuroku
0556 計算機科学の基礎理論とその応用 = Mathematical Foundations of Computer Science and Their Applications
検索語
適用済条件:
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索をやり直す
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索結果表示: 1-10 / 29.
前
1
2
3
次
検索結果:
書誌情報
ファイル
データベースシステムの同時処理制御における直列可能性のいくつかのクラスについて(計算機科学の基礎理論とその応用)
木庭, 淳; 室, 章治郎; 長谷川, 利治 (1985-04)
数理解析研究所講究録, 556: 59-70
EFFICIENT IMPLEMENTATIONS OF PARALLEL SORT ALGORITHMS ON A MESH-CONNECTED PROCESSOR ARRAY(Mathematical Foundations of Computer Science and Their Applications)
Igarashi, Yoshihide; Sado, Kazuhiro; Adachi, Noriaki (1985-04)
数理解析研究所講究録, 556: 37-48
On the Nested Heap Structure in Smoothsort(Mathematical Foundations of Computer Science and Their Applications)
Noshita, Kohei; Nakatani, Yoshinobu (1985-04)
数理解析研究所講究録, 556: 1-16
垂直型3層チャネル配線アルゴリズムについて(計算機科学の基礎理論とその応用)
永松, 正博 (1985-04)
数理解析研究所講究録, 556: 17-36
A Distributed Algorithm for Deadlock Detection in Replicated Database Systems(Mathematical Foundations of Computer Science and Their Applications)
Ogata, Masanobu; Sugihara, Kazuo; Kikuno, Tohru (1985-04)
数理解析研究所講究録, 556: 49-58
時空間様相論理ETSLの完全・無矛盾な公理系(計算機科学の基礎理論とその応用)
岩沼, 宏治; 原尾, 政輝; 野口, 正一 (1985-04)
数理解析研究所講究録, 556: 306-318
知識の表現のための「述語」を持たない述語(?)論理"Tuple Logic"の提案(計算機科学の基礎理論とその応用)
森田, 憲一 (1985-04)
数理解析研究所講究録, 556: 294-305
THE COMPLEXITY OF SUBSTITUTIVE PROGRAMS(Mathematical Foundations of Computer Science and Their Applications)
Yaku, Takeo; Adachi, Akeo; Futatsugi, Kokichi (1985-04)
数理解析研究所講究録, 556: 319-326
項書き換えシステムの簡約化戦略について(計算機科学の基礎理論とその応用)
直井, 徹; 山下, 雅史; 茨木, 俊秀; 本多, 波雄 (1985-04)
数理解析研究所講究録, 556: 151-162
ネットワークデータベースにおける選択・射影・結合質問の処理(計算機科学の基礎理論とその応用)
古川, 哲也; 上林, 彌彦 (1985-04)
数理解析研究所講究録, 556: 81-92
絞り込み
著者
2
稲垣, 康善
2
茨木, 俊秀
1
Adachi, Akeo
1
Adachi, Noriaki
1
Aizawa, Kunio
1
Futatsugi, Kokichi
1
Hirokawa, Sachio
1
Igarashi, Yoshihide
1
Iwamura, Kakuzo
1
Kikuno, Tohru
.
次 >
発行日
29
1985
分類
29
410