コレクションホームページ
0586 ソフトウエア科学, 工学の数理的方法
17
0586 ソフトウエア科学, 工学の数理的方法
17
(http://hdl.handle.net/2433/98134)
ブラウズ
文献一覧(目次の昇順ソート): 1 - 17 / 17
書誌情報 | ファイル |
---|---|
表紙・目次 (1986-03) 数理解析研究所講究録, 586 | |
Representation Theorems and Primitive Predicates for Logic Programs YOKOMORI, Takashi (1986-03) 数理解析研究所講究録, 586: 1-17 | |
COMPARISON AND IMPROVEMENT OF STRING MATCHING ALGORITHMS FOR JAPANESE TEXTS YOON, Jeehee; TAKAGI, Toshihisa; USHIJIMA, Kazuo (1986-03) 数理解析研究所講究録, 586: 18-34 | |
Programming Language Designs to Support Programming Methodologies Hayashi, Tsunetoshi (1986-03) 数理解析研究所講究録, 586: 35-43 | |
Optimization of Attribute Evaluation in ECLR-attributed Grammars Ishizuka, Harushi; Sassa, Masataka; Nakata, Ikuo (1986-03) 数理解析研究所講究録, 586: 44-64 | |
A simple realization of LR parsers for regular right part grammars Sassa, Masataka; Nakata, Ikuo (1986-03) 数理解析研究所講究録, 586: 65-90 | |
Practical Attribute Grammar Forms Allowing Continuations MATSUDA, Hiroyuki (1986-03) 数理解析研究所講究録, 586: 91-111 | |
Implementation of the High-level Parallel Programming Language Nano-2 HIRABARU, Masaki; ARAKI, Keijiro; SUEYOSHI, Toshinori; ARITA, Itsujiro (1986-03) 数理解析研究所講究録, 586: 112-133 | |
On the concurrency and a yet another standard form of concurrent programs of Smalltalk-80 Doi, Norihisa; Segawa, Kiyoshi (1986-03) 数理解析研究所講究録, 586: 134-152 | |
An Implementation Scheme for Relational Database Operation Systems based on Demand-Driven Pipeline Processing Concepts KIYOKI, Yasushi; KATO, Kazuhiko; MASUDA, Takashi (1986-03) 数理解析研究所講究録, 586: 153-181 | |
On the Description of the Communication Protocol HDLC in cHFP Miyachi, Toshio; Katayama, Takuya (1986-03) 数理解析研究所講究録, 586: 182-195 | |
Strategic Bug Location Method for Functional Programs TAKAHASHI, Naohisa; ONO, Satoshi (1986-03) 数理解析研究所講究録, 586: 196-223 | |
SINGLE QUEUE COMPILATION IN EXTENDED CONCURRENT PROLOG Tanaka, Jiro; Kishishita, Makoto; Yokomori, Takashi (1986-03) 数理解析研究所講究録, 586: 224-247 | |
線形計画の新解法について(コードとデザインを中心とした組合せ数学) 刀根, 薫 (1986-03) 数理解析研究所講究録, 586: 248-262 | |
ON THE OPERATIONAL SEMANTICS OF GUARDED HORN CLAUSES Ueda, Kazunori (1986-03) 数理解析研究所講究録, 586: 263-283 | |
Computation by Meta-Unification with Constructors KANAMORI, Tadashi (1986-03) 数理解析研究所講究録, 586: 284-304 | |
Temporal Prolog SAKURAGAWA, Takashi (1986-03) 数理解析研究所講究録, 586: 305-329 |
文献一覧(目次の昇順ソート): 1 - 17 / 17
最新登録資料