コレクションホームページ
0482 ソフトウェア科学, 工学における数理的方法
16
0482 ソフトウェア科学, 工学における数理的方法
16
(http://hdl.handle.net/2433/101534)
ブラウズ
文献一覧(目次の昇順ソート): 1 - 16 / 16
書誌情報 | ファイル |
---|---|
表紙・目次 (1983-03) 数理解析研究所講究録, 482 | |
TOWARD THE DESIGN AND IMPLEMENTATION OF OBJECT ORIENTED ARCHITECTURE TOKORO, Mario (1983-03) 数理解析研究所講究録, 482: 1-22 | |
Relational Algebra Machine GRACE Kitsuregawa, Masaru; Tanaka, Hidehiko; Moto-oka, Tohru (1983-03) 数理解析研究所講究録, 482: 23-40 | |
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 | |
Hardware Algorithms and Logic Design Automation : An Overview and Progress Report YAJIMA, Shuzo; YASUURA, Hiroto (1983-03) 数理解析研究所講究録, 482: 73-97 | |
Fixed point semantics of logical formulae Oyagi, Shigeo (1983-03) 数理解析研究所講究録, 482: 98-114 | |
Polynomial Time Inference of Extended Regular Pattern Languages Shinohara, Takeshi (1983-03) 数理解析研究所講究録, 482: 115-128 | |
A linear tree matching algorithm Kojima, Keiji (1983-03) 数理解析研究所講究録, 482: 129-144 | |
An Algorithm for Intelligent Backtracking Sato, Taisuke (1983-03) 数理解析研究所講究録, 482: 145-155 | |
Data Base Semantics Based on Intuitionistic Logics Mizukami, Tatsunari (1983-03) 数理解析研究所講究録, 482: 156-182 | |
MULTI-VERSION CONCURRENCY CONTROL SCHEME FOR A DATABASE SYSTEM : VERSION 1 Muro, Shojiro; Kameda, Tsunehiko; Minoura, Toshimi (1983-03) 数理解析研究所講究録, 482: 183-214 | |
Design and Implementation of A Highly Modularized Functional language Saji, Nobuyuki; Yonezawa, Akinori (1983-03) 数理解析研究所講究録, 482: 215-239 | |
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 | |
Partial Computation of Programs Futamura, Yoshihiko (1983-03) 数理解析研究所講究録, 482: 255-295 | |
Modularization and Abstraction in Logic Programming Furukawa, K.; Nakajima, R.; Yonezawa, A. (1983-03) 数理解析研究所講究録, 482: 296-310 |
文献一覧(目次の昇順ソート): 1 - 16 / 16