検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
書誌情報 | ファイル |
---|---|
Relational Algebra Machine GRACE Kitsuregawa, Masaru; Tanaka, Hidehiko; Moto-oka, Tohru (1983-03) 数理解析研究所講究録, 482: 23-40 | |
MULTI-VERSION CONCURRENCY CONTROL SCHEME FOR A DATABASE SYSTEM : VERSION 1 Muro, Shojiro; Kameda, Tsunehiko; Minoura, Toshimi (1983-03) 数理解析研究所講究録, 482: 183-214 | |
Design of a Lisp Machine - FLATS Goto, E.; Soma, T.; Inada, N.; Ida, T.; Idesawa, M.; Hiraki, K.; Suzuki, M.; Shimizu, K.; Philipov, B. (1983-03) 数理解析研究所講究録, 482: 41-48 | |
EFFECTS OF PRACTICAL ASSUMPTIONS IN AREA COMPLEXITY OF VLSI COMPUTATION HAGIHARA, Ken'ichi; WADA, Kouichi; TOKURA, Nobuki (1983-03) 数理解析研究所講究録, 482: 49-72 | |
Design and Implementation of A Highly Modularized Functional language Saji, Nobuyuki; Yonezawa, Akinori (1983-03) 数理解析研究所講究録, 482: 215-239 | |
Hardware Algorithms and Logic Design Automation : An Overview and Progress Report YAJIMA, Shuzo; YASUURA, Hiroto (1983-03) 数理解析研究所講究録, 482: 73-97 | |
Treatment of Big Values in an Applicative Language HFP : Translation from By-Value Access to By-Update Access Katayama, Takuya (1983-03) 数理解析研究所講究録, 482: 240-254 | |
Polynomial Time Inference of Extended Regular Pattern Languages Shinohara, Takeshi (1983-03) 数理解析研究所講究録, 482: 115-128 | |
TOWARD THE DESIGN AND IMPLEMENTATION OF OBJECT ORIENTED ARCHITECTURE TOKORO, Mario (1983-03) 数理解析研究所講究録, 482: 1-22 | |
Data Base Semantics Based on Intuitionistic Logics Mizukami, Tatsunari (1983-03) 数理解析研究所講究録, 482: 156-182 |
絞り込み
分類
- 16 410
資料種別