Collection home page

Mathematical Methods in Software Science and Engineering   11
(http://hdl.handle.net/2433/101140)

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 11 of 11
BibliographyContents
表紙・目次
   (1979-09)
  数理解析研究所講究録, 363
file type icon
Module-Wise Compilation for a Language with Type-Parameterization Mechanism (Mathematical Methods in Software Science and Engineering)
  YUASA, TAIICHI (1979-09)
  数理解析研究所講究録, 363: 1-40
file type icon
Some Analysis of PASCAL Programs (Mathematical Methods in Software Science and Engineering)
  SHIMASAKI, MASAAKI, FUKAYA, SHIGERU (1979-09)
  数理解析研究所講究録, 363: 41-58
file type icon
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
file type icon
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
file type icon
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
file type icon
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
file type icon
Associative Data Structures and Their Applications (Mathematical Methods in Software Science and Engineering)
  SUZUKI, MASAYUKI, GOTO, EIICHI, INADA, NOBUYUKI (1979-09)
  数理解析研究所講究録, 363: 188-217
file type icon
Fast List-Copying Algorithms using Constant Workspace (Mathematical Methods in Software Science and Engineering)
  HASEGAWA, HIROSHI (1979-09)
  数理解析研究所講究録, 363: 218-246
file type icon
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
file type icon
On Semantic Generalization of Examples (Mathematical Methods in Software Science and Engineering)
  HARAGUCHI, MAKOTO (1979-09)
  数理解析研究所講究録, 363: 278-291
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 11 of 11