コレクションホームページ
0618 ソフトウェア科学・工学における数理的方法
11
0618 ソフトウェア科学・工学における数理的方法
11
(http://hdl.handle.net/2433/98167)
ブラウズ
文献一覧(目次の昇順ソート): 1 - 11 / 11
書誌情報 | ファイル |
---|---|
表紙・目次 (1987-04) 数理解析研究所講究録, 618 | |
Model Inference Incorporating Generalization ISHIZAKA, Hiroki (1987-04) 数理解析研究所講究録, 618: 1-15 | |
LOGIC PROGRAMMING WITH NARROWING Yamamoto, Akihiro (1987-04) 数理解析研究所講究録, 618: 16-39 | |
Fixed Point Semantics for Parallel Logic Programming Languages Shibayama, Etsuya (1987-04) 数理解析研究所講究録, 618: 40-58 | |
Inheritance Mechanisms in Distributed Object-Oriented Languages BRIOT, Jean-Pierre; YONEZAWA, Akinori (1987-04) 数理解析研究所講究録, 618: 59-75 | |
RESUABLE DESIGN METHODOLOGY FOR SWITCHING SOFTWARE HORI, Yoshinori; KIMURA, Shigekatsu; MATSUURA, Hiroyuki (1987-04) 数理解析研究所講究録, 618: 76-96 | |
On the Working Set Concept for Data-flow Machines : Consideration on List Processing on a Hierarchical Structured Memory Nagamatsu, Tatsuo; Sunahara, Hideki; Tokoro, Mario (1987-04) 数理解析研究所講究録, 618: 97-109 | |
Monitoring Ada Tasking Programs Correctly CHENG, Jingde; ARAKI, Keijiro; USHIJIMA, Kazuo (1987-04) 数理解析研究所講究録, 618: 110-129 | |
Coupled context free grammars and a programming language based on them YAMASHITA, Yoshiyuki; NAKATA, Ikuo (1987-04) 数理解析研究所講究録, 618: 130-149 | |
Equational Computation of LALR(1) Look-Ahead Sets Anzai, Hiroyuki (1987-04) 数理解析研究所講究録, 618: 150-169 | |
Metis : A Term Rewriting System Generator : An Inference Engine for Equations and Inequations Ohsuga, Akihiko; Sakai, Ko (1987-04) 数理解析研究所講究録, 618: 170-187 |
文献一覧(目次の昇順ソート): 1 - 11 / 11