Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

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

前
1
次

検索結果:

書誌情報	ファイル
Design and Implementation of a Multipass-Compiler Generator (Mathematical Methods in Software Science and Engineering) SASSA, MASATAKA; TOKUDA, JUNKO; SHINOGI, TSUYOSHI; INOUE, KENZO (1979-09) 数理解析研究所講究録, 363: 59-99
On a Microcode Compiler Toward a Table Driven Firmware Generator (Mathematical Methods in Software Science and Engineering) FUSAOKA, AKIRA; MIKAMI, KAZUYOSHI (1979-09) 数理解析研究所講究録, 363: 100-129
Some Analysis of PASCAL Programs (Mathematical Methods in Software Science and Engineering) SHIMASAKI, MASAAKI; FUKAYA, SHIGERU (1979-09) 数理解析研究所講究録, 363: 41-58
Module-Wise Compilation for a Language with Type-Parameterization Mechanism (Mathematical Methods in Software Science and Engineering) YUASA, TAIICHI (1979-09) 数理解析研究所講究録, 363: 1-40
Logical Design of a 4NF D-Tree Schema of a Relational Data Base (Mathematical Methods in Software Science and Engineering) TANAKA, YUZURU (1979-09) 数理解析研究所講究録, 363: 130-164
Associative Data Structures and Their Applications (Mathematical Methods in Software Science and Engineering) SUZUKI, MASAYUKI; GOTO, EIICHI; INADA, NOBUYUKI (1979-09) 数理解析研究所講究録, 363: 188-217
Interactive Theorem Proving on Hierarchically and Modularly Structured Sets of Very Many Axioms (Mathematical Methods in Software Science and Engineering) HONDA, MICHIO; NAKAJIMA, REIJI (1979-09) 数理解析研究所講究録, 363: 247-277
Relational Strategies for Processing Universally Quantified Queries to Large Data Bases (Mathematical Methods in Software Science and Engineering) FURUKAWA, KOICHI (1979-09) 数理解析研究所講究録, 363: 165-187
Fast List-Copying Algorithms using Constant Workspace (Mathematical Methods in Software Science and Engineering) HASEGAWA, HIROSHI (1979-09) 数理解析研究所講究録, 363: 218-246
On Semantic Generalization of Examples (Mathematical Methods in Software Science and Engineering) HARAGUCHI, MAKOTO (1979-09) 数理解析研究所講究録, 363: 278-291