検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
| 書誌情報 | ファイル |
|---|---|
| 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 | |